基于区块链的智能合约技术研究进展

被引:14
作者
朱岩 [1 ]
王静 [1 ]
郭倩 [1 ]
刘国伟 [2 ]
机构
[1] 北京科技大学计算机与通信工程学院
[2] 北京市经济和信息化局
关键词
智能合约; 语言; 框架; 部署; 运行机制;
D O I
暂无
中图分类号
TP311.13 [];
学科分类号
1201 ;
摘要
智能合约被认为是第二代区块链的技术核心,它是区块链从虚拟货币、金融交易协议到通用工具发展的必然结果。然而,目前智能合约技术尚不完善,对智能合约概念及内涵缺乏较为系统的分析,对基于区块链的智能合约软件系统也缺少体系上的归纳与总结。有鉴于此,文章从智能合约的基本定义入手,介绍了智能合约的发展历史、分类、规范等概念,进而从抽象计算模型角度出发给出了智能合约的通用架构,并对智能合约语言与编译机制、合约部署机制与合约运行过程予以详尽分析,上述结果将有利于把握智能合约未来研究方向。
引用
收藏
页码:19 / 24+54 +54
页数:7
相关论文
共 5 条
[1]   区块链与智能合约图谱分析 [J].
王继辉 .
网络空间安全, 2019, 10 (11) :1-6+25
[2]   区块链技术的应用进展与发展趋势 [J].
何小东 ;
易积政 ;
陈爱斌 .
世界科技研究与发展, 2018, 40 (06) :615-626
[3]   基于区块链的智能合约技术与应用综述 [J].
贺海武 ;
延安 ;
陈泽华 .
计算机研究与发展, 2018, 55 (11) :2452-2466
[4]   区块链关键技术中的安全性研究 [J].
朱岩 ;
甘国华 ;
邓迪 ;
姬菲菲 ;
陈爱平 .
信息安全研究, 2016, 2 (12) :1090-1097
[5]  
Spesc:A specification language for smart contracts .2 He X,Qin B,Zhu Y,et al. 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) . 2018