文献详情
面向合同的智能合约的形式化定义及参考实现
外文标题：Formal Definition for Classical Smart Contracts and Reference Implementation
文献类型：期刊
期刊名称：软件学报
年：2019
卷：30
期：9
页码：2608-2619
ISSN：1000-9825
关键词：区块链 智能合约 以太坊 超级账本
所属部门：信息学院；数据工程与知识工程教育部重点实验室
链接地址：http://d.oldg.wanfangdata.com.cn/Periodical_rjxb201909003.aspx
摘要：智能合约是区块链系统的核心组件,在现实中广泛应用.然而,目前没有关于智能合约的统一定义,在不同的区块链平台上,智能合约的实现也相差甚远.这样将影响公众对智能合约的认知,也对产业的发展造成障碍.回顾了智能合约的发展历史,梳理其概念的变化过程.归纳智能合约的本质,对现有智能合约的实现进行了分析和对比.给出了面向合同的智能合约的形式化定义,为智能合约的标准化奠定基础.提出了独立于区块链平台的、通用的智能合约实现方法.在目前广泛应用的联盟链区块链平台Hyperledger Fabric上面进行了具体实现.最后对未来工作进行了展望.
DOI：10.13328/j.cnki.jos.005773
百度学术：面向合同的智能合约的形式化定义及参考实现
语言：中文
人气指数：1
浏览次数：1
基金：国家重点研发计划; 贵州财经大学与商务部国际贸易经济合作研究院联合基金
作者其他论文



应用商城中用户年龄的推断及在推荐中的应用.李佳琪, 刘红岩, 何军, et al. .计算机科学与探索. 2018, 1729-1739.
应用商城中用户年龄的推断及在推荐中的应用.李佳琪, 刘红岩, 何军, et al. .计算机科学与探索. 2018, 12(11), 1729-1739.
一种分布式文件列存储索引方法.覃雄派, 陈跃国, 杜小勇, et al. .2018.
"数据科学"课程群与 "数据科学导论"课程建设初探.覃雄派, 陈跃国, 李翠平, et al. .大数据. 2018, 4(6), 19-28.
数据科学课程群与 数据科学导论课程建设初探.覃雄派, 陈跃国, 李翠平, et al. .大数据. 2018, 4(6), 19-28.