Requirements, Rationale & Vision

How to make contracts executable – a.k.a "smart
contracts" – From must respect rights to a simple
formula. On contracts recursing to the social contract,
the "constitution" applied to computer networks.