1/6 🧵 Acabei de garantir uma recompensa de $25.000 por encontrar um bug crítico usando verificação formal! em um contrato recém-implantado. Graças ao @gegul_' O bug era tão sutil que os testes tradicionais o perderam completamente. É por isso que o método da @CertoraInc é revolucionário.