Tim Monad Menemukan Bug Keamanan yang Terlewatkan oleh Claude Opus dan Codex Menggunakan Verifikasi Formal

MON-0,93%

Menurut Foresight News, tim Category Labs milik Monad baru-baru ini membagikan temuan dari verifikasi formal blockchain Monad, yang mengungkap beberapa kerentanan keamanan yang gagal diidentifikasi oleh model AI canggih termasuk Claude Opus 4.8 dan Codex selama peninjauan kode.

Bug yang ditemukan melibatkan desain Reserve Balance dalam mekanisme eksekusi asinkron Monad dan masalah perilaku C++ yang tidak terdefinisi dalam optimasi penyimpanan MIP-8. Tim menunjukkan bahwa verifikasi formal berhasil menangkap cacat ini, menyoroti bagaimana menentukan proposisi kebenaran yang tepat sebelum meminta AI menemukan contoh tandingan lebih efektif dalam mengungkap kerentanan tersembunyi daripada permintaan peninjauan kode langsung.

Penafian: Informasi di halaman ini mungkin berasal dari sumber pihak ketiga dan hanya untuk referensi. Ini tidak mewakili pandangan atau pendapat Gate dan bukan merupakan nasihat keuangan, investasi, atau hukum. Perdagangan aset virtual melibatkan risiko tinggi. Mohon jangan hanya mengandalkan informasi di halaman ini saat membuat keputusan. Untuk detailnya, lihat Penafian.
Komentar
0/400
Tidak ada komentar