This claim directly conflicts with the claim Bob made by providing the deliverable. The text of the agreement, the text of the deliverable, and the two conflicting claims can now go to human arbitration. This systems lacks many of the attributes all of us are interested in building. However, its power came from embodying a complex contractual relationships in computational material. This power would not follow just from having a strongly secure untraceable payment system.
Current contracts are passive pieces of paper, only to be interpreted by humans.
In the absence of costly arbitration, we are left with such possession as the outcome. In normal consulting, if Alice doesn't pay Bob, chances are Bob's screwed. Alice's lack of payment is inaction, not action, and can not obviously be treated as a factual claim that could be challenged. 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.