区块链研究实验室|形式验证如何帮助防止Gridlock错误_最近在Edgeware的Lockdrop智能合约中发

----区块链研究实验室|形式验证如何帮助防止Gridlock错误//---- http://

"multi_version":false

最近在Edgeware的Lockdrop智能合约中发现了一个隐藏的DoS错误（称为Gridlock），该合约已锁定了价值数亿美元的以太币。由于存在此错误， Edgeware必须重新部署合约的稳定版本。因此，当前在主网上并行存在两个Lockdrop合约（旧版本和新版本）。（这意味着您可以向这两个合约中的任何一个发送交易以锁定您的以太币，直到旧的合约遭到攻击并无法使用为止。）

在本文中，我们将回顾Gridlock错误，并讨论形式验证如何有助于防止此类错误。

正如Neil McLaren的博客文章中所描述的那样，这个错误源于一个错误的（但非常合理的）假设，即新创建的帐户余额总是为零。