【Laporan Audit Transparansi Lengkap Rencana Keamanan Aave V4 yang Diterbitkan oleh Aave Labs】

Berita BlockBeats, tanggal 5 Maret, menurut informasi resmi, Aave Labs merilis laporan transparansi lengkap tentang Rencana Keamanan Aave V4, mencakup metode, proses, dan hasilnya, dengan dukungan dari beberapa lembaga keamanan seperti Trail of Bits, Blackthorn, Certora, dan lainnya. Melalui audit manual, verifikasi formal, pengujian invariansi, pengujian fuzz, serta kompetisi keamanan terbuka, telah dilakukan sekitar 345 hari pemeriksaan keamanan secara kumulatif. Rencana ini didukung oleh anggaran keamanan khusus sebesar 1,5 juta dolar yang disetujui oleh DAO. Aave Labs mengumumkan akan melanjutkan lima komitmen inti dari Rencana Keamanan Aave V4: mengintegrasikan verifikasi formal sejak tahap pengembangan awal untuk memastikan bahwa arsitektur dirancang dengan panduan metode keamanan, bukan hanya untuk verifikasi; mengadopsi pendekatan keamanan berlapis, termasuk tinjauan manual, verifikasi formal, pengujian invariansi, pemeriksaan berbantuan AI, pengujian fuzz, dan kompetisi keamanan terbuka, guna menutupi lebih banyak potensi kerentanan; menjaga cakupan keamanan yang berkelanjutan, kerangka kerja verifikasi formal dan suite pengujian invariansi akan terus berjalan seiring iterasi protokol; menetapkan program bounty kerentanan jangka panjang untuk memanfaatkan komunitas keamanan yang lebih luas dalam menyediakan pemantauan berkelanjutan; serta mengoptimalkan kemampuan pemindaian AI, dengan terus meningkatkan tingkat deteksi keamanan cerdas untuk versi mendatang berdasarkan pengalaman pengujian yang ada.