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

被引：266

作者：

贺海武 ^{[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+15

[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 [J].

Hodson, Hal .

NEW SCIENTIST, 2013, 220 (2945) :24-24

← 1 2 →