Bug kontrak pintar mahal dan sulit ditangkap: 🔍 Fuzzing melewatkan input langka 📜 Verifikasi formal sulit digunakan Pada @EthCC saya mempresentasikan bagaimana di @CertoraInc kami menjelajahi Pemeriksaan Model Terbatas, jalan tengah praktis yang menemukan bug nyata yang dapat direproduksi dengan pengaturan minimal. 👇