Cannes, Pháp, ngày 30 tháng 3 năm 2026, Chainwire
Được xây dựng qua sáu năm hợp tác, Certora và Aave đã nhúng bảo mật trực tiếp vào kiến trúc của Aave V4, tạo nên một trong những khung bảo mật mạnh nhất trong DeFi.
Certora, nhà cung cấp hàng đầu về công cụ kiểm chứng hình thức và kiểm toán hợp đồng thông minh cho các giao thức Web3, công bố chi tiết về khung bảo mật được phát triển cùng với Aave Labs để bảo vệ Aave V4, thế hệ tiếp theo của một trong những giao thức cho vay lớn nhất trong tài chính phi tập trung.
“Các giao thức DeFi ngày càng vận hành ở quy mô và mức độ phức tạp tương đương hạ tầng tài chính truyền thống,” ông Mooly Sagiv, Nhà sáng lập kiêm Giám đốc Khoa học của Certora cho biết. “Bảo mật không còn có thể chỉ dựa vào các đợt kiểm toán tại một thời điểm. Với Aave V4, chúng tôi làm việc cùng các kỹ sư trong suốt quá trình phát triển, liên tục kiểm chứng các thuộc tính hệ thống quan trọng để đảm bảo giao thức vận hành chính xác như dự định.”
Thay vì chỉ tham gia giai đoạn cuối của quá trình phát triển, Certora đã tham gia nỗ lực phát triển Aave V4 hơn một năm trước khi ra mắt. Làm việc sát sao với các kỹ sư Aave, đội ngũ đã rà soát kiến trúc hệ thống, các tuyến đường quản trị và các giả định kinh tế ngay từ giai đoạn thiết kế ban đầu, cho phép các cân nhắc về bảo mật định hình cấu trúc giao thức từ đầu.
Công việc này dựa trên mối quan hệ giữa Certora và Aave kéo dài hơn sáu năm và qua nhiều phiên bản giao thức. Xuyên suốt quá trình phát triển Aave V4, các nhà nghiên cứu của Certora làm việc cùng các kỹ sư Aave để áp dụng kiểm chứng hình thức liên tục, kiểm thử đối kháng và kiểm toán thủ công nhằm phát hiện sớm vấn đề và củng cố hệ thống trước khi triển khai.
Trong suốt quá trình phát triển, Certora áp dụng kiểm chứng hình thức, một phương pháp toán học dùng để chứng minh phần mềm đáp ứng các thuộc tính bảo mật cụ thể. Phạm vi hợp tác bao gồm:
- Kiểm chứng các cam kết trọng yếu của giao thức, bao gồm bảo toàn tài sản, quy tắc thế chấp, tính đúng đắn của thanh lý, an toàn quyền hạn, bảo mật nâng cấp và tính nhất quán giữa các thị trường
- Rà soát thủ công liên tục bởi các kiểm toán viên cấp cao am hiểu sâu về giao thức cho vay, hệ thống oracle, cơ chế quản trị và các mô hình tấn công DeFi
- Một cuộc thi bảo mật quy mô lớn với các nhà nghiên cứu độc lập, nơi không phát hiện lỗ hổng nghiêm trọng hay tác động cao nào, mang lại sự xác thực bổ sung cho kiến trúc bảo mật của giao thức.
Trong khuôn khổ quan hệ hợp tác dài hạn này, Certora và Aave đã bảo vệ nhiều thế hệ giao thức và hàng tỷ đô la thanh khoản on-chain, bao gồm:
- 169 hợp đồng thông minh đã được rà soát
- Hơn 51.000 dòng mã được phân tích
- Hơn 800 quy tắc kiểm chứng hình thức được tạo và kiểm thử liên tục
- 28 lỗ hổng nghiêm trọng được ngăn chặn trước khi triển khai.
Khi tài chính phi tập trung tiếp tục trưởng thành và thu hút dòng vốn tổ chức, các cam kết bảo mật mạnh mẽ hơn đang trở thành điều kiện tiên quyết cho việc áp dụng ở quy mô lớn. Công việc của Certora với Aave phản ánh xu hướng rộng hơn trong ngành hướng tới kỹ nghệ bảo mật liên tục. Chỉ riêng trong năm 2025, Certora đã giúp secure 196,5 tỷ đô la tổng giá trị khóa lại trên các giao thức DeFi và ngăn hơn 720 lỗ hổng lọt vào môi trường sản xuất.
Để biết thêm thông tin, vui lòng truy cập certora.com/blog/certora-x-aavev4 hoặc theo dõi @Certora.
Về Certora
Certora là đối tác đảm bảo bảo mật được các đội ngũ tiên tiến nhất trong Web3 tin cậy. Thành lập năm 2018 bởi các nhà tiên phong trong lĩnh vực ngôn ngữ lập trình và phương pháp hình thức, Certora hỗ trợ các giao thức hàng đầu như Lido, Aave, Uniswap và Compound bảo vệ hàng tỷ giá trị tài sản một cách vững chắc.
Liên hệ
PR Manager
Aarya Shah
[email protected]