主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第8期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
王璞巍,杨航天,孟佶,陈晋川,杜小勇.一种面向合同的智能合约的形式化定义及参考实现.软件学报,2019,30(9):0
一种面向合同的智能合约的形式化定义及参考实现
Formal Definition for classical Smart Contracts and a Reference Implementation
投稿时间:2018-06-09  修订日期:2018-12-14
DOI:10.13328/j.cnki.jos.005773
中文关键词:  区块链  智能合约  以太坊  超级账本
英文关键词:Blockchain  Smart Contract  Ethereum  Hyperledger
基金项目:
作者单位E-mail
王璞巍 中国人民大学 信息学院, 北京 100872
教育部数据工程与知识工程重点实验室(中国人民大学), 北京 100872 
 
杨航天 教育部数据工程与知识工程重点实验室(中国人民大学), 北京 100872  
孟佶 中国人民大学 信息学院, 北京 100872  
陈晋川 中国人民大学 信息学院, 北京 100872
教育部数据工程与知识工程重点实验室(中国人民大学), 北京 100872 
jcchen@ruc.edu.cn 
杜小勇 中国人民大学 信息学院, 北京 100872
教育部数据工程与知识工程重点实验室(中国人民大学), 北京 100872 
 
摘要点击次数: 678
全文下载次数: 437
中文摘要:
      智能合约是区块链系统的核心组件,在现实中有着广泛的应用.然而,目前没有关于智能合约的统一定义,在不同的区块链平台上智能合约的实现也相差甚远.这样将影响公众对智能合约的认知,也对产业的发展造成障碍.本文回顾了智能合约的发展历史,梳理其概念的变化过程.归纳智能合约的本质,对现有智能合约的实现进行了分析和对比.给出了面向合同的智能合约的形式化定义,为智能合约的标准化奠定基础.提出了一个独立于区块链平台的,通用的智能合约实现方法.在目前广泛应用的联盟链区块链平台Hyperledger Fabric上面进行了具体实现.最后对未来工作进行了展望.
英文摘要:
      Smart Contract is one of the key components of blockchain systems, and has been widely applied in practice. However, there are no uniform definitions for smart contract. Moreover, the implementations of smart contracts in different platforms have quite large differences. This situation will affect the public's perception of smart contracts and will create obstacles to the development of the blockchain industry. This paper recalls the history of the development of smart contracts, combing out the changes of the concepts. We summarize the essence of smart contracts and analyze and compare existing smart contract implementations. We propose the formal definition of classical smart contracts, which may lay the foundation for the standardization of smart contracts. We also propose a common implementation method independent of the blockchain platforms. Also, we give a reference implementation based on Hyperledger Fabric. Finally, we conclude this paper and list the future work.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利