ประเด็นสำคัญ:
- Certora ได้ทำการตรวจสอบสัญญาอัจฉริยะหลักของ Aave V4 อย่างเป็นทางการ เช่น โมดูล Liquidity Hub และ Spoke
- การตรวจสอบทำให้มั่นใจในความสมบูรณ์ทางบัญชี ความสามารถในการละลายของโปรโตคอล และการปฏิบัติตามกฎความปลอดภัยอย่างเป็นทางการ
- หลังจากการเปิดตัว V4 แล้ว Aave จะคงการตรวจสอบอย่างเป็นทางการ การตรวจสอบความปลอดภัยของ AI และโปรแกรมจับจุดบกพร่องต่อไป
ก่อนการเปิดตัว V4 นาฬิกาของ Aave กำลังเดินอยู่ และบริษัทรักษาความปลอดภัยบล็อกเชน Certora ได้เสร็จสิ้นการตรวจสอบสถาปัตยกรรมหลักของ Aave อย่างเป็นทางการแล้ว การทบทวนได้ตรวจสอบข้อกำหนดทางคณิตศาสตร์ที่ถูกต้องสำหรับสัญญาอัจฉริยะที่สำคัญ และ Aave ก็มีโครงการริเริ่มการพัฒนาที่กว้างขึ้นเกี่ยวกับการรักษาความปลอดภัยแบบชั้น
Certora ตรวจสอบโครงสร้างพื้นฐานหลักของ Aave V4
อาฟก็มี ประกาศแล้ว Certora ประสบความสำเร็จในการตรวจสอบ Aave V4 อย่างเป็นทางการ ซึ่งรวมถึง Liquidity Hub ของโปรโตคอล, Spoke Contract, Tokenization Spoke และไลบรารีทางคณิตศาสตร์ที่สนับสนุน Aave
Certora ได้ตรวจสอบ Aave V4 อย่างเป็นทางการแล้ว
กระบวนการนี้ครอบคลุมสัญญา Liquidity Hub และ Spoke พร้อมด้วยไลบรารีทางคณิตศาสตร์พื้นฐาน
การตรวจสอบยืนยันว่าการใช้งาน Solidity ในสัญญาของ V4 นั้นถูกต้องตามกฎที่เป็นทางการของ Certora pic.twitter.com/L8w454LAuc
– Aave (@aave) วันที่ 8 กรกฎาคม 2026
การตรวจสอบอย่างเป็นทางการมีวัตถุประสงค์ที่แตกต่างจากการตรวจสอบสัญญาอัจฉริยะแบบทั่วไปเช่นกัน ซึ่งก็คือการแสดงการพิสูจน์ทางคณิตศาสตร์ว่าตรรกะของสัญญาเป็นไปตามกฎความปลอดภัยเฉพาะ
Aave กล่าวว่าการตรวจสอบรับรองการใช้งาน Solidity ของสัญญาใน V4 ที่ถูกต้อง ซึ่งสอดคล้องกับข้อกำหนดเฉพาะของสัญญาอย่างเป็นทางการของ Certora เพิ่มความน่าเชื่อถือให้กับความถูกต้องทางบัญชี ความสามารถในการละลายของโปรโตคอล และความปลอดภัยในการดำเนินงาน
การประกาศดังกล่าวเป็นไปตามแนวโน้มการเติบโตอย่างต่อเนื่องของจำนวนเงินฝากที่ถูกล็อคไว้ในโปรโตคอล Aave V4 ก่อนที่จะมีการนำไปใช้ในวงกว้าง
อ่านเพิ่มเติม: Aave เปิดตัวการฟื้นตัวของ rsETH มูลค่า 71 ล้านดอลลาร์ เนื่องจากการโหวตของ DAO และคำสั่งศาลสอดคล้องกัน
ช่องโหว่ที่สำคัญได้รับการแก้ไขในระหว่างการพัฒนา
Certora พบปัญหาพื้นฐานกับ Liquidity Hub ในโปรโตคอลเวอร์ชันแรกๆ
ในขั้นตอนแรก การโอนสินทรัพย์จะดำเนินการโดยตรงผ่านฮับด้วย TransferFrom การออกแบบนี้ช่วยให้แน่ใจว่าสามารถตั้งค่าพารามิเตอร์ “จาก” และ “ถึง” ได้ ซึ่งหมายความว่าผู้โจมตีสามารถใช้โทเค็นที่อนุญาตก่อนหน้านี้ หรือแม้แต่บัญชี Hub เพื่อส่งและรับโทเค็นได้
ในกรณีนั้น ใครก็ตามสามารถสร้างเงินฝากหลักประกันที่ฉ้อโกงได้ ซึ่งจะขัดขวางการทำบัญชีของโปรโตคอลและความสามารถในการละลายทั้งหมดของระบบ
Certora ให้คำแนะนำในการจำกัดแหล่งโอนให้เฉพาะผู้โทรเริ่มแรก จากนั้นสถาปัตยกรรมได้รับการออกแบบใหม่โดย Aave Labs เพื่อให้การโอนสินทรัพย์ถูกถ่ายจาก Hub ไปยังสัญญา Spoke Certora ตรวจสอบการใช้งานใหม่และยืนยันว่าช่องโหว่ได้ถูกลบออกไปแล้ว
อ่านเพิ่มเติม: TRON และ HTX ทิ้งเงิน 20 ล้านเหรียญสหรัฐ USDT สำหรับ Cross-Chain ของ Aave
Aave ขยายกลยุทธ์การรักษาความปลอดภัยแบบหลายชั้น
การตรวจสอบอย่างเป็นทางการเป็นเพียงส่วนหนึ่งของโปรแกรมรักษาความปลอดภัยโดยรวมของ Aave
การตรวจสอบความปลอดภัยเริ่มต้นก่อนที่โค้ดจะพร้อมสำหรับการตรวจสอบ
Certora ร่วมมือกับทีมโดยเริ่มตั้งแต่ขั้นตอนการออกแบบช่วงแรกๆ ในการสนทนากับสถาปนิกแม้กระทั่งในสถานที่ในช่วงเดือนมีนาคม 2025
Aave ยังได้ดำเนินกระบวนการคัดเลือกการตรวจสอบโดยแข่งขัน โดยพิจารณาข้อเสนอมากกว่า 19 รายการจากบริษัทรักษาความปลอดภัย นักวิจัย และผู้ให้บริการเครื่องมือ โปรแกรมรักษาความปลอดภัยที่สมบูรณ์ยังต่ำกว่าที่ได้รับอนุมัติ 1.5 ล้านเหรียญสหรัฐ งบประมาณแม้ว่าต้นทุนการตรวจสอบจะเพิ่มขึ้นทั่วทั้งอุตสาหกรรมก็ตาม
การตรวจสอบอย่างต่อเนื่องจะดำเนินต่อไปหลังจากการเปิดตัว
แทนที่จะยุติความพยายามด้านความปลอดภัยเมื่อ V4 ใช้งานได้ Aave กล่าวว่ากรอบการตรวจสอบอย่างเป็นทางการจะดำเนินต่อไปควบคู่ไปกับการพัฒนาโปรโตคอล ทีมงานจะยังคงสนับสนุนการทดสอบแบบไม่แปรผัน ปรับปรุงการสแกนโค้ดด้วยฟีเจอร์ AI และใช้ความคิดริเริ่มในการให้รางวัลบั๊กที่กำลังดำเนินอยู่ เพื่อเสริมมาตรการที่ดำเนินการโดยโปรโตคอลในขณะที่ดำเนินการต่อไป
Aave หวังที่จะสร้างแนวทางการรักษาความปลอดภัยแบบหลายชั้นโดยมีส่วนร่วมในการตรวจสอบอย่างเป็นทางการ การตรวจสอบโดยเจ้าหน้าที่ การทดสอบแบบคลุมเครือ รางวัลข้อบกพร่องของชุมชน และอื่นๆ อีกมากมาย
