1/6 🧵 Zojuist een beloning van $25.000 veiliggesteld voor het vinden van een kritieke bug met behulp van formele verificatie! op een nieuw geïmplementeerd contract. Dank aan @gegul_' De bug was zo subtiel dat traditionele tests het volledig hebben gemist. Dit is waarom de methode van @CertoraInc een game changer is.