区块链与智能合约图谱分析

被引:5
作者
王继辉
机构
[1] 普华商业集团有限公司
关键词
区块链; 智能合约; 形式化智能合约;
D O I
暂无
中图分类号
TP311.13 [];
学科分类号
1201 ;
摘要
区块链技术从2017年开始进入快速发展期,区块链底层平台TPS性能提升很快,数字身份与信用模型也是当下行业讨论的重点,但是作为区块链应用核心之一的智能合约技术发展却明显落后。文章对智能合约从产生、演化与趋势三个层次入手来进行分析,回答了2019年智能合约发展的必然性以及智能合约四个可能趋势,特别肯定了形式化智能合约技术的趋势性。
引用
收藏
页码:1 / 6+25 +25
页数:7
相关论文
共 6 条
[1]   中国区块链政策环境回顾、分析与展望 [J].
刘宗媛 .
网络空间安全, 2019, 10 (04) :111-117
[2]   区块链标准化现状及思路 [J].
李鸣 ;
李佳秾 ;
孙琳 .
中国信息安全, 2018, (05) :96-98
[3]   区块链交易数据隐私保护机制 [J].
祝烈煌 ;
董慧 ;
沈蒙 .
大数据, 2018, 4 (01) :46-56
[4]   智能合约的形式化验证方法 [J].
胡凯 ;
白晓敏 ;
高灵超 ;
董爱强 .
信息安全研究, 2016, 2 (12) :1080-1089
[5]   区块链技术发展现状与展望 [J].
袁勇 ;
王飞跃 .
自动化学报, 2016, 42 (04) :481-494
[6]  
区块链与人工智能.[M].刘权.人民邮电出版社.2019, 978-7-115-50399-2