EVM FV ツールはかなり良くなってきています。 @CertoraInc & @CyfrinAudits のようなチームが 2-4 週間で達成できることには嬉しい驚きを感じています 今、私たちはそれをさらにアクセスしやすく、スケーラブルにする必要があります。

私はトップ企業からの 1 つの監査よりも、3 つの優れた FV スイートにお金を払いたいと思っています。