1/6 🧵 刚刚通过形式验证在新部署的合约中发现了一个关键漏洞，获得了25,000美元的赏金！感谢@gegul_的支持。 这个漏洞非常微妙，传统测试完全错过了它。这就是为什么@CertoraInc的方法是改变游戏规则的。