By contrast, in our the above contract, Alice must act and claim in order to not pay. Beyond Amix On the down side, AMIX was a non-distributed insecure system that took a conventional stance for dealing the jurisdictional issues. In particular, AMIX knew the true names of its customers. AMIX was also non-extensible. It had one extraordinarily well designed smart contract, but if customers of AMIX wanted to write new code to embody a new contractual relationship, AMIX couldn't help them.
E especially shines as a language for clearly expressing complex contractual relationships.
The dish was bought as a resource for the lab as a whole, but it could only be pointed in one direction at a time. We created a futures market in time slices, built from distributed capabilities. Starting with an object representing the ability to control the satellite, a small amount of code was able to create derivative rights, in layers, building up to tradable exclusive rights to command the dish during future time slots. These rights could be exchanged via reusable escrow exchange agents and auctions, neither of which knew about futures, much less satellite dishes. We expect to be posting simple E code for escrow-exchange, auctions, futures, etc on the ERights.org site soon.