Videos

Simplicity: Bitcoin's Last Soft Fork?
An analysis of how Simplicity could serve as the final protocol soft fork in Bitcoin-like systems.
- Christian Lewe

Dr. Russell O'Connor on Simplicity
A deep dive into how Simplicity's functional combinators, static typing, and provable contracts enhance modularity and safety.
- Dr. Russell O'Connor

Christian Lewe on Simplicity
A discussion on how Simplicity, as an alternative to Bitcoin Script, could enable covenants and be ported to Bitcoin by first proving itself on Liquid.
- Christian Lewe

Bitcoin Cryptography and Scripting
An accessible introduction to Bitcoin scripting and cryptography, including how Simplicity enhances Bitcoin by offering a formally verifiable, resource-bounded alternative to Script.
- Andrew Poelstra

Simplicity: Going Beyond Miniscript
How Simplicity builds on Miniscript's structured, composable Bitcoin script, and how to integrate Simplicity into Bitcoin using Taproot.
- Christian Lewe

Simplicity: From Bitcoin Script to Arbitrary Computation
How Simplicity offers the expressive power of languages like Solidity while retaining the verifiability and static analysis strengths of Miniscript.
- Christian Lewe

Simplicity at Consensus: Distributed 2020
An overview of Simplicity, what inspired its development, and an introduction to its formal semantics and jets.
- Dr. Adam Back

Simplicity: A New Language for Blockchains
An introduction of the low-level language of Simplicity with a Q&A from the audience.
- Dr. Adam Back

Simplicity: Programmable Money
A demonstration of the formal semantics of Simplicity by implementing it in Agda.
- Dr. Russell O'Connor

Simplicity: High Assurance Smart Contracts
An early presentation of Simplicity's original design goals and architecture, highlighting its potential to securely enable advanced Bitcoin smart contracts.
- Dr. Russell O'Connor