Liquid智能合约编程语言软件

Liquid 由微众银行区块链团队开发并完全开源，是一种嵌入式领域特定语言（ embedded Domain Specific Language，eDSL），能够用来编写运行于区块链底层平台 FISCO BCOS 的智能合约。

关键特性

安全（Security)

• 内置线性资产模型，对安全可控、不可复制的资产类型进行了高级抽象，确保链上资产类应用具备金融级安全性；

• 支持在智能合约内部便捷地编写单元测试用例，可通过内嵌的区块链模拟环境直接在本地执行；

• 算数溢出及内存越界安全检查；

• 能够结合模糊测试等工具进行深度测试；

• 未来将进一步集成形式化验证及数据隐私保护技术。

性能（Performance）

• 配合 LLVM 优化器，支持将智能合约代码编译为可移植、体积小、加载快 Wasm 格式字节码；

• 对 Wasm 执行引擎进行了深度优化，并支持交易并行化等技术；

• 结合 Tree-Shaking 等技术，进一步压缩智能合约体积。

体验（Experience）

• 支持使用大部分现代语言特性（如移动语义及自动类型推导等）；

• 提供专有开发工具及编辑器插件辅助开发；

• 丰富的标准库及第三方组件。

可定制（Customization）

• 能够根据业务需求对编程模型、语言文法的进行深度定制。目前已集成可编程分布式协作编程模型；

• 未来还将进一步探索如何与隐私保护、跨链协同等功能相结合。