智能合约安全分析 简述

智能合约背景

以太坊正在被打造成一种能在单一平台上实现多种可能性的区块链生态系统，而智能合约是为了让人们在平台上实现更深层次的开发而设计的。
智能合约的价值主要是因为它可以与区块链发生关系，数据来源于区块链链上，执行在链上，输出结果在区块链上，而区块链上承载着一个国家的法律，这是区块链被称为“主权区块链”的原因。智能合约与区块链的结合形成了智能合约法规自动执行系统。

智能合约安全分析的原因

智能合约本质是一段运行在区块链网络上的代码，在设计和开发的过程中，不可避免的出现漏洞，部署在公链上的智能合约，由于暴露在开放网络上，容易被黑客获得，成为攻击目标，而智能合约又是不可逆的，如果出了问题，可不是给客服打电话就能解决的，也不是修复bug就有效的，区块链行业中很多人经历过 The DAO 事件，一小段时间内，大家眼睁睁看着黑客不断的把大家智能合约中的钱转走，教训很惨痛。对于区块链领域，代码即法律，代码控制着我们的数字身份，控制着我们的智能合约中的资金，因此保证智能合约的安全是非常重要的。
In contrast to classical distributed applications that can be patched when bugs are detected, smart contracts are irreversible and immutable. There is no way to patch a buggy contract, regardless of its popularity or how much money it has, without reversing the
blockchain(a formidable task).

在这样的