Episode 4: Code That Runs Itself

What a smart contract is, why "code is law" is a warning rather than a slogan, and what "verified contract" really tells you. Companion to the chapter "Programmable Agreements".