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

關鍵特性

安全（Security)

• 內置線性資產模型，對安全可控、不可復制的資產類型進行了高級抽象，確保鏈上資產類應用具備金融級安全性；

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

• 算數溢出及內存越界安全檢查；

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

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

性能（Performance）

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

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

• 結合 Tree-Shaking 等技術，進一步壓縮智能合約體積。

體驗（Experience）

• 支持使用大部分現代語言特性（如移動語義及自動類型推導等）；

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

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

可定制（Customization）

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

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