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 and SimplicityHL News
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
VIDEO: 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
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
VIDEO: Simplicity: Bitcoin Script to Arbitrary Computation
How Simplicity builds on Miniscript's structured, composable Bitcoin script, and how to integrate Simplicity into Bitcoin using Taproot.
- Christian Lewe
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