區塊鏈研究實驗室|形式驗證如何幫助防止Gridlock錯誤

最近在Edgeware的Lockdrop智能合約中發現了一個隱藏的DoS錯誤（稱爲Gridlock），該合約已鎖定了價值數億美元的以太幣。 由於存在此錯誤，Edgeware必須重新部署合約的穩定版本。因此，當前在主網上並行存在兩個Lockdrop合約（舊版本和新版本）。（這意味着您可以向這兩個合約中的任何一個發送交易以鎖定您的以太幣，直到舊的合約遭到攻擊並無法使用爲止。） 在本文中，我們將回顧Gr

>>阅读原文<<