首页 > 期刊 > 自然科学与工程技术 > 信息科技 > 计算机软件及计算机应用 > 软件学报 > 面向合同的智能合约的形式化定义及参考实现 【正文】

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

王璞巍; 杨航天; 孟佶; 陈晋川; 杜小勇 中国人民大学信息学院; 北京100872; 数据工程与知识工程教育部重点实验室(中国人民大学); 北京100872
  • 区块链
  • 智能合约
  • 以太坊
  • 超级账本

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

投稿咨询 免费咨询 杂志订阅

我们提供的服务

服务流程: 确定期刊 支付定金 完成服务 支付尾款 在线咨询