1/6 🧵 ¡Acabo de asegurar una recompensa de $25,000 por encontrar un error crítico utilizando verificación formal! en un contrato recién desplegado. Gracias a @gegul_' El error era tan sutil que las pruebas tradicionales lo han pasado por alto por completo. Por eso el método de @CertoraInc es un cambio.