Blockstream, the developer of Bitcoin’s layer-2 protocol Liquid and led by Bitcoin cypherpunk Adam Again, has launched Simplicity, a brand new sensible contract language designed for Bitcoin.
Based on a Thursday announcement shared with Cointelegraph, Simplicity sensible contracts might be built-in into Liquid. The corporate mentioned the transfer marks a step ahead in reworking Bitcoin (BTC) from a safe retailer of worth right into a programmable basis for decentralized finance.
The corporate additionally launched SimplicityHL, a higher-level implementation of the language that facilitates simpler growth with elevated abstraction.
A Blockstream consultant informed Cointelegraph that this model of the language “is right here and usable at this time,” with a web-based built-in growth surroundings additionally obtainable.
A distinct strategy for a special structure
Simplicity differs from Ethereum’s Solidity language, largely as a result of totally different underlying architectures of the 2 blockchains.
Associated: StarkWare researchers suggest sensible contracts for Bitcoin with ColliderVM
This stems from totally different approaches and totally different architectures of the Ethereum and Bitcoin networks, with Solidity developed for the Ethereum Digital Machine. State is the community’s agreed-upon snapshot of all account balances and saved knowledge at a given block.
Bitcoin makes use of the unspent transaction output (UTXO) structure, whereas the Ethereum community employs a network-wide state. This distinction manifests itself in how Simplicity sensible contracts work, with a Blockstream consultant saying that “not counting on the worldwide state is a giant shift.” “Each little bit of state your contract wants has to journey with the transaction.”
Blockstream’s researchers mentioned Solidity builders might want to break their behavior of studying from globally accessible variables and as an alternative present all vital data at each step. In such a system, two sensible contracts can’t share state or reference the identical variables; the whole lot should be explicitly handed inside transactions. Nonetheless, the agency’s representatives defined that this strategy additionally has a optimistic affect:
“Even when one thing goes flawed, solely your contract’s particular a part of the transaction graph is affected. It’s a special mindset in comparison with the worldwide state, however it in the end results in safer and extra contained contracts by design.“
Builders additionally received’t be capable to use recursion or unbounded loops, which Blockstream claims aren’t vital for onchain logic.
Associated: A deep dive into the 5 in style sensible contract growth platforms and their comparability
The rise of domain-specific sensible contract programming languages
Simplicity joins a rising checklist of domain-specific sensible contract programming languages.
Noir, a programming language launched in 2022 for writing and verifying zero-knowledge proofs (ZK-proofs), was adopted in 2023 by the builders of the upcoming privacy-first Ethereum layer-2 Aztec.
Noir has develop into a wise contract programming language particularly constructed for privacy-preserving functions that combine ZK-proofs deeply into their structure.
One other instance is Leo, a wise contract programming language that additionally creates ZK-proof programs with intently associated syntax and privateness in thoughts.
Ethereum’s Vyper is an EVM-compatible language designed to scale back the assault floor, which is now utilized by some main Ethereum decentralized finance (DeFi) protocols.
Journal: ZK-proofs are bringing sensible contracts to Bitcoin — BitcoinOS and Starknet