Aave Labs menerbitkan laporan keamanan V4: 345 hari tinjauan menyeluruh selesai
Detail tinjauan: Aave Labs secara resmi menerbitkan laporan transparansi program keamanan Aave V4, setelah sekitar 345 hari tinjauan keamanan mendalam.
Dukungan berbagai pihak: Program ini didukung oleh lembaga-lembaga terkemuka seperti Trail of Bits, Blackthorn, Certora, dan disetujui oleh DAO dengan anggaran khusus sebesar 1,5 juta dolar.
Metode teknis: Menggunakan berbagai metode termasuk audit manual, verifikasi formal, pengujian invariant, pengujian fuzzing, dan kompetisi keamanan publik untuk memastikan keamanan protokol.
Komitmen inti: Aave Labs berkomitmen untuk melanjutkan lima prinsip keamanan, termasuk menyematkan verifikasi formal di awal pengembangan, pendekatan keamanan berlapis, cakupan keamanan berkelanjutan, program penghargaan bug jangka panjang, dan meningkatkan kemampuan pemindaian AI.