Blockstream, developer of Bitcoin’s Layer-2 protocol liquid and led by Bitcoin Cypherpunk Adam Back, has launched the simplicity, a new intelligent contract language designed for Bitcoin.
According to a Thursday announcement shared with Cointelegraph, simplicity Smart contracts Include in the liquid. The company said the move marks a step forward in changing bitcoin (Btc) from a safe value store to a programmed foundation for decentralized finances.
The company also introduced Simpleicityhl, a higher level of language implementation that facilitates easier development with increasing abstraction.
A Blockstream Cointelegraph representative said this version of language “is here and available today,” that also a combined development environment available.
A different approach for a different architecture
Simplicity differs from the language of the solid Ethereum, mainly due to the various underlying architecture of the two blockchains.
Related: Starkware researchers suggest smart contracts for Bitcoin with ColliderVM
It comes from a variety of techniques and different architectures of Ethereum and Bitcoin network, with solidly developed for Ethereum Virtual Machine. The state has been agreed with a network snapshot of all account balances and stored data on a given block.
Bitcoin uses the UNSPENT TRANSACTION OUTPUT (UTXO) ArchitectureWhereas the Ethereum network uses a state across the network. This difference manifests itself in how the simplicity of Smart contracts works, with a blockstream representative that says “not relying on the global state is a major shift.” “Every bit of state your contract needs will have to travel along with the transaction.”
Blockstream researchers say solid -developing need to break their habit of reading from variables accessible around the world and instead provide all the necessary information in each step. In this system, two smart contracts cannot share the state or reference to the same variables; Everything should be clearly passed within the transactions. However, company representatives explained that this procedure also has a positive effect:
“Although something is wrong, the specific part of your contract is affected. This is a strange thinking compared to the global state, but it ultimately leads to safer and more contracts by design.”
Developers also may not use recursion or no basic loops, whose blockstream claims are not required for onchain logic.
Related: A deep dive into five popular contract development platforms and their comparison
Increasing programming languages specific domain intelligent contract
Simplicity is joining a growing list of programming languages that are definitely a wise contract.
Noir, a programming language released In 2022 for writing and verifying proof zero-knowledge (ZK-Proofs), were adopted In 2023 of the developers of the upcoming privacy-first Ethereum Layer-2 Aztec.
The Noir has become a smart language of contract programming specifically built for applications that maintain privacy that includes zk-proofs deep in their architecture.
Another example is Leo, a intelligent language programming language that also creates ZK-proof systems with closely associated syntax and privacy in mind.
Ethereum’s Vyper is a language compatible with EVM designed to Reduce The attack on the surface, which is now used by some leading Ethereum decentralized finance (DEFI) protocols.
https://www.youtube.com/watch?v=tzdgwhx2xtts
Magazine: ZK-Proof carries wise contracts with Bitcoin-Bitcoinos and Starknet
