智能合约是一种旨在以信息化方式传播、验证或执行合同的计算机协议。智能合约允许在没有第三方的情况下进行可信交易,这些交易可追踪且不可逆转。然而,智能合约不可篡改 的特点,在为互不信任的用户之间提供信任基础的同时,同时也会带来一些严峻的问题:当智能合约面对较为复杂的应用场景时,通常很难保证在审计和测试的过程中能够发现智能 合约代码中所有的安全问题,一旦已经被部署到区块链上的智能合约出现了问题,将可能会带来不可预计的损失。2016年以太坊上所发生的TheDAO合约事件由于代码中潜...