Las herramientas de EVM FV están mejorando bastante. Me sorprende gratamente lo que equipos como @CertoraInc y @CyfrinAudits pueden lograr en 2-4 semanas. Ahora necesitamos hacerlas aún más accesibles y escalables.

Prefiero pagar por 1 buena suite FV que por 3 auditorías de las mejores firmas, la primera me ofrece muchas mejores garantías.