白皮書重磅首發(fā) | 微眾銀行區(qū)塊鏈開源智能合約編程語言Liquid

關(guān)注公眾號并回復 【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è)務的樞紐,智能合約在推動分布式應用繁榮發(fā)展的過程中扮演著重要角色。而在智能合約的開發(fā)過程中,其編程語言是開發(fā)者表達業(yè)務邏輯的抽象工具,也是構(gòu)筑分布式應用的重要基石。
目前,業(yè)界已有Solidity語言、Move語言及DAML等常見的智能合約編程語言。然而,不斷多樣化、復雜化的應用場景給智能合約編程語言提出全新挑戰(zhàn):進一步重視數(shù)據(jù)隱私,智能合約下轄的數(shù)據(jù)需能夠明確權(quán)限歸屬;分布式、不可篡改的執(zhí)行環(huán)境要求智能合約具備更強的魯棒性;日漸擴大的服務規(guī)模要求智能合約能夠更加高效運行;為了提升開發(fā)效率,開發(fā)過程需要對開發(fā)者更加友好;不斷涌現(xiàn)的跨鏈等新型計算范式要求能夠直接提供原生抽象。常見的智能合約編程語言在這些方面均存在不同程度的局限性,制約了分布式應用的進一步發(fā)展。
微眾銀行區(qū)塊鏈著眼于現(xiàn)有挑戰(zhàn),結(jié)合在區(qū)塊鏈底層核心技術(shù)以及分布式商業(yè)應用落地的探索實踐,提出涵蓋安全(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è)務需求。
本文致力于以區(qū)塊鏈智能合約為研究對象,對智能合約及編程語言的基本概念、存在的問題以及研究現(xiàn)狀進行系統(tǒng)性梳理,并介紹Liquid的設(shè)計理念及關(guān)鍵實現(xiàn)細節(jié),供智能合約開發(fā)者交流探討。微眾銀行區(qū)塊鏈秉承多方參與、資源共享、友好協(xié)作和價值整合的理念,將Liquid項目完全向公眾開源,并在FISCO BCOS開源社區(qū)中成立了智能合約編譯技術(shù)專項興趣小組(CTSC-SIG),歡迎廣大企業(yè)及技術(shù)愛好者踴躍參與Liquid項目共建。



























文檔地址:
GitHub代碼庫地址:
https://github.com/WeBankBlockchain/liquid
gitee代碼庫地址:

