High-Assurance
Bitcoin Contracts
Simplicity is a next-generation smart contracting language for Bitcoin, designed for verifiable security, financial correctness, and high-value applications.
Simplicity is a next-generation smart contracting language for Bitcoin, designed for verifiable security, financial correctness, and high-value applications.
Every major financial market depends on correctness. But the multi-billion dollar failures of the past all relied on hope. Simplicity is the only smart contracting language to offer certainty by allowing developers to mathematically prove exactly how a contract will behave before it's deployed.
No more economic exploits
No more re-entrancy and logic bugs
Predictable resource costs
High-assurance smart contracts for BitcoinSimplicity complements Bitcoin Script with a low-level language that's expressive enough for advanced covenants and financial instruments while being formally verifiable for absolute predictability. Developers write SimplicityHL, full nodes execute Simplicity. Learn more
Simplicity isn't just powerful—it's fun! If you know Rust, you already know Simplicity. It's straightforward, no steep learning curves.
No more complicated, messy scripts. Simplicity makes covenants and conditions clean, clear, and easy to understand.
You write in SimplicityHL, your full node runs Simplicity. It's that easy—elegant code, simple execution.
PredictabilityGas costs can spike, inviting expensive runtime surprises.
CorrectnessHard to prove safe, meaning hacks are frequent.
SecurityLots of components; large attack surface.
Design FitAmbiguous and unfocused "world computer" claims.
PredictabilityNo surprise bills. Your costs are known before execution.
CorrectnessBuilt for formal safety proofs. Prove contract correctness.
SecurityFewer moving parts; fewer hacks.
Design FitPurpose-built for finance. A scalpel, not a Swiss Army knife.
Since Simplicity contracts are auditable and proveable before deployment, Simplicity offers unprecedented transparency and compliance assurance for financial institutions. Build programmable capital markets, issue assets, and settle trades—all on Bitcoin's most secure sidechain, Liquid.
“Simplicity’s strength comes from deep, foundational principles in type theory. SimplicityHL, as a frontend, abstracts away much of the complexity, allowing users to write smart contracts, with minimal code and high reliability. SimplicityHL keeps the computer science fundamentals close enough that you can reason about it formally when needed.”
Andrew Poelstra
Adapt our extensive library of existing contracts to your needs, or start writing your own. Available on Liquid with multi-asset support and Bitcoin’s Mutinynet.
Deploy First Contract
Read Docs