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
articles
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
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
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