From Miniscript to Simplicity
Outlines the evolution from Bitcoin Script and Miniscript to Simplicity, emphasizing how each step improves security, expressiveness, and formal verification.
- Christian Lewe
Simplicity and SimplicityHL News
Simplicity, Taproot, and Universal Sighashes
Explores how Simplicity integrates with Taproot and enables universal sighashes, providing greater flexibility and security in transaction validation.
- Andrew Poelstra, Dr. Russell O'Connor
Disconnecting Simplicity Expressions
Details how the disconnect combinator allows developers to modularize Simplicity programs, enabling better abstraction and reuse of smart contract components.
- Dr. Russell O'Connor
VIDEO: 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 Jets Release
Announces the release of Simplicity jets, pre-verified code fragments that improve efficiency by reducing the computational cost of frequently used operations.
- Andrew Poelstra, Dr. Russell O'Connor
VIDEO: 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
VIDEO: 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
Simplicity GitHub Repository Now Live
Simplicity's source code is now publicly available on GitHub, inviting the community to contribute, audit, and build on its formally verified smart contract language.
- Andrew Poelstra
VIDEO: Simplicity: Programmable Money
A demonstration of the formal semantics of Simplicity by implementing it in Agda.
- Dr. Russell O'Connor
Simplicity: A New Language for Blockchains
Introduces Simplicity as a new smart contracting language offering formal verifiability, better safety guarantees, and greater expressiveness than Bitcoin Script.
- Blockstream Team