文献类型：期刊文章

作　　者：贺海武[1] 延安[2] 陈泽华[3]

He Haiwu;Yan An;Chen Zehua(Computer Network Information Center,Chinese Academy of Sciences,Beijing 100190;College of Information Engineering,Taiyuan University of Technology,Taiyuan 030024;College of Data Science,Taiyuan University of Technology,Taiyuan 030024)

机构地区：[1]中国科学院计算机网络信息中心,北京100190 [2]太原理工大学信息工程学院,太原030024 [3]太原理工大学大数据学院,太原030024

出　　处：《计算机研究与发展》

基　　金：中国科学院百人计划项目(1101002001);国家自然科学基金项目(61402319)~~

年　　份：2018

卷　　号：55

期　　号：11

起止页码：2452-2466

语　　种：中文

收录情况：AJ、BDHX、BDHX2017、CSA-PROQEUST、CSCD、CSCD2017_2018、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

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

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

分 类 号：TP391]