Aave Labs mengumumkan rencana keamanan V4: total 345 hari audit dan anggaran keamanan sebesar 1,5 juta dolar

Odaily Planet Daily melaporkan bahwa Aave Labs mengumumkan kerangka keamanan untuk Aave V4, yang mengusung model pengembangan “prioritas keamanan”, dengan memasukkan verifikasi keamanan sejak tahap perancangan arsitektur, bukan hanya melakukan audit akhir sebelum peluncuran. Rencana keamanan ini berlangsung selama sekitar satu tahun, dengan total sekitar 345 hari pemeriksaan keamanan, dan dana berasal dari anggaran keamanan sebesar 1,5 juta dolar AS yang disetujui oleh Aave DAO. Diketahui bahwa proses keamanan V4 menggabungkan verifikasi formal, audit manusia, pengujian invariansi, pengujian fuzzing, serta kompetisi keamanan terbuka, dan ke depannya pengembangan protokol akan terus menerapkan lima langkah keamanan jangka panjang, termasuk memperkenalkan verifikasi formal sejak awal pengembangan, menerapkan metode audit keamanan berlapis, mekanisme verifikasi berkelanjutan, program bounty kerentanan jangka panjang, serta memanfaatkan AI untuk pemindaian keamanan kontrak pintar. (The Block)