一個原因是智能合約是不可逆的，這意味著一旦將它們部署到主網絡里，你就無法升級或修改它們。因此在部署和使用智能合約之前，需要保證一切都不會出錯。而且，智能合約是可公開訪問的，存儲在智能合約里的內容對任何人可見；每個人都可以調用智能合約里的公開方法。這帶來了開放性和透明性，但也會吸引黑客攻擊智能合約。
無論你多么小心謹慎，寫出一個沒有 bug 和完全可信的智能合約都是十分困難的。此外，在
以太坊上，由 EVM 指令的設計方式，驗證 EVM 代碼也很困難。因此在以太坊上很難找到一種形式化驗證的解決方案。但無論如何，形式化驗證都是一種減少 bug 和攻擊的強有力手段。比起傳統方法（如代碼測試和同行審查），它在很大程度上可以保證正確性。我們急切地需要一種更好的解決方案。
版權申明：本內容來自于互聯網，屬第三方匯集推薦平臺。本文的版權歸原作者所有，文章言論不代表鏈門戶的觀點，鏈門戶不承擔任何法律責任。如有侵權請聯系QQ：3341927519進行反饋。
