1/6 🧵 正式な検証を使用して重大なバグを見つけたとして、25,000 ドルの報奨金を確保しました。新しくデプロイされたコントラクトで@gegul_の このバグは非常に微妙だったため、従来のテストでは完全に見逃されていました。これが、@CertoraInc方法がチェンジャーである理由です
7.07K