Die EVM FV-Tools werden ziemlich gut. Ich bin angenehm überrascht, was Teams wie @CertoraInc und @CyfrinAudits in 2-4 Wochen erreichen können. Jetzt müssen wir es noch zugänglicher und skalierbarer machen.

Ich zahle lieber für 1 gute FV-Suite als für 3 Prüfungen von Top-Firmen, die erste gibt mir viel bessere Garantien.