1/6 🧵 Baru saja mendapatkan hadiah $25.000 untuk menemukan bug kritis menggunakan verifikasi formal! pada kontrak yang baru diterapkan Berkat @gegul_ Bug itu sangat halus sehingga pengujian tradisional telah melewatkannya sepenuhnya. Inilah sebabnya mengapa metode @CertoraInc berubah
7,08K