白皮書重磅首發(fā) | 微眾銀行區(qū)塊鏈開源智能合約編程語言Liquid
關(guān)注公眾號并回復(fù) 【Liquid】
獲取全文高清PDF
2020年4月20日，國家發(fā)展改革委首次明確新型基礎(chǔ)設(shè)施建設(shè)（簡稱新基建）的范圍，將區(qū)塊鏈視為新基建的核心技術(shù)和自主創(chuàng)新的重要突破口。在近期發(fā)布的國家“十四五”規(guī)劃綱要中，區(qū)塊鏈也被列入數(shù)字經(jīng)濟重點產(chǎn)業(yè)，迎來發(fā)展“加速度”。具體到產(chǎn)業(yè)內(nèi)容上，綱要明確指出推動智能合約、共識算法、加密算法、分布式系統(tǒng)等關(guān)鍵技術(shù)的創(chuàng)新。
作為連接區(qū)塊鏈底層技術(shù)與現(xiàn)實業(yè)務(wù)的樞紐，智能合約在推動分布式應(yīng)用繁榮發(fā)展的過程中扮演著重要角色。而在智能合約的開發(fā)過程中，其編程語言是開發(fā)者表達業(yè)務(wù)邏輯的抽象工具，也是構(gòu)筑分布式應(yīng)用的重要基石。
目前，業(yè)界已有Solidity語言、Move語言及DAML等常見的智能合約編程語言。然而，不斷多樣化、復(fù)雜化的應(yīng)用場景給智能合約編程語言提出全新挑戰(zhàn)：進一步重視數(shù)據(jù)隱私，智能合約下轄的數(shù)據(jù)需能夠明確權(quán)限歸屬；分布式、不可篡改的執(zhí)行環(huán)境要求智能合約具備更強的魯棒性；日漸擴大的服務(wù)規(guī)模要求智能合約能夠更加高效運行；為了提升開發(fā)效率，開發(fā)過程需要對開發(fā)者更加友好；不斷涌現(xiàn)的跨鏈等新型計算范式要求能夠直接提供原生抽象。常見的智能合約編程語言在這些方面均存在不同程度的局限性，制約了分布式應(yīng)用的進一步發(fā)展。
微眾銀行區(qū)塊鏈著眼于現(xiàn)有挑戰(zhàn)，結(jié)合在區(qū)塊鏈底層核心技術(shù)以及分布式商業(yè)應(yīng)用落地的探索實踐，提出涵蓋安全（Security）、性能（Performance）、體驗（Experience）及定制能力（Customization ）四個方面的“SPEC”智能合約編程語言設(shè)計規(guī)范。
在“SPEC”設(shè)計規(guī)范的基礎(chǔ)上，微眾銀行區(qū)塊鏈推出全新的智能合約編程語言Liquid。
在安全方面，Liquid支持使用加密原語對數(shù)據(jù)進行隱匿，從而確保數(shù)據(jù)安全性；支持在智能合約的編譯期及運行期全方位進行安全檢測，從而提升邏輯魯棒性。
在性能方面，Liquid通過優(yōu)化執(zhí)行引擎并結(jié)合并行化等技術(shù)，讓智能合約的執(zhí)行效率取得長足進步。
在體驗方面，Liquid提供豐富的周邊工具及資源，讓智能合約的開發(fā)過程敏捷流暢。
在定制能力方面，通過宏擴展技術(shù)，Liquid能夠在語言層提供分布式協(xié)作、跨鏈協(xié)同等編程模型，幫助開發(fā)者更加便捷地實現(xiàn)業(yè)務(wù)需求。
本文致力于以區(qū)塊鏈智能合約為研究對象，對智能合約及編程語言的基本概念、存在的問題以及研究現(xiàn)狀進行系統(tǒng)性梳理，并介紹Liquid的設(shè)計理念及關(guān)鍵實現(xiàn)細(xì)節(jié)，供智能合約開發(fā)者交流探討。微眾銀行區(qū)塊鏈秉承多方參與、資源共享、友好協(xié)作和價值整合的理念，將Liquid項目完全向公眾開源，并在FISCO BCOS開源社區(qū)中成立了智能合約編譯技術(shù)專項興趣小組（CTSC-SIG），歡迎廣大企業(yè)及技術(shù)愛好者踴躍參與Liquid項目共建。
文檔地址：
GitHub代碼庫地址：
https://github.com/WeBankBlockchain/liquid
gitee代碼庫地址：
