S16 E37: Andrew Poelstra on Simplicity, Bitcoin Smart Contracts & Upgrades

Simplicity, a scripting language so simple that it can fit on a t-shirt, has finally launched on Liquid after a decade of development. Andrew Poelstra, who works as director of research at Blockstream, explains how it works & why it's good for Bitcoin. Time stamps: (00:00:50) Introducing Andrew Poelstra (00:01:45) Simplicity: Now Live on Liquid (00:02:12) Elements and Liquid’s Technical Evolution (00:03:09) Is Simplicity a Response to Solidity? (00:05:40) Simplicity’s Programming Model & Rust Inspiration (00:08:04) Demo Applications and Simplicity Playground (00:10:03) Why Not Stick with Bitcoin Script? (00:11:48) Bitcoin Script’s Limitations and Quirks (00:19:14) Simplicity’s Capabilities: Computation & Covenants (00:22:26) Formal Verification and Multi-Language Implementations (00:25:21) Machine-Checkable Proofs and Contract...