Blockstream launched simplicity on the liquid network, making smart contract programmability on the Bitcoin infrastructure possible.
By one Announcement of July 31The idea was first presented in 2017 by researcher Russell O’Connor. Simplicity was designed as a smart, smart contract language that is more expressive than Bitcoin script, but still tighter and safer than general platforms.
With this launch, developers get a new location to build financial applications on Bitcoin’s rails.
The announcement noted that simplicity differs from languages such as firmness or rust, because it is not Turing-Complete.
Programs describe finite functions, exclude unlimited loops and avoid the global variable state. These restrictions are deliberately, with the aim of making static analysis possible, so that each implementation path and cost costs can be known in advance, support formal verification and provide compact programs that can be accelerated with implementation “jets”.
The goal is predictable behavior for contracts that secure the real value, instead of open calculation that invites hidden edges.
The function arrives on liquid in an alpha phase, which frames block stream like a pragmatic step stone to a wider rollout.
The announcement stated that the demand for Bitcoin programmenability increases with broader acceptance, and Liquid wants to offer a production environment to send high-mountainous contracts.
High -level language
The company also said that simplicity covenants, safes and delegation schedules can provide for business checks. As a result, it makes market primitives possible, such as cash-settled derivatives, polished portfolios and even to exchange logic that avoids platform tokens.
Since raw simplicity is deliberately low level, BlockStream is sending a high -level rust -like language, reversed from Simfony to SimplicityHL, so that developers can write readable contracts that compile the formally specified core.
Moreover, the route map emphasized that the next primary goal is the activation on a Bitcoin test network, which keeps experiments outside the mainnet while the ecosystem is sent to verifiable, bound by means of smart contracts.
