Aave Labs เปิดตัวรายงานการตรวจสอบความโปร่งใสอย่างสมบูรณ์สำหรับโปรแกรมความปลอดภัยของ Aave V4

ChainCatcher รายงานว่า ตามข่าวอย่างเป็นทางการ Aave Labs ได้เผยแพร่รายงานความโปร่งใสอย่างสมบูรณ์เกี่ยวกับแผนความปลอดภัยของ Aave V4 ซึ่งครอบคลุมวิธีการ กระบวนการ และผลลัพธ์ โดยได้รับการรับรองร่วมจากหน่วยงานด้านความปลอดภัยหลายแห่ง เช่น Trail of Bits, Blackthorn และ Certora ได้ดำเนินการตรวจสอบความปลอดภัยรวมประมาณ 345 วันผ่านการตรวจสอบด้วยมือ การตรวจสอบเชิงรูปนิยม การทดสอบอสมการ การทดสอบแบบฟัซซี่ และการแข่งขันด้านความปลอดภัยแบบเปิดเผย แผนการนี้ได้รับการสนับสนุนจากงบประมาณด้านความปลอดภัยเฉพาะทางจำนวน 1.5 ล้านดอลลาร์สหรัฐที่ได้รับการอนุมัติจาก DAO Aave Labs ประกาศว่าจะสืบทอดห้าข้อผูกพันหลักจากแผนความปลอดภัยของ Aave V4: การฝังการตรวจสอบเชิงรูปนิยมตั้งแต่ระยะเริ่มต้นของการพัฒนา เพื่อให้การออกแบบสถาปัตยกรรมได้รับคำแนะนำจากวิธีการด้านความปลอดภัย ไม่ใช่แค่การยืนยัน; การใช้วิธีการด้านความปลอดภัยแบบชั้นวาง ซึ่งรวมถึงการทบทวนด้วยมือ การตรวจสอบเชิงรูปนิยม การทดสอบอสมการ การตรวจสอบที่ช่วยด้วย AI การทดสอบแบบฟัซซี่ และการแข่งขันด้านความปลอดภัยแบบเปิดเผย เพื่อครอบคลุมช่องโหว่ที่เป็นไปได้มากขึ้น; การรักษาการปกป้องความปลอดภัยอย่างต่อเนื่อง โดยกรอบการตรวจสอบเชิงรูปนิยมและชุดการทดสอบอสมการจะทำงานต่อไปพร้อมกับการอัปเดตของโปรโตคอล; การจัดตั้งโปรแกรมรางวัลสำหรับผู้รายงานช่องโหว่ระยะยาว เพื่อใช้ชุมชนด้านความปลอดภัยที่กว้างขวางกว่าในการตรวจสอบอย่างต่อเนื่อง; และการปรับปรุงความสามารถในการสแกนด้วย AI โดยอิงจากประสบการณ์การทดสอบที่ผ่านมาเพื่อเพิ่มระดับการตรวจจับความปลอดภัยอัจฉริยะในเวอร์ชันอนาคตอย่างต่อเนื่อง