Blockstream, led by Adam Back (a Bitcoin cypherpunk) and the creator of Liquid, Bitcoin’s layer-2 protocols, launched Simplicity. Simplicity is a smart contract language for Bitcoin.
Simplicity, according to an announcement that Cointelegraph shared on Thursday smart contracts Liquid is integrating Liquid. According to the company, this move represents a major step towards transforming 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’s representative confirmed to Cointelegraph the use of this language. “is here and usable today,” A web-based, integrated development environment is also available.
The different approaches to different architectural types
The main reason why Simplicity is different from Ethereum’s Solidity programming language is the differences in the underlying blockchain architectures.
Related: StarkWare researchers propose smart contracts for Bitcoin with ColliderVM
Solidity was developed to support the Ethereum network. Ethereum Virtual Machine. State represents 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. A Blockstream representative said that this difference is manifested in the way Simplicity Smart Contracts work. “not relying on the global state is a big shift.” “Every bit of state your contract needs has to travel with the transaction.”
Blockstream researchers say Solidity programmers will have to change their habits of reading data from global variables, and must instead pass all the information needed at each stage. The system will not allow two smart contracts to share the same state, or refer to variables. All information must be provided explicitly in each transaction. 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 onchain 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 is the latest addition to a list of smart contract languages that are domain specific.
Noir, a programming language released The deadline for writing zero-knowledge proofs and confirming them in 2022 was adopted Aztec layer-2, a privacy-first Ethereum platform that will be developed in 2023.
Noir is a programming language for smart contracts that was specifically designed to protect your privacy. It integrates ZK-proofs deep into its architecture.
Leo is a language used to create smart contract systems that are also ZK-proof.
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
