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

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

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

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

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

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

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

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

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

Micali表示:“智能合同是區(qū)塊鏈采用的一個不可或缺的驅動因素，因為它們消除了對第三方中介的需求，促進了無摩擦的經濟交流?！薄半S著存儲在智能合同中的大量和價值資產的出現，Clarity等下一代編程語言的出現有可能為大型企業(yè)和政府解鎖基于區(qū)塊鏈的解決方案，這些企業(yè)和政府需要更高水平的信任和安全性?！?/p>

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

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

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