面向合同的智能合约的形式化定义及参考实现

被引：29

作者：

王璞巍 ^{[1
,2
]}

杨航天 ^{[1
]}

孟佶 ^{[1
]}

陈晋川 ^{[1
,2
]}

杜小勇 ^{[1
,2
]}

机构：

[1] 中国人民大学信息学院

[2] 数据工程与知识工程教育部重点实验室(中国人民大学)

来源：

软件学报 | 2019年 / 30卷 / 09期

基金：

国家重点研发计划;

关键词：

区块链; 智能合约; 以太坊; 超级账本;

D O I：

10.13328/j.cnki.jos.005773

中图分类号：

F715.4 [商业谈判与经济合同管理]; TP311.13 [];

学科分类号：

020205 ; 1202 ; 120202 ; 0202 ; 1201 ;

摘要：

智能合约是区块链系统的核心组件,在现实中广泛应用.然而,目前没有关于智能合约的统一定义,在不同的区块链平台上,智能合约的实现也相差甚远.这样将影响公众对智能合约的认知,也对产业的发展造成障碍.回顾了智能合约的发展历史,梳理其概念的变化过程.归纳智能合约的本质,对现有智能合约的实现进行了分析和对比.给出了面向合同的智能合约的形式化定义,为智能合约的标准化奠定基础.提出了独立于区块链平台的、通用的智能合约实现方法.在目前广泛应用的联盟链区块链平台Hyperledger Fabric上面进行了具体实现.最后对未来工作进行了展望.

引用

页码：2608 / 2619

页数：12

共 3 条

[1] 智能合约的形式化验证方法 [J].