No mention of Smart Contracts?
Most contracts are credible because their terms can be enforced by sanctioned violence. "Smart Contracts" are credible because they are enforced by distributed verifiable cryptographically-secure automation.
[1] For example, when the DMV database confirms that a certain car is now registered in my name, you automatically get 4 bitcoin.