Aave V4 hoàn thànhการตรวจสอบความปลอดภัยเป็นเวลา 345 วัน โดยไม่พบช่องโหว่ร้ายแรงใดๆ

Aave Labs ได้ประกาศเมื่อไม่นานมานี้ว่า Aave V4 ได้ผ่านการตรวจสอบความปลอดภัยอย่างครอบคลุมเป็นเวลาประมาณ 345 วัน โดยมีการลงทุนรวม 1.5 ล้านดอลลาร์สหรัฐ โครงการนี้ใช้กลยุทธ์ “ความปลอดภัยเป็นอันดับแรก” โดยเริ่มต้นตั้งแต่ขั้นตอนการออกแบบสถาปัตยกรรมด้วยการควบคุมความปลอดภัยแบบหลายชั้น การตรวจสอบความปลอดภัยรวมถึงการตรวจสอบด้วยมือ การพิสูจน์เชิงรูปแบบ การทดสอบอสมการ การทดสอบแบบฟัซซี่ และการแข่งขันความปลอดภัยแบบเปิดเผยเป็นเวลาหกสัปดาห์ ซึ่งดึงดูดผู้เข้าร่วมกว่า 900 คนส่งรายงานมากกว่า 950 ฉบับ ผลการตรวจสอบแสดงว่าหน่วยงานตรวจสอบหลักทั้งหมด (รวมถึง ChainSecurity, Trail of Bits และ Blackthorn) ไม่พบช่องโหว่ระดับความรุนแรงสูง Aave V4 ใช้การออกแบบศูนย์กลางและโมดูลแขนงแบบใหม่ ทำให้ฐานรหัสโปรแกรมเล็กลงเมื่อเทียบกับ V3 และเพิ่มประสิทธิภาพในการตรวจสอบ Aave Labs ระบุว่าจะยังคงรักษากรอบการพิสูจน์เชิงรูปแบบและชุดการทดสอบอสมการ และมีแผนจัดตั้งโปรแกรมรางวัลสำหรับผู้รายงานช่องโหว่อย่างต่อเนื่อง เพื่อให้มั่นใจในความปลอดภัยระยะยาวของโปรโตคอล