计算机研究与发展

作者：贺海武,延安,陈泽华,

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

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

来源：2018年第11期

《计算机研究与发展》期刊编辑部

查看计算机研究与发展杂志2018年第11期