Under the leadership of Bitcoin’s layer -2 protocol liquid developer blockstream and bitcoin sipank adam back, a new smart contract languages designed for bitcoin have been launched, simplicity.
Cast, simplicity smart contracts will be integrated into liquid for the annual of Thursday’s annual shared with cointelegraph. The company said that this step is a step ahead in changing bitcoin (BTC) from another store of value in a programable foundation for decentralized finance.
The company also introduced simplicity, which is a high-level implementation of languages that facilitates easy devils with enlarged abstraction.
A blockstream representative told Cointelmphf that the version of the languages is “here and today,” is also available with a web-based Investigated Devilopment environment.
A different approach to a different architecture
Difference of simplicity from the solidity language of the atherium, roughly caused by separate -inherent architecture of two blockchain.
Connected: Smart contracts proposes for starkware reserrs bitcoin
It stems from various approaches and iconic architecture of atherium and bitcoin network, in which solidity has developed for atherium virtual machine. The state is a network of agreed-up of all accounts and a given data has been stored.
Bitcoin uses an unpired transaction output (UTXO) architecture, while the Ethereum Network appoints a network-wide state. This difference reveals itself how simplicity smart contact contracts work, “it is a big innings” not relying on the global state. ” “Every bit that needs your contact should be a tragedy with transactions.”
Researchers at the blockstream said that solid solidity devilopers would need to break their habit of reading from accessible variables globally and provide all the necessary information at every step instead. For example, in the system, two smart contracts cannot share the state or refer to similar variables; Everything is best passed within the transaction. Nevertheless, the firm’s representatives discovered that this approach also has a positive effect:
“Even if the somating goes wrong, only the specific part of your contract is affected by the transaction graph. Contract by design.”
Developers also enabled to use recurrence or involvement loops, which are not necessary for blockstream claim onchain logic.
Connected: Five popular smart contract contract development platforms and a deep dive in their Comparison
Domain-specific smart contract contract programming longs
The simplicity domain-spectative is included in a glory list of smart contract programming languages.
In Noir, 2022, a programming language released to write and verify zero-knowledge proof (ZK-proof) was advised by the developers of the upcoming privacy-first Atheram layer-2 Aztec in 2023.
Noir has a smart contract programming languages especially for private-presenting applications, which interdes the ZK-Preproof deeply in other arrival.
Another example is Leo, a smart contract programming language that also creates ZK-Prjectsms keeping in mind the chloly related syntax and private.
Etharium’s vipper is an EVM-compatible language designed to reduce the surface of the attack, which is now used by some major atherium decentralized finance (DEFI) protocols.
https://www.youtube.com/watch?v=tzdgwhx2Xts
magazine: ZK-profs are bringing smart contracts for bitcoin-bitcoinos and Starknet
