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

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

>>阅读原文<<