Liquid 由微众银行区块链团队开发并完全开源，是一种嵌入式领域特定语言（ embedded Domain Specific Language，eDSL），能够用来编写运行于区块链底层平台 FISCO BCOS 的智能合约。
关键特性
安全（Security)
-
内置线性资产模型，对安全可控、不可复制的资产类型进行了高级抽象，确保链上资产类应用具备金融级安全性；
-
支持在智能合约内部便捷地编写单元测试用例，可通过内嵌的区块链模拟环境直接在本地执行；
-
算数溢出及内存越界安全检查；
-
能够结合模糊测试等工具进行深度测试；
-
未来将进一步集成形式化验证及数据隐私保护技术。
性能（Performance）
-
配合 LLVM 优化器，支持将智能合约代码编译为可移植、体积小、加载快 Wasm 格式字节码；
-
对 Wasm 执行引擎进行了深度优化，并支持交易并行化等技术；
-
结合 Tree-Shaking 等技术，进一步压缩智能合约体积。
体验（Experience）
-
支持使用大部分现代语言特性（如移动语义及自动类型推导等）；
-
提供专有开发工具及编辑器插件辅助开发；
-
丰富的标准库及第三方组件。
可定制（Customization）
-
能够根据业务需求对编程模型、语言文法的进行深度定制。目前已集成可编程分布式协作编程模型；
-
未来还将进一步探索如何与隐私保护、跨链协同等功能相结合。
