Algorand和Blockstack聯(lián)合采用區(qū)塊鏈智能合約語言

兩家區(qū)塊鏈行業(yè)的領(lǐng)導(dǎo)者Algorand Inc.和Blockstack PBC今天宣布了一個(gè)獨(dú)立的開源項(xiàng)目來支持Clarity，即區(qū)塊鏈分布式賬本智能合同語言。

智能合同是一種可編程的協(xié)議，它基于已編碼的多方之間達(dá)成一致的條款的完成來自動(dòng)化操作。智能合同的代碼和達(dá)成的協(xié)議存在于區(qū)塊鏈中，作為合同的防篡改記錄，以及合同下的資產(chǎn)，這些資產(chǎn)可以是貨幣、財(cái)產(chǎn)、股份或任何可以數(shù)字化表示的有價(jià)值的東西。

這種協(xié)作認(rèn)識(shí)到，業(yè)界需要采用更安全、可靠和可預(yù)測的智能契約語言。其目標(biāo)是提供一個(gè)基礎(chǔ)，可以構(gòu)建該基礎(chǔ)來支持許多用例，如金融服務(wù)、醫(yī)療保健、投票等所需的用例。

由Blockstack創(chuàng)始人Muneeb Ali(普林斯頓大學(xué)計(jì)算機(jī)科學(xué)博士)和Algorand創(chuàng)始人西爾維奧?米卡利(麻省理工學(xué)院計(jì)算機(jī)科學(xué)教授)運(yùn)營的團(tuán)隊(duì)將合作進(jìn)行Clarity的設(shè)計(jì)和開發(fā)。

阿里說:“智能手機(jī)合同的價(jià)值最近超過了10億美元，這個(gè)數(shù)字可能還會(huì)繼續(xù)呈指數(shù)級(jí)增長?！彪m然JavaScript可能是編寫web應(yīng)用程序的首選語言，但智能合同對(duì)可驗(yàn)證性和安全性的要求截然不同，這需要不同的方法。在風(fēng)險(xiǎn)很小的時(shí)候，我們可以使用不安全的語言，但隨著實(shí)際使用情況的增加，是時(shí)候進(jìn)行一次重大升級(jí)了。”

smart contract language Clarity是一種可解釋的和“可決定的”語言，意思是合同代碼本身直接在區(qū)塊鏈中發(fā)布，并且代碼本身可以理解合同在激活時(shí)將做什么。

開發(fā)有效、安全和可理解的智能合同語言非常重要，因?yàn)楸M管區(qū)塊鏈網(wǎng)絡(luò)是防篡改的，但智能合同系統(tǒng)曾遭到黑客攻擊。一個(gè)特別有問題的例子是2016年對(duì)以太坊分散自治組織(Ethereum Decentralized Autonomous Organization，簡稱Ethereum)的攻擊，這是一個(gè)完全基于智能合同運(yùn)營的代碼管理商業(yè)實(shí)體，導(dǎo)致2016年以太坊損失了逾5500萬美元。

盡管智能合同已被許多企業(yè)廣泛試驗(yàn)，但這項(xiàng)技術(shù)的全面采用仍不盡如人意。在某種程度上，這是因?yàn)槭褂卯?dāng)今的智能契約語言仍然難以生成安全、可信的代碼。

Micali表示:“智能合同是區(qū)塊鏈采用的一個(gè)不可或缺的驅(qū)動(dòng)因素，因?yàn)樗鼈兿藢?duì)第三方中介的需求，促進(jìn)了無摩擦的經(jīng)濟(jì)交流。”“隨著存儲(chǔ)在智能合同中的大量和價(jià)值資產(chǎn)的出現(xiàn)，Clarity等下一代編程語言的出現(xiàn)有可能為大型企業(yè)和政府解鎖基于區(qū)塊鏈的解決方案，這些企業(yè)和政府需要更高水平的信任和安全性。”

通過Algorand和Blockstack的合作，兩家公司希望將Clarity帶入主流，并表明它已經(jīng)準(zhǔn)備好進(jìn)入黃金時(shí)期，并利用它來成長和成熟區(qū)塊鏈產(chǎn)業(yè)。

此外，兩家公司打算利用透明度進(jìn)行所謂的鏈間通信，使數(shù)據(jù)能夠在不同區(qū)塊鏈之間以可靠的方式傳輸。這將有助于消除傳統(tǒng)上需要外部中介的圍墻花園的問題。使用Clarity，開發(fā)人員可以在不同區(qū)塊鏈網(wǎng)絡(luò)之間無縫地發(fā)起和執(zhí)行契約，從而跨多個(gè)環(huán)境進(jìn)行互操作。

更多信息可以在Clarity language網(wǎng)站上找到，開發(fā)者可以在GitHub上深入了解代碼及其實(shí)現(xiàn)。