Liquid智能合約編程語言軟件

Liquid 由微眾銀行區(qū)塊鏈團隊開發(fā)并完全開源，是一種嵌入式領(lǐng)域特定語言（ embedded Domain Specific Language，eDSL），能夠用來編寫運行于區(qū)塊鏈底層平臺 FISCO BCOS 的智能合約。

關(guān)鍵特性

安全（Security)

• 內(nèi)置線性資產(chǎn)模型，對安全可控、不可復(fù)制的資產(chǎn)類型進行了高級抽象，確保鏈上資產(chǎn)類應(yīng)用具備金融級安全性；

• 支持在智能合約內(nèi)部便捷地編寫單元測試用例，可通過內(nèi)嵌的區(qū)塊鏈模擬環(huán)境直接在本地執(zhí)行；

• 算數(shù)溢出及內(nèi)存越界安全檢查；

• 能夠結(jié)合模糊測試等工具進行深度測試；

• 未來將進一步集成形式化驗證及數(shù)據(jù)隱私保護技術(shù)。

性能（Performance）

• 配合 LLVM 優(yōu)化器，支持將智能合約代碼編譯為可移植、體積小、加載快 Wasm 格式字節(jié)碼；

• 對 Wasm 執(zhí)行引擎進行了深度優(yōu)化，并支持交易并行化等技術(shù)；

• 結(jié)合 Tree-Shaking 等技術(shù)，進一步壓縮智能合約體積。

體驗（Experience）

• 支持使用大部分現(xiàn)代語言特性（如移動語義及自動類型推導(dǎo)等）；

• 提供專有開發(fā)工具及編輯器插件輔助開發(fā)；

• 豐富的標準庫及第三方組件。

可定制（Customization）

• 能夠根據(jù)業(yè)務(wù)需求對編程模型、語言文法的進行深度定制。目前已集成可編程分布式協(xié)作編程模型；

• 未來還將進一步探索如何與隱私保護、跨鏈協(xié)同等功能相結(jié)合。