1/6 🧵 Ho appena ottenuto un premio di $25.000 per aver trovato un bug critico utilizzando la verifica formale! su un contratto appena distribuito. Grazie a @gegul_' Il bug era così sottile che i test tradizionali lo hanno completamente trascurato. Ecco perché il metodo di @CertoraInc è un cambiamento.