What exactly are smart contracts? The theory of mechanism design and the protocols for validation of decentralized ledgers are compared. Trust means different things to different people. Yet economics and computer science can come together. The tools of incentive compatibility, encryption, platforms, and programmability are explained and featured in key applications.