Les outils EVM FV s'améliorent considérablement. Je suis agréablement surpris par ce que des équipes comme @CertoraInc et @CyfrinAudits peuvent réaliser en 2 à 4 semaines. Maintenant, nous devons les rendre encore plus accessibles et évolutifs.

Je préfère payer pour 1 bonne suite FV plutôt que pour 3 audits de grandes entreprises, la première me donne beaucoup meilleures garanties.