智能合约:架构及进展

被引：239
|
作者：
欧阳丽炜 [1 ,2 ]
王帅 [1 ,2 ]
袁勇 [1 ,3 ]
倪晓春 [1 ,3 ]
王飞跃 [1 ,3 ,4 ]
机构：
[1] 中国科学院自动化研究所复杂系统管理与控制国家重点实验室
[2] 中国科学院大学
[3] 青岛智能产业技术研究院
[4] 不详
来源：
自动化学报 | 2019年 / 45卷 / 03期
关键词：
区块链; 智能合约; 运行机制; 基础架构; 平行区块链;
D O I：
10.16383/j.aas.c180586
中图分类号：
TP311.13 [];
学科分类号：
1201 ;
摘要：
智能合约是一种无需中介、自我验证、自动执行合约条款的计算机交易协议,近年来随着区块链技术的日益普及而备受关注.区块链上的智能合约具有去中心化、去信任、可编程、不可篡改等特性,可灵活嵌入各种数据和资产,帮助实现安全高效的信息交换、价值转移和资产管理,最终有望深入变革传统商业模式和社会生产关系,为构建可编程资产、系统和社会奠定基础.本文致力于以区块链智能合约为研究对象,对已有的研究成果进行全面梳理和系统概述,提出了智能合约的基础架构模型并以此为研究框架阐述了智能合约的运行机制与基础架构,总结了智能合约的研究挑战与进展,介绍了智能合约的技术优势与典型应用领域,讨论了智能合约的发展趋势,以期为智能合约的后续研究提供参考.
引用
收藏
页码：445 / 457
页数：13
相关论文
共 12 条
  • [1] Parallel Dispatch: A New Paradigm of Electrical Power System Dispatch
    Jun Jason Zhang
    Fei-Yue Wang
    Qiang Wang
    Dazhi Hao
    Xiaojing Yang
    David Wenzhong Gao
    Xiangyang Zhao
    Yingchen Zhang
    [J]. IEEE/CAAJournalofAutomaticaSinica, 2018, 5 (01) : 311 - 319
  • [2] 平行区块链:概念、方法与内涵解析
    袁勇
    王飞跃
    [J]. 自动化学报, 2017, 43 (10) : 1703 - 1712
  • [3] 区块链金融理论研究的最新进展
    乔海曙
    谢姗珊
    [J]. 金融理论与实践, 2017, (03) : 75 - 79
  • [4] 平行学习—机器学习的一个新型理论框架
    李力
    林懿伦
    曹东璞
    郑南宁
    王飞跃
    [J]. 自动化学报, 2017, 43 (01) : 1 - 8
  • [5] 智能合约的形式化验证方法
    胡凯
    白晓敏
    高灵超
    董爱强
    [J]. 信息安全研究, 2016, 2 (12) : 1080 - 1089
  • [6] 区块链技术发展现状与展望
    袁勇
    王飞跃
    [J]. 自动化学报, 2016, 42 (04) : 481 - 494
  • [7] 社会计算与计算社会:智慧社会的基础与必然
    王飞跃
    王晓
    袁勇
    王涛
    林懿伦
    [J]. 科学通报, 2015, 60(Z1) (Z1) : 460 - 469
  • [8] 软件定义的系统与知识自动化:从牛顿到默顿的平行升华[J]. 王飞跃.自动化学报. 2015(01)
  • [9] 人工社会、计算实验、平行系统——关于复杂社会经济系统计算研究的讨论
    王飞跃
    [J]. 复杂系统与复杂性科学, 2004, (04) : 25 - 35
  • [10] Blockchain Technology in Business and Information Systems Research
    Beck, Roman
    Avital, Michel
    Rossi, Matti
    Thatcher, Jason Bennett
    [J]. BUSINESS & INFORMATION SYSTEMS ENGINEERING, 2017, 59 (06) : 381 - 384
12