1/6 🧵 剛剛通過形式驗證在新部署的合約中發現了一個關鍵漏洞，獲得了25,000美元的賞金！感謝@gegul_的支持。 這個漏洞非常微妙，傳統測試完全錯過了它。這就是為什麼@CertoraInc的方法是改變遊戲規則的。