Aave Labs เปิดเผยแผนความปลอดภัย V4: ตรวจสอบทั้งหมด 345 วันและใช้งบประมาณความปลอดภัย 1.5 ล้านดอลลาร์

Odaily Aave Labs ได้เปิดเผยกรอบความปลอดภัยของ Aave V4 โดยเสนอรูปแบบการพัฒนาแบบ "ความปลอดภัยเป็นอันดับแรก" ซึ่งฝังการตรวจสอบความปลอดภัยในขั้นตอนการออกแบบสถาปัตยกรรม แทนที่จะทำการตรวจสอบขั้นสุดท้ายก่อนการเปิดตัวเท่านั้น แผนความปลอดภัยนี้ดำเนินการประมาณหนึ่งปี โดยเสร็จสิ้นการตรวจสอบความปลอดภัยประมาณ 345 วัน โดยใช้เงินทุนจากงบประมาณความปลอดภัย 1.5 ล้านดอลลาร์ที่ได้รับการอนุมัติจาก Aave DAO ตามรายงาน กระบวนการความปลอดภัย V4 รวมวิธีการตรวจสอบหลายชั้น เช่น การตรวจสอบอย่างเป็นทางการ (formal verification) การตรวจสอบโดยมนุษย์ การทดสอบค่าคงที่ (invariant testing) การทดสอบแบบฟัซซิง (fuzzing) และการแข่งขันความปลอดภัยสาธารณะ การพัฒนาพรอโทคอลในอนาคตจะยังคงใช้มาตรการความปลอดภัยระยะยาวห้าประการ ได้แก่ การนำการตรวจสอบอย่างเป็นทางการมาใช้ในระยะเริ่มต้นของการพัฒนา การดำเนินการตรวจสอบความปลอดภัยแบบหลายชั้น กลไกการตรวจสอบอย่างต่อเนื่อง โปรแกรมรางวัลช่องโหว่ระยะยาว และการใช้ AI ช่วยในการสแกนความปลอดภัยของสัญญาอัจฉริยะ (The Block)