Perkakas EVM FV semakin bagus. Saya terkejut dengan apa yang dapat dicapai oleh tim seperti @CertoraInc & @CyfrinAudits dalam 2-4 minggu Sekarang kita perlu membuatnya lebih mudah diakses dan dapat diskalakan.

Saya lebih suka membayar untuk 1 suite FV yang bagus daripada 3 audit dari perusahaan terkemuka, yang pertama memberi saya jaminan yang jauh lebih baik.