Ang Algorand at Blockstack ay Bumubuo ng Multi-Chain Smart Contract Language

Ang Algorand at Blockstack ay nagtutulungan sa isang bagong smart contract programming language na gumagalaw sa dalawang startup patungo sa direktang, inter-blockchain na komunikasyon.

Tinatawag na Clarity, ang proyekto sa huli ay magbibigay-daan sa mga developer na magsulat ng mga matalinong kontrata na isinasagawa sa kanilang dalawang blockchain - at iba pa na maaaring magpasya na sumali sa open source na inisyatiba - nang hindi kinasasangkutan ng mga third-party na interoperability protocol tulad ng Polkadot, sinabi ng mga executive sa parehong kumpanya sa CoinDesk.

Ang potensyal para sa direktang inter-chain na komunikasyon ay malamang na walang hanggan gaya ng mga ideya ng mga developer na nagde-deploy ng mga matalinong kontrata sa dalawang magkaibang platform. Ang proof-of-stake blockchain ng Algorand ay madalas na tumutugon sa pananalapi mga kaso ng paggamit, habang ang paparating na Stacks 2.0 ng Blockstack “proof-of-transfer” mas malawak LOOKS ng blockchain desentralisadong computing.

"Naniniwala kami na ito ay isang multi-chain na mundo," sabi ni Steve Kokinos, chief executive sa Algorand. "Ang mga tao ay gagamit ng iba't ibang mga kadena para sa iba't ibang layunin at ang interoperability ay magiging kritikal."

Mga hindi gaanong buggy na smart na kontrata

Sinabi ng Blockstack CEO na si Muneeb Ali na ito ay ang pagkakapareho ng kanyang mga pilosopiya sa disenyo ng matalinong kontrata ng Algorand na pinagtagpo sila.

"Nakatingin na kami sa parehong mga pag-aari," sabi ni Ali.

Parehong interesadong i-deploy ang mga wikang "hindi kumpleto sa Turing". Algorand 2.0's TEAL matalinong wika ng kontrata ay hindi kumpleto ang Turing, tulad ng eponymous na Clarity ng Blockstack, nakaplano na mag-debut sa Stacks 2.0. Tinantya ni Ali na ang dalawang wika ay may "80-90%" na karaniwan sa simula.

Nangangahulugan ang non-Turing completeness, sa isang bahagi, na ang mga programa ng isang wika ay hindi maaaring tumakbo magpakailanman - at iyon, sa pagsasanay, ay nangangahulugan na ang mga programa nito ay medyo mas mahigpit kaysa sa mga nakasulat sa isang Turing-kumpletong wika.

Ngunit ang mga hindi kumpletong wikang Turing ay hindi gaanong madaling kapitan ng mga bug kaysa sa kanilang mga kapatid na kumpleto sa computation dahil sa parehong pag-aari na iyon. Ang kanilang mga matalinong kontrata ay T kailangang manu-manong i-audit, sabi ni Ali.

Read More: Sino ang Magbabayad para sa Turing-Complete Smart Contracts?

"Lahat ay maaaring maging tumpak, lahat ay mabe-verify," sabi ni Ali, na inihambing ang Clarity na may potensyal na error-prone na alternatibong mga wika na maaaring ilagay sa panganib ang "daang milyong dolyar" ng mga pondo ng gumagamit ng matalinong kontrata.

Ang infamous DAO hack ay marahil ang pinakakilalang halimbawa ng mga potensyal na panganib ng mga buggy smart na kontrata na nakasulat sa isang Turing-kumpletong wika. Ang 2016 heist na iyon ay nagkakahalaga ng mga user ng $50 milyon sa ether, lahat ay dahil sa isang bug.

"Ang bilang ng tanong para sa mga matalinong kontrata na ito ay talagang makatarungan: Ang mga ito ba ay tumpak at ligtas?' Kaya ang wika ay dapat na nakatuon lamang doon, na kung ano ang ginawa natin dito," sabi ni Ali.

Sinabi ni Kokinos na ang Clarity ay nagbibigay ng "ibang pilosopiko na diskarte sa mga matalinong kontrata."

Ang kalinawan ay gagawa din para sa mas simpleng mga karanasan ng developer, aniya. “Nagbibigay kami ng mga tool sa mga tao upang hindi gaanong kailanganin para sa kanila na Learn ng marami tungkol sa kung paano gumagana ang blockchain at tungkol sa mga pinagbabatayan na bahagi ng system at bigyang-daan lamang ang mga tao na magawa ang kanilang trabaho.”