Blockstream's Simplicity is now live on the Liquid production network, marking a major milestone. Simplicity is a low-level, formalized programming language designed for consensus validators, not human programmers.
Andrew Poelstra describes Simplicity HL as the high-level language for developers, designed to compile down to Simplicity with a syntax explicitly modeled on Rust. The goal is to feel like writing Rust code for blockchain contracts.
Simplicity enables arbitrary computation and transaction introspection, which allows for covenants. This is a fundamental expansion beyond Bitcoin Script's current capabilities of signature checks, hash pre-images, and timelocks.
A key advantage of Simplicity is its formal specification and multiple provably correct implementations. This contrasts with Bitcoin Script, where writing a new interpreter is culturally forbidden due to undefined edge-case behavior.
Poelstra sees Simplicity's primary short-term use in solving narrow technical problems Bitcoin faces today, like fee-bumping delegations or complex multi-signature policies, rather than immediately replicating Ethereum-style DeFi.
He states Simplicity is designed to retain Bitcoin's core fee model where transaction size is the primary cost. It uses a jetting system to optimize common operations like SHA-256, avoiding Ethereum's problem of wildly variable gas costs per opcode.
The Starkware team has built a STARK verifier using Simplicity, demonstrating its capability for complex zero-knowledge proof verification directly on a blockchain.
Poelstra views Simplicity as a long-term direction for Bitcoin script extension, potentially a project for the 2030s. It could serve as a formal specification layer for proposing and testing new opcodes like OP_CAT before they are added to Bitcoin.