软件学报

作者：王璞巍,杨航天,孟佶,陈晋川,杜小勇

单位：王璞巍，中国人民大学 信息学院, 北京 100872;数据工程与知识工程教育部重点实验室(中国人民大学), 北京 10087211,杨航天，中国人民大学 信息学院, 北京 10087202,孟佶，中国人民大学 信息学院, 北京 10087203,陈晋川，中国人民大学 信息学院, 北京 100872;数据工程与知识工程教育部重点实验室(中国人民大学), 北京 10087204,杜小勇，中国人民大学 信息学院, 北京 100872;数据工程与知识工程教育部重点实验室(中国人民大学), 北京 10087205

关键词：区块链;智能合约;以太坊;超级账本

基金：国家重点研发计划（2016YFB1000702）；贵州财经大学与商务部国际贸易经济合作研究院联合基金（2017 SWBZD08）

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

来源：2019年第9期

《软件学报》期刊编辑部

查看软件学报杂志2019年第9期