Inilunsad ang Simplicity: Isang Bagong Wika ng Smart Contract para sa Bitcoin
Inilunsad ng Blockstream, ang developer ng layer-2 protocol ng Bitcoin na Liquid at pinangunahan ni Bitcoin cypherpunk Adam Back, ang Simplicity, isang bagong wika ng smart contract na dinisenyo para sa Bitcoin. Ayon sa isang anunsyo noong Huwebes na ibinahagi sa Cointelegraph, ang mga smart contract ng Simplicity ay isasama sa Liquid. Sinabi ng kumpanya na ang hakbang na ito ay isang mahalagang pag-unlad sa pagbabagong-anyo ng Bitcoin mula sa isang ligtas na imbakan ng halaga patungo sa isang programmable na pundasyon para sa decentralized finance. Ipinakilala rin ng kumpanya ang SimplicityHL, isang mas mataas na antas ng implementasyon ng wika na nagpapadali sa pagbuo na may pinataas na abstraction. Sinabi ng isang kinatawan ng Blockstream sa Cointelegraph na ang bersyon ng wika na ito “ay narito at magagamit na ngayon,” na may web-based integrated development environment na available din.
Isang Ibang Diskarte para sa Ibang Arkitektura
Ang Simplicity ay naiiba mula sa wika ng Solidity ng Ethereum, pangunahing dahil sa magkaibang arkitektura ng dalawang blockchain. Ang pagkakaibang ito ay nagmumula sa magkaibang diskarte at arkitektura ng mga network ng Ethereum at Bitcoin, kung saan ang Solidity ay binuo para sa Ethereum Virtual Machine. Ang estado ay ang napagkasunduang snapshot ng network ng lahat ng balanse ng account at naka-imbak na data sa isang tiyak na block. Ang Bitcoin ay gumagamit ng unspent transaction output (UTXO) architecture, habang ang network ng Ethereum ay gumagamit ng network-wide state. Ang pagkakaibang ito ay lumalabas sa kung paano gumagana ang mga smart contract ng Simplicity, kung saan sinabi ng isang kinatawan ng Blockstream na “ang hindi pag-asa sa global state ay isang malaking pagbabago.”
“Bawat piraso ng estado na kailangan ng iyong kontrata ay kailangang maglakbay kasama ng transaksyon.”
Sinabi ng mga mananaliksik ng Blockstream na ang mga developer ng Solidity ay kailangang baguhin ang kanilang ugali ng pagbabasa mula sa mga globally accessible variables at sa halip ay ibigay ang lahat ng kinakailangang impormasyon sa bawat hakbang. Sa ganitong sistema, hindi maaaring magbahagi ng estado o tumukoy sa parehong mga variable ang dalawang smart contract; lahat ay dapat na tahasang ipasa sa loob ng mga transaksyon. Gayunpaman, ipinaliwanag ng mga kinatawan ng kumpanya na ang diskarte na ito ay may positibong epekto rin:
“Kahit na may mangyaring mali, tanging ang tiyak na bahagi ng transaksyon graph ng iyong kontrata ang maaapektuhan. Ito ay isang ibang pag-iisip kumpara sa global state, ngunit sa huli ay nagreresulta ito sa mas ligtas at mas nakapaloob na mga kontrata sa disenyo.”
“Hindi rin magagamit ng mga developer ang recursion o unbounded loops, na sinasabi ng Blockstream na hindi kinakailangan para sa on-chain logic.”
Ang Pagsibol ng mga Domain-Specific Smart Contract Programming Languages
Ang Simplicity ay sumasali sa lumalaking listahan ng mga domain-specific smart contract programming languages. Ang Noir, isang programming language na inilabas noong 2022 para sa pagsusulat at pag-verify ng zero-knowledge proofs (ZK-proofs), ay tinanggap noong 2023 ng mga developer ng paparating na privacy-first Ethereum layer-2 na Aztec. Ang Noir ay naging isang smart contract programming language na partikular na itinayo para sa mga application na nagtataguyod ng privacy na malalim na isinasama ang ZK-proofs sa kanilang arkitektura. Isa pang halimbawa ay ang Leo, isang smart contract programming language na lumilikha rin ng mga ZK-proof systems na may malapit na kaugnayan sa syntax at privacy sa isip. Ang Vyper ng Ethereum ay isang EVM-compatible na wika na dinisenyo upang bawasan ang attack surface, na ngayon ay ginagamit ng ilang nangungunang decentralized finance (DeFi) protocols ng Ethereum.
