Mythos Versi Publik Diluncurkan Secara Resmi: Mengurai Keunggulan dan Keterbatasan Audit Kontrak Cerdas AI
Sumber: Beosin
Pada 9 Juni, Anthropic secara resmi meluncurkan versi publik Mythos Claude Fable 5. Fable 5 menunjukkan kemampuan luar biasa dalam menemukan kerentanan keamanan yang tersembunyi, seperti yang terlihat dalam insiden Zcash, di mana model AI berhasil mengungkap bug serius yang lolos dari audit manual selama empat tahun dalam waktu singkat.
**Keunggulan Audit AI** terbukti dalam skenario seperti deteksi **tabrakan slot penyimpanan (*storage slot collision*)**. Contohnya, ketika komponen `rewards mapping` bertabrakan dengan slot tetap `ReentrancyGuard` dari pustaka Solady, AI dapat dengan cepat memetakan tata letak penyimpanan dan mengidentifikasi tabrakan yang sangat tersembunyi ini, sesuatu yang mudah terlewatkan dalam audit manual. AI sangat efisien dalam pencocokan pola kode, penyaringan awal massal, dan analisis kerentanan sintaksis dalam kontrak tunggal.
Namun, **Kelemahan Audit AI** masih tampak dalam menghadapi **kerentanan semantik kombinasi lintas protokol**. Misalnya, dalam serangan terhadap Curve LlamaLend sDOLA, yang melibatkan beberapa kontrak (crvUSD Controller.vy, sDOLA.sol, dll.), Fable 5 gagal mengidentifikasi vektor serangan inti. Serangan ini memanfaatkan interaksi beberapa protokol DeFi (seperti memanipulasi harga pool melalui *flash loan* untuk memicu likuidasi) dan membutuhkan pemahaman mendalam tentang model ekonomi dan logika bisnis ekosistem yang kompleks—area di mana AI saat ini masih terbatas.
Kesimpulannya, **Fable 5 sangat efektif** untuk menemukan bug tersembunyi dalam sintaksis, logika kontrak tunggal, dan tabrakan penyimpanan. Namun, untuk kerentanan kombinasi kompleks, logika bisnis lintas kontrak, dan model ekonomi DeFi, **analisis ahli keamanan manusia** masih sangat penting. Pendekatan terbaik adalah **kombinasi sinergis antara AI dan auditor pakar**, di mana AI menangani penyaringan awal dan analisis mendetail, sementara manusia fokus pada konteks bisnis yang rumit dan potensi serangan kombinasi, sehingga meningkatkan efisiensi dan kedalaman audit secara keseluruhan.
marsbit2 hari yang lalu 08:07