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