In 2017, Blockstream set out to develop a smart contract language that outperforms Bitcoin Script and EVM, offering more expressiveness with stronger safety assurances. Eight years later, we believe we've done it. Introducing Simplicity. 🧵

Simplicity isn't like Solidity, or most modern programming languages, which are Turing-complete. Instead, the language was designed to express any finite function while avoiding the risks associated with unbounded loops and global state.

Simplicity provides developers with high confidence in their applications, allowing them to know all potential outcomes and fee costs before execution. The recent Bybit hack illustrates the risks of including features like recursion and global state.

With Simplicity's arrival, we have for the first time a clean foundation for serious financial applications, without the complexity and patchwork of risks that defined the last era of DeFi.

Want to build covenants, vaults and delegation schemes? Now you can on @Liquid_BTC. Want to create derivatives, pooled wallets or tokenless DEXs? That's possible too.

Simplicity on @Liquid_BTC is just the beginning. With community feedback, real-world usage, and more tooling, docs, wallet support, and example contracts, our next major goal is to activate on a Bitcoin test network. Get started today.