Blockstream has released Simplicity, an advanced smart contracting language specifically designed for Bitcoin. Adam Back is the Bitcoin cypherpunk who led Blockstream’s development of Liquid.
Simplicity is the theme of a Cointelegraph announcement made on Thursday. smart contracts Liquid is integrating Liquid. The move is a significant step in the transformation of Bitcoin.BTC( ) has evolved from a safe store of value to a foundation that can be programmed for decentralized financial systems.
SimplicityHL was also launched by the company, which is an implementation at a higher level of abstraction that makes it easier to develop.
Blockstream told Cointelegraph this is the version of language that they use. “is here and usable today,” With a web-based development environment.
Different approaches for different architecture
It is largely because of the different architectures that underlie the Ethereum and Simplicity blockchains.
Related: StarkWare researchers propose smart contracts for Bitcoin with ColliderVM
Solidity was developed to support the Ethereum network. Ethereum Virtual Machine. The state is the agreed upon snapshot by a network of all stored account data and balances for a particular block.
Bitcoin uses the unspent transaction output (UTXO) architectureThe Ethereum network uses a state that is shared by the entire network. The difference can be seen in Simplicity’s smart contracts. A Blockstream rep said: “not relying on the global state is a big shift.” “Every bit of state your contract needs has to travel with the transaction.”
Researchers at Blockstream said Solidity developers would need to stop reading variables that are globally available and provide the necessary information for each step. Two smart contracts can’t share variables or state in such a system. Everything must be passed explicitly within the transactions. The firm’s representative explained, however, that the approach has positive impacts as well:
“Even if something goes wrong, only your contract’s specific part of the transaction graph is affected. It’s a different mindset compared to the global state, but it ultimately leads to safer and more contained contracts by design.”
Blockstream also claims that on-chain logic doesn’t require recursion, or loops with no bounds.
Related: A deep dive into the five popular smart contract development platforms and their comparison
Smart contract languages are becoming more domain specific.
Simplicity has joined a growing number of programming languages for smart contracts that target specific domains.
Noir, a programming language released The deadline for writing zero-knowledge proofs and verifying them in 2022 was adopted The developers of Aztec, the privacy-first Ethereum layer-2 to be released in 2023.
The smart contract language Noir is designed for applications which protect privacy and integrate ZK proofs into the architecture.
Leo is another example. It’s a programming language for smart contracts that creates ZK proof systems, with a closely-related syntax.
Vyper, a language compatible with Ethereum’s EVM, is designed for Ethereum. reduce The attack surface is used now by several leading Ethereum Decentralized Finance (DeFi), protocols.
Magazine: ZK-proofs are bringing smart contracts to Bitcoin — BitcoinOS and Starknet
“This article is not financial advice.”
“Always do your own research before making any type of investment.”
“ItsDailyCrypto is not responsible for any activities you perform outside ItsDailyCrypto.”
Source: cointelegraph.com
