V神要哭，以太坊智能合约漏洞百出，“保险池”概念紧急来救火 ...

梅梅

　　4月22日中午，有黑客利用以太坊 ERC-20智能合约中BatchOverFlow漏洞攻击BEC(美链的代币“美蜜”)智能合约，成功向两个地址转出了天量级别的 BEC代币，导致市场上海量BEC被抛售。此事使得当日BEC的价值几乎归零。64亿人民币瞬间蒸发。
　　4月25日，仅仅三天后，另一个智能合约SmartMesh(SMT)曝出漏洞，交易所表示，因SMT出现异常交易，各交易平台暂停SMT的充提和交易。
　　这已经不是以太坊第一次被曝出智能合约漏洞问题。虽然以太坊仅仅诞生了四年,但是随着人们越来越多地了解区块链技术，以太坊的热度逐渐增加。然而,最新的研究显示，基于以太坊架构,被称作是“最安全、最可靠、最方便”的智能合约技术却漏洞百出。
　　2016年6月17日，发生了在区块链历史上沉重的一次攻击事件。由于以太坊的智能合约存在着重大缺陷,区块链业界最大的众筹项目The DAO(被攻击前拥有1亿美元左右资产)遭到攻击，导致300多万以太币资产被分离出The DAO 资产池。
　　同年11月，同样基于以太坊的电子钱包服务商Parity，也出现了严重的安全问题，大约有1.5亿美元的用户资金遭到影响，突然无法正常使用和交易。
　　2017年7月21日，智能合约编码公司Parity警告1.5版本及之后的钱包软件存在漏洞，据Etherscan.io的数据确认有价值3000万美元的15万以太币被盗。
　　2017年11月8日，以太坊Parity钱包再出现重大bug，多重签名漏洞被黑客利用，导致上亿美元资金被冻结。
　　为何智能合约漏洞频出?难道就没有办法解决了吗?
　　什么是以太坊智能合约?
　　智能合约现在是区块链中最为大家熟知的概念。但智能合约究竟是什么?很多人还是一知半解。智能合约就是一种储存在区块链中的计算机程序。
　　区块链从本质上来说，就是一种共享的会计分类账簿，可以利用虚拟加密货币和计算机网络来追踪与记录各种资产的状态，同时有效保证分类账簿的安全，以防出现一些恶意篡改现象。
　　第一代区块链技术就是比特币。它能为互不相识的交易双方提供牢固保障，保证双方资金能够按照合同规定顺利完成转账。简单地说，就是保证交易双方不会受到欺诈等负面事件影响。
　　第二代区块链技术就是以太坊。有了智能合约，交易双方可以创建一个系统，从某一方的账户中取钱再存进余额不足的另一方账户中。从理论上来说，智能合约能够用于各种各样金融协议的代码编写，其中包括衍生合同、拍卖合同以及各种基于区块链的第三方保管账户合同等等。
　　以太坊是一个开源的区块链底层系统，就像安卓一样，提供了非常丰富的API和接口，让许多人在上面能够快速开发出各种区块链应用。目前已经有超过200多个应用在以太坊上开发。
　　而以太坊很大的特色就是能够实现智能合约。所谓智能合约(Smart Contract)，是密码学家Nick Szabo在1994年首次提出以数字形式定义的一系列承诺(promises) ，包括合约参与方可以在上面执行这些承诺的协议。
　　智能合约的智能在英语中对应的单词是Smart，和智能手机(Smart Phone)中的Smart意义相同，表示非常灵活的意思，并不是指人工智能(AI)。智能合约一旦设立指定后，能够无需中介的参与自动执行，并且没有人可以阻止它的运行。
　　以太坊去中心化的核心是其可以运行图灵完备的脚本语言,而开发以太坊智能合约则有四种语言：Serpent、Solidity、Mutan、LLL。这些语言都是面向底层设计的语言。目前来看，Solidity 是首选语言，这是由于它内置了 Serpent 语言的所有特性,语法类则似于使用广泛的 JavaScript。再加上 Solidity 的语言特性较少,该语言则可以更简单地实现完备的智能合约体系。
　　以太坊是一个开源的有智能合约功能的公共区块链平台。区块链上的所有用户都可以看到基于区块链的智能合约。但是，这会导致包括安全漏洞在内的所有漏洞都可见。智能合约语言 Solidity 自身与合约设计都可能存在漏洞。如果智能合约开发者疏忽或者测试不充分，而造成智能合约的代码有漏洞的话，就非常容易被黑客利用并攻击。并且越是功能强大的智能合约，就越是逻辑复杂，也越容易出现逻辑上的漏洞。
　　智能合约为何充满漏洞?
　　根据伦敦大学学院计算机科学系副教授伊利亚•谢尔盖最新的研究论文中显示，通过基于以太坊平台的近100 万份智能合约进行每份合约/10秒的分析后发行，有大34200份智能合约很容易遭到黑客攻击。
　　此外，他们还通过3759份智能合约抽样调查，发现其中3686份合约有89%的概率含有漏洞。以太坊作为一个分布式应用平台，如此高的漏洞产生概率，不知道V神对此做何感想。
　　那么问题来了，以太坊智能合约为何充满漏洞?
　　区块链为智能合约提供可信执行环境，智能合约为区块链扩展应用。而在以太坊上的智能合约，能够控制区块链上各种数字资产进行复杂的操作，随着智能合约开始获得越来越多的使用，人们也发现，就像现实世界的合同一样，如果没有认真审核的话，其中就有可能出现漏洞，并且被坏人利用。
　　开发智能合约需要一个全新的工程思维，它不同于我们以往项目的开发。因为它犯错的代价是巨大的，并且很难像传统软件那样轻易的打上补丁。就像直接给硬件编程或金融服务类软件开发，相比于web开发和移动开发都有更大的挑战。
　　据有关调查统计，以太坊主要漏洞情况描述如下表：
　　(本图为雷锋网设计并整理)
　　但其实究其根本，之所以如此多的智能合约出现同类漏洞，其背后是混乱的数字代币发行现状。
　　一些ICO(数字货币发行)通过智能合约发行代币的代价，成本已经低之又低。业内人士指出，一个程序员只要花5分钟，从网上抄一些智能合约代码，稍做修改，就可以发行一个代币。如果再写个白皮书，找几个知名顾问站台，就可以在数字货币交易所里发行几千万甚至上亿的项目。既没有交易所的监管，又抱着“一夜暴富”的期待，这些发币团队的技术实力、对安全的防范意识，自然很难得到保证。
　　内参君还是要提醒的是，在数字货币的世界里，各种漏洞都潜伏其中，投资者需要做好漏洞随时暴露的心理准备，同时，平台自身的资质，也是投资者需要仔细考虑的重要因素。
　　“保险池”概念紧急救火
　　据腾讯玄武实验室的信息安全人员宋凯透露，其实很多虚拟货币交易在过程中都出现过安全问题，事后的解决方案大多是回滚，也就是将交易数据回溯到攻击之前的状态。这样的补救措施只能使用户账户中拥有同样数量的新币，但因为攻击导致BEC币价大跌，事实上，用户并没能真正挽回损失。
　　近日，以太坊基金会(Ethereum Foundation)开发者Alex Van de Sande公布了的一项有关“保险池”的提议，他认为这个方案能够降低网络分裂的风险——由于智能合约代码漏洞造成资金冻结的事故，在寻找解决方案的过程中可能产生分歧，从而带来分裂网络的风险。
　　Van de Sande是以太坊Mist浏览器团队的领导者，他在一篇文章中提到，创建一个存有专用保险资金的“赎回合约”(recovery contract)能够降低个人或组织通过争议性硬分叉来获得部分或全部因为代码漏洞而失去的资金。最典型的例子就是，在Parity的多重签名钱包合约代码库爆出漏洞之后，钱包中价值3.2亿美元的以太坊(ETH)被冻结，维持在无法花费的状态。
　　不过，Van de Sande的提议最具争议性的部分应该是其涉及了为超过51.3万ETH发行赎回代币的计划，即因合约代码库错误锁定在Parity多种签名钱包中的以太坊数量。
　　Parity团队表示无意通过争议性硬分叉的方式取回资金，因此，Van de Sande认为他的这项计划将会让受害者(包括大多数以太坊核心开发者)成为这个新基金的利益相关者。这样一来，这个保险池的创立将更有机会引起更多人的关注。