Liquid智能合约编程语言软件
Liquid 由微众银行区块链团队开发并完全开源,是一种嵌入式领域特定语言( embedded Domain Specific Language,eDSL),能够用来编写运行于区块链底层平台 FISCO BCOS 的智能合约。
关键特性
安全(Security)
-
内置线性资产模型,对安全可控、不可复制的资产类型进行了高级抽象,确保链上资产类应用具备金融级安全性;
-
支持在智能合约内部便捷地编写单元测试用例,可通过内嵌的区块链模拟环境直接在本地执行;
-
算数溢出及内存越界安全检查;
-
能够结合模糊测试等工具进行深度测试;
-
未来将进一步集成形式化验证及数据隐私保护技术。
性能(Performance)
-
配合 LLVM 优化器,支持将智能合约代码编译为可移植、体积小、加载快 Wasm 格式字节码;
-
对 Wasm 执行引擎进行了深度优化,并支持交易并行化等技术;
-
结合 Tree-Shaking 等技术,进一步压缩智能合约体积。
体验(Experience)
-
支持使用大部分现代语言特性(如移动语义及自动类型推导等);
-
提供专有开发工具及编辑器插件辅助开发;
-
丰富的标准库及第三方组件。
可定制(Customization)
-
能够根据业务需求对编程模型、语言文法的进行深度定制。目前已集成可编程分布式协作编程模型;
-
未来还将进一步探索如何与隐私保护、跨链协同等功能相结合。
评论
Equity比原链智能合约语言
Equity是一个用于表达比原链Bytom智能合约的高级语言,是一门专属于比原链多资产模型的解析性语言。Equity相关特点声明性谓词性语言,语法简单,意思明确精确地抽象数据栈的执行流程方便构造自定义
Equity比原链智能合约语言
0
LIME编程语言动态编程语言
LIME是一个使用类似LISP语法的动态编程语言。Itfeaturespartialfunctionapplication,eagerandlazyevaluation,call-by-valuean
LIME编程语言动态编程语言
0
Magician-ContractsTools智能合约工具包
Magician-ContractsTools是一个用于调用智能合约的工具包,你可以非常容易地在Java程序中调用智能合约进行查询和写入操作。有三个内置的标准合约模板,分别是ERC20、ERC721
Magician-ContractsTools智能合约工具包
0