คานส์ ฝรั่งเศส 30 มีนาคม 2026 Chainwire
จากความร่วมมือที่ต่อเนื่องยาวนานหกปี Certora และ Aave ได้ฝังความปลอดภัยเข้าไปในสถาปัตยกรรมของ Aave V4 โดยตรง สร้างหนึ่งในกรอบการรักษาความปลอดภัยที่แข็งแกร่งที่สุดใน DeFi
Certora ผู้ให้บริการชั้นนำด้านเครื่องมือพิสูจน์แบบรูปนัย (formal verification) และการตรวจสอบสัญญาอัจฉริยะสำหรับโปรโตคอล Web3 เปิดเผยรายละเอียดของกรอบการรักษาความปลอดภัยที่พัฒนาร่วมกับ Aave Labs เพื่อปกป้อง Aave V4 เจเนอเรชันถัดไปของหนึ่งในโปรโตคอลให้กู้ยืมขนาดใหญ่ที่สุดของการเงินแบบกระจายศูนย์
“โปรโตคอล DeFi กำลังดำเนินงานที่ระดับขนาดและความซับซ้อนเทียบเท่าโครงสร้างพื้นฐานทางการเงิน” Mooly Sagiv ผู้ก่อตั้งและหัวหน้านักวิทยาศาสตร์ของ Certora กล่าว “ความปลอดภัยไม่สามารถพึ่งพาการตรวจสอบเพียงจุดเวลาใดเวลาหนึ่งได้อีกต่อไป กับ Aave V4 เราทำงานเคียงข้างวิศวกรตลอดกระบวนการพัฒนา ตรวจสอบคุณสมบัติสำคัญของระบบอย่างต่อเนื่องเพื่อให้แน่ใจว่าโปรโตคอลทำงานได้ตรงตามที่ออกแบบไว้”
แทนที่จะเข้ามามีส่วนร่วมในช่วงท้ายของการพัฒนา Certora เข้าร่วมโครงการ Aave V4 มากกว่าหนึ่งปีก่อนการเปิดตัว โดยทำงานใกล้ชิดกับวิศวกรของ Aave ทีมงานได้ทบทวนสถาปัตยกรรมระบบ เส้นทางกำกับดูแล และสมมติฐานด้านเศรษฐศาสตร์ตั้งแต่ระยะเริ่มออกแบบ ทำให้ประเด็นด้านความปลอดภัยมีอิทธิพลต่อโครงสร้างของโปรโตคอลตั้งแต่ต้น
งานนี้สืบเนื่องจากความสัมพันธ์ระหว่าง Certora และ Aave ที่ยาวนานกว่าหกปี ครอบคลุมหลายเวอร์ชันของโปรโตคอล ตลอดการพัฒนา Aave V4 นักวิจัยของ Certora ทำงานร่วมกับวิศวกรของ Aave เพื่อประยุกต์ใช้การพิสูจน์แบบรูปนัยอย่างต่อเนื่อง การทดสอบเชิงปฏิปักษ์ และการตรวจสอบแบบแมนนวล เพื่อค้นหาประเด็นปัญหาตั้งแต่เนิ่นๆ และเสริมความแข็งแกร่งให้ระบบก่อนนำขึ้นใช้งานจริง
ตลอดช่วงการพัฒนา Certora ใช้การพิสูจน์แบบรูปนัย ซึ่งเป็นแนวทางทางคณิตศาสตร์ที่ใช้พิสูจน์ว่าโปรแกรมซอฟต์แวร์เป็นไปตามคุณสมบัติด้านความปลอดภัยที่กำหนดไว้ การมีส่วนร่วมในครั้งนี้ประกอบด้วย:
- การพิสูจน์คุณรับประกันหลักของโปรโตคอล รวมถึงการอนุรักษ์สินทรัพย์ กฎการค้ำประกัน ความถูกต้องของการลิควิดเดชัน ความปลอดภัยของสิทธิ์การเข้าถึง ความปลอดภัยของการอัปเกรด และความสอดคล้องระหว่างมาร์เก็ตต่างๆ
- การทบทวนโค้ดด้วยมืออย่างต่อเนื่องโดยผู้ตรวจสอบอาวุโสที่เชี่ยวชาญด้านโปรโตคอลให้กู้ยืม ระบบ oracle กลไกกำกับดูแล และรูปแบบการโจมตีใน DeFi
- การแข่งขันความปลอดภัยภายนอกขนาดใหญ่ที่เปิดกว้างให้นักวิจัยอิสระเข้าร่วม ซึ่งไม่พบช่องโหว่ระดับวิกฤตหรือมีผลกระทบสูง เป็นการยืนยันเพิ่มเติมถึงความแข็งแกร่งของสถาปัตยกรรมความปลอดภัยของโปรโตคอล
ตลอดความร่วมมือระยะยาวนี้ Certora และ Aave ได้ช่วยปกป้องโปรโตคอลหลายเจเนอเรชันและสภาพคล่องบนเชนมูลค่าหลายพันล้านดอลลาร์ รวมถึง:
- ตรวจสอบสัญญาอัจฉริยะ 169 ฉบับ
- วิเคราะห์โค้ดมากกว่า 51,000 บรรทัด
- สร้างและทดสอบกฎการพิสูจน์แบบรูปนัยมากกว่า 800 กฎอย่างต่อเนื่อง
- ป้องกันช่องโหว่สำคัญ 28 รายการก่อนการนำขึ้นใช้งานจริง
เมื่อการเงินแบบกระจายศูนย์เติบโตสู่ความเป็นผู้ใหญ่และดึงดูดเงินทุนสถาบันมากขึ้น การมีหลักประกันด้านความปลอดภัยที่แข็งแกร่งยิ่งขึ้นกำลังกลายเป็นเงื่อนไขสำคัญสำหรับการยอมรับในวงกว้าง งานของ Certora กับ Aave สะท้อนให้เห็นถึงการเปลี่ยนผ่านในอุตสาหกรรมไปสู่แนวปฏิบัติด้านวิศวกรรมความปลอดภัยอย่างต่อเนื่อง ในปี 2025 เพียงปีเดียว Certora ช่วย secure มูลค่ารวมที่ล็อกไว้ในโปรโตคอล DeFi กว่า 196.5 พันล้านดอลลาร์ และป้องกันไม่ให้ช่องโหว่มากกว่า 720 รายการไปถึงสภาพแวดล้อมการใช้งานจริง
หากต้องการข้อมูลเพิ่มเติม โปรดเยี่ยมชม certora.com/blog/certora-x-aavev4 หรือ ติดตาม @Certora
เกี่ยวกับ Certora
Certora เป็นพาร์ตเนอร์ด้านการรับรองความปลอดภัยที่ทีมระดับแนวหน้าใน Web3 ให้ความไว้วางใจ ก่อตั้งขึ้นในปี 2018 โดยผู้บุกเบิกด้านภาษาโปรแกรมและวิธีการแบบรูปนัย Certora ช่วยให้โปรโตคอลชั้นนำอย่าง Lido, Aave, Uniswap และ Compound ปกป้องมูลค่าหลายพันล้านดอลลาร์ได้อย่างมั่นใจ
ติดต่อ
ผู้จัดการฝ่ายประชาสัมพันธ์ (PR Manager)
Aarya Shah
[email protected]