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

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