Articles

Building STARKs in Simplicity

Building STARKs in Simplicity

Discover how combining Simplicity and STARKs can transform Bitcoin scaling and explore their potential for creating rollups, privacy-preserving transfers, and more.

- Michael Zaikin

Simplicity Launches on Liquid Mainnet

Simplicity Launches on Liquid Mainnet

Simplicity is now accessible on the Liquid mainnet, providing financial applications free from the complexities and risks that characterized the previous era of EVM-based DeFi.

- Blockstream Team

Simplicity Arrives on the Liquid Testnet

Simplicity Arrives on the Liquid Testnet

Simplicity has officially launched on the Liquid testnet, allowing developers to start experimenting with its expressive smart contract capabilities.

- Blockstream Team

Simplicity: Sharing of Witness and Disconnect

Simplicity: Sharing of Witness and Disconnect

Explores how Simplicity enables efficient smart contracts through reusable witness data and modular design via the `disconnect` combinator.

- Andrew Poelstra

Building Blocks of Simplicity: Values and Types

Building Blocks of Simplicity: Values and Types

Introduces the foundational concepts of values and types in Simplicity, highlighting its formally verified and minimalist design.

- Kiara Bickers

Simplicity: Holes and Side Effects

Simplicity: Holes and Side Effects

Examines how Simplicity uses holes and explicit side effects to safely handle incomplete programs and external data like signatures.

- Andrew Poelstra

From Miniscript to Simplicity

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, Taproot, and Universal Sighashes

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

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

Simplicity Jets Release

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

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

Introducing Simplicity

Presents an overview of Simplicity’s goals and design principles, positioning it as a foundational upgrade to blockchain programming.

- Blockstream Team