第4回：自ら動くコード

スマートコントラクトとは何か、「コードは法である」がスローガンではなく警告である理由、そして「検証済みコントラクト」が本当に教えてくれること。章「プログラム可能な合意」に対応するエピソードです。