EVM FV 工具正在变得相当不错。 我对像 @CertoraInc 和 @CyfrinAudits 这样的团队在 2-4 周内能取得的成就感到惊喜。 现在我们需要让它变得更加可访问和可扩展。

我宁愿为一个好的 FV 套件付费，而不是为三次顶级公司的审计付费，因为前者给我提供了更好的保障。