ini dalam audit pribadi Cyfrin baru-baru ini, hal hebat @alexzoid_eth!
alexzoid
alexzoid28 Agu 2025
Dalam keterlibatan pribadi sebelumnya dengan auditor, properti negara yang valid Verifikasi Formal @CertoraInc saya menangkap CRIT dalam perakitan protokol pinjaman yang kompleks, terlewatkan oleh tinjauan manual. Bukti yang jelas tentang nilai FV dalam melengkapi fuzzing dan audit klasik.
2,87K