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

被引：266

作者：

贺海武 ^{[1
]}

延安 ^{[2
]}

陈泽华 ^{[3
]}

机构：

[1] 中国科学院计算机网络信息中心

[2] 太原理工大学信息工程学院

[3] 太原理工大学大数据学院

来源：

计算机研究与发展 | 2018年 / 55卷 / 11期

关键词：

智能合约; 区块链; 以太坊; 分布式应用; 形式化方法; 众筹合约;

D O I：

暂无

中图分类号：

TP311.13 []; F49 [信息产业经济];

学科分类号：

1201 ;

摘要：

随着以比特币为代表的区块链技术的蓬勃发展,区块链技术已经开始逐步超越可编程货币时代而进入智能合约时代.智能合约(smart contract)是一种由事件驱动的、具有状态的代码合约和算法合同,随着区块链技术的深入发展而受到广泛关注和研究.智能合约利用协议和用户接口完成合约过程的所有步骤,允许用户在区块链上实现个性化的代码逻辑.基于区块链的智能合约技术具有去中心化、自治化、可观察、可验证、可信息共享等特点,可以有效构建可编程金融和可编程社会,广泛应用于数字支付、金融资产处置、多重签名合约、云计算、物联网、共享经济等多个领域.首先阐述了智能合约技术的基本概念、全生命周期、基本分类、基本架构、关键技术、发展现状以及智能合约的主要技术平台;然后探讨了智能合约技术的应用场景以及发展中所存在的问题;最后,基于智能合约的理论知识,搭建了以太坊实验环境并开发了一个众筹智能合约系统,旨在为基于区块链的智能合约技术的研究与发展提供参考与借鉴.

引用

页码：2452 / 2466

页数：15

共 14 条

[11] Practical byzantine fault tolerance and proactive recovery [J].

Castro, M ;

Liskov, B .

ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2002, 20 (04) :398-461

[12]

Symmetry and model checking[J] . E. Allen Emerson,A. Prasad Sistla.Formal Methods in System Design . 1996 (1)

[13]

From institutions to code Towards automated generation of smart contracts .2 Frantz C K,Nowostawski M. Proc of the 1st IEEE Int Workshop on Foundations and Applications of Self-*Systems . 2016

[14]

Bitcoin:A peer-to-peer electronic cash system .2 Nakamoto S. http://www.bitcoin.org/bitcoin.pdf . 2017

← 1 2 →