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 @CertoraInc método é um trocador
7,07K