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

摘要：

区块链技术从2017年开始进入快速发展期,区块链底层平台TPS性能提升很快,数字身份与信用模型也是当下行业讨论的重点,但是作为区块链应用核心之一的智能合约技术发展却明显落后.文章对智能合约从产生、演化与趋势三个层次入手来进行分析,回答了2019年智能合约发展的必然性以及智能合约四个可能趋势,特别肯定了形式化智能合约技术的趋势性.

关键词：区块链、智能合约、形式化智能合约

所属期刊栏目：10

分类号：TP309(计算技术、计算机技术)

在线出版日期：2020-04-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1-6,25