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

摘要：

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

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

所属期刊栏目：30

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2019-10-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：2608-2619