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

關(guān)鍵特性

安全（Security)

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

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

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

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

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

性能（Performance）

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

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

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

體驗(yàn)（Experience）

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

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

• 豐富的標(biāo)準(zhǔn)庫及第三方組件。

可定制（Customization）

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

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