Polity Atlas

A program on a blockchain that automatically executes agreed rules, such as releasing funds when conditions are met.

In more detail

Smart contracts make rules transparent and hard to change, which is also their weakness: bugs and exploits are difficult to reverse without social intervention.