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 and SimplicityHL News
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
Introducing Simplicity
Presents an overview of Simplicity’s goals and design principles, positioning it as a foundational upgrade to blockchain programming.
- Blockstream Team