基于区块链的智能合约技术与应用综述

被引：250
|
作者：
贺海武 [1 ]
延安 [2 ]
陈泽华 [3 ]
机构：
[1] 中国科学院计算机网络信息中心
[2] 太原理工大学信息工程学院
[3] 太原理工大学大数据学院
来源：
计算机研究与发展 | 2018年 / 55卷 / 11期
关键词：
智能合约; 区块链; 以太坊; 分布式应用; 形式化方法; 众筹合约;
D O I：
暂无
中图分类号：
TP311.13 []; F49 [信息产业经济];
学科分类号：
1201 ;
摘要：
随着以比特币为代表的区块链技术的蓬勃发展,区块链技术已经开始逐步超越可编程货币时代而进入智能合约时代.智能合约(smart contract)是一种由事件驱动的、具有状态的代码合约和算法合同,随着区块链技术的深入发展而受到广泛关注和研究.智能合约利用协议和用户接口完成合约过程的所有步骤,允许用户在区块链上实现个性化的代码逻辑.基于区块链的智能合约技术具有去中心化、自治化、可观察、可验证、可信息共享等特点,可以有效构建可编程金融和可编程社会,广泛应用于数字支付、金融资产处置、多重签名合约、云计算、物联网、共享经济等多个领域.首先阐述了智能合约技术的基本概念、全生命周期、基本分类、基本架构、关键技术、发展现状以及智能合约的主要技术平台;然后探讨了智能合约技术的应用场景以及发展中所存在的问题;最后,基于智能合约的理论知识,搭建了以太坊实验环境并开发了一个众筹智能合约系统,旨在为基于区块链的智能合约技术的研究与发展提供参考与借鉴.
引用
收藏
页码：2452 / 2466
页数：15
相关论文
共 14 条
  • [1] 区块链隐私保护研究综述
    祝烈煌
    高峰
    沈蒙
    李艳东
    郑宝昆
    毛洪亮
    吴震
    [J]. 计算机研究与发展, 2017, (10) : 2170 - 2186
  • [2] 区块链技术与应用前瞻综述
    何蒲
    于戈
    张岩峰
    鲍玉斌
    [J]. 计算机科学, 2017, 44 (04) : 1 - 7
  • [3] 基于区块链的应用系统开发方法研究
    蔡维德
    郁莲
    王荣
    刘娜
    邓恩艳
    [J]. 软件学报, 2017, 28 (06) : 1474 - 1487
  • [4] 拟态防御基础理论研究综述
    斯雪明
    王伟
    曾俊杰
    杨本朝
    李光松
    苑超
    张帆
    [J]. 中国工程科学, 2016, 18 (06) : 62 - 68
  • [5] 智能合约的形式化验证方法
    胡凯
    白晓敏
    高灵超
    董爱强
    [J]. 信息安全研究, 2016, 2 (12) : 1080 - 1089
  • [6] 区块链技术发展现状与展望
    袁勇
    王飞跃
    [J]. 自动化学报, 2016, 42 (04) : 481 - 494
  • [7] LDP一致性测试的研究与实现
    张颖蓓
    龚正虎
    王乐春
    [J]. 计算机工程与科学, 2004, (11) : 14 - 16
  • [8] Contract law 2.0: ‘Smart’ contracts as the beginning of the end of classic contract law[J] . Alexander Savelyev.Information & Communications Technology Law . 2017 (2)
  • [9] Internet of Things, Blockchain and Shared Economy Applications[J] . Steve Huckle,Rituparna Bhattacharya,Martin White,Natalia Beloff.Procedia Computer Science . 2016
  • [10] Bitcoin moves beyond money
    Hodson, Hal
    [J]. NEW SCIENTIST, 2013, 220 (2945) : 24 - 24
12