| 面向合同的智能合约的形式化定义及参考实现 |
| |
| 引用本文： | 王璞巍,杨航天,孟佶,陈晋川,杜小勇.面向合同的智能合约的形式化定义及参考实现[J].软件学报,2019,30(9):2608-2619. |
| |
| 作者姓名： | 王璞巍 杨航天 孟佶 陈晋川 杜小勇 |
| |
| 作者单位： | 中国人民大学 信息学院, 北京 100872;数据工程与知识工程教育部重点实验室(中国人民大学), 北京 100872,中国人民大学 信息学院, 北京 100872,中国人民大学 信息学院, 北京 100872,中国人民大学 信息学院, 北京 100872;数据工程与知识工程教育部重点实验室(中国人民大学), 北京 100872,中国人民大学 信息学院, 北京 100872;数据工程与知识工程教育部重点实验室(中国人民大学), 北京 100872 |
| |
| 基金项目： | 国家重点研发计划（2016YFB1000702）；贵州财经大学与商务部国际贸易经济合作研究院联合基金（2017 SWBZD08） |
| |
| 摘 要： | 智能合约是区块链系统的核心组件，在现实中广泛应用.然而，目前没有关于智能合约的统一定义，在不同的区块链平台上，智能合约的实现也相差甚远.这样将影响公众对智能合约的认知，也对产业的发展造成障碍.回顾了智能合约的发展历史，梳理其概念的变化过程.归纳智能合约的本质，对现有智能合约的实现进行了分析和对比.给出了面向合同的智能合约的形式化定义，为智能合约的标准化奠定基础.提出了独立于区块链平台的、通用的智能合约实现方法.在目前广泛应用的联盟链区块链平台Hyperledger Fabric上面进行了具体实现.最后对未来工作进行了展望.
|
| 关 键 词： | 区块链 智能合约 以太坊 超级账本 |
| 收稿时间： | 2018/6/9 0:00:00 |
| 修稿时间： | 2018/8/28 0:00:00 |
Formal Definition for Classical Smart Contracts and Reference Implementation |
| |
| WANG Pu-Wei,YANG Hang-Tian,MENG Ji,CHEN Jin-Chuan and DU Xiao-Yong.Formal Definition for Classical Smart Contracts and Reference Implementation[J].Journal of Software,2019,30(9):2608-2619. |
| |
| Authors: | WANG Pu-Wei YANG Hang-Tian MENG Ji CHEN Jin-Chuan and DU Xiao-Yong |
| |
| Affiliation: | School of Information, Renmin University of China, Beijing 100872, China;Key Laboratory of Data Engineering and Knowledge Engineering of Ministry of Education(Renmin University of China), Beijing 100872, China,School of Information, Renmin University of China, Beijing 100872, China,School of Information, Renmin University of China, Beijing 100872, China,School of Information, Renmin University of China, Beijing 100872, China;Key Laboratory of Data Engineering and Knowledge Engineering of Ministry of Education(Renmin University of China), Beijing 100872, China and School of Information, Renmin University of China, Beijing 100872, China;Key Laboratory of Data Engineering and Knowledge Engineering of Ministry of Education(Renmin University of China), Beijing 100872, China |
| |
| Abstract: | 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 perception of smart contracts and will cause obstacles to the development of the blockchain industry. This study recalls the history of the development of smart contracts, combing out the changes of the concepts, summarizes the essence of smart contracts, and analyzes and compares existing smart contract implementations. The formal definition of classical smart contracts is proposed, which may lay the foundation for the standardization of smart contracts. A common implementation method independent of the blockchain platforms is also given. And a reference implementation based on Hyperledger Fabric is carried out as well. Finally, the conclusion is presented and the future work is listed. |
| |
| Keywords: | blockchain smart contract Ethereum hyperledger |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
