SHRINCS Quantum-Resistant Signature Verification in Simplicity
Article on the Blockstream blog describes how Blockstream Research team members implemented a verifier for SHRINCS quantum-resistant signatures in Simplicity.
- Blockstream Team
articles
Delving Simplicity series
"Delving Simplicity" is an ongoing multipart series by Dr. Russell O'Connor, presenting conceptual and architectural aspects of the design of (low-level) Simplicity. This series is written from a programming language theory perspective.
The following articles in this series have appeared so far:
- Part Ⅰ: Three Fundamental Ways of Combining Computations
- Part Ⅱ: Combinator Completeness of Simplicity
- Part Ⅲ: Building Data Types
- Part Ⅳ: Two Side Effects
- Part Ⅴ: Programs and Addresses
- Dr. Russell O'Connor
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 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 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
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
Introduces the foundational concepts of values and types in Simplicity, highlighting its formally verified and minimalist design.
- Kiara Bickers
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
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
Explores how Simplicity integrates with Taproot and enables universal sighashes, providing greater flexibility and security in transaction validation.
- Andrew Poelstra, Dr. Russell O'Connor