Las herramientas EVM FV se están volviendo bastante buenas. Estoy gratamente sorprendido por lo que equipos como @CertoraInc y @CyfrinAudits pueden lograr en 2-4 semanas Ahora tenemos que hacerlo aún más accesible y escalable.

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