TABConf 2022 has ended
Saturday, October 15 • 9:30am - 10:00am
Simplicity: Formally Verified Programmable Money

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

One of the revolutions of Bitcoin was the invention of programmable money, i.e., money which is owned by programs that release their funds upon presenting a witness. The ability to express complex spending conditions is what gave rise to multisig, the Lightning network and other schemes. Unfortunately, Bitcoin Script, the language used to write these programs, is quite restrictive and makes it hard to verify that programs are correct. Simplicity is our vision of a language that satisfies the unique needs of the blockchain: Everything that one might want to express can be expressed. Everything that one might want to verify can be verified. This is a difficult balance because highly expressive languages tend to be hard to verify. Also, what needs to be expressed and what needs to be verified turn out to be tough questions. In this talk, we answer the question of what Simplicity is, clearly and succinctly. We look at the structure of a Simplicity program and its execution, various add-ons and existing applications. We want to see the true nature of Simplicity, which turns out to be intuitive and simple.


Christian Lewe


Saturday October 15, 2022 9:30am - 10:00am EDT
Village: BitDevs Socratic

Attendees (7)