BALL

Byzantine Askemos Language Layer.

Ball is the first implementation of the Askemos Distributed
Virtual Machine. It provides an autonomous virtual execution
environment for applications, which are executed like contracts
: Running processes proceed only in multilateral consensus
(byzantine agreement of replicas) among a quorums of equal peers.
Processes are persistent; they can communicate by passing
messages to each other. Human users appear therein as processes
which emit arbitrary messages at the persons discretion.

About

This white paper used to be the best one about the design.
While it's old already, it's still recommended as first reading.

Features

Fully distributed (P2P)

Tamper resistant: sustains up to 30% of disconnected nodes or even moles.

Synchronizes data (like e.g. bitorrent) and running processes.

Applications may be written in any language. The core system supports: a "
shebang" language to switch to users preferred languages and a
powerful experimental language.

The choice of consensus over a Merkle tree is the main difference to
recently upcoming alternative approaches based on the concept of a
proof-of-work a.k.a. blockchain. First consensus proofs the same
relevant property, the "correct state", to all relevant parties (the
assigned notaries). However it avoids the overhead and delay due to the
proof-of-work beeing just that: a lot of work to win in the lottery of minting
new coins.

Second: per definition a contract is an agreement, why not model it as such
instead of a lottery?

Furthermore some agent state may be private. Those agents are easily
confined to the notaries owned by the contractors. However it is no good idea
to store even encrypted state in a public, widely distributed blockchain.

The bugtracker is now better configured. But noticed: it can not yet display ongoing issues. Thus it fits well for personal and soho use, but here this is a serious limitation.

The new site now under construction using hoist, which is an
experimental application, but at least it runs reliably atop of
BALL in our setting (nine peers, most of them are small, ARM
based plug computers).