EVM FV 工具的發展相當不錯。 我對 @CertoraInc 和 @CyfrinAudits 這樣的團隊在 2-4 週內能達成的成就感到驚喜。 現在我們需要讓它變得更加可及和可擴展。

我寧願支付一個優質的 FV 套件的費用，而不是三次來自頂尖公司的審計，前者給我的保證要好得多。