Aave V4 hoàn thành cuộc kiểm toán bảo mật 345 ngày mà không phát hiện lỗ hổng nghiêm trọng nào

Aave Labs vừa công bố rằng giao thức Aave V4 đã hoàn thành cuộc đánh giá bảo mật toàn diện kéo dài khoảng 345 ngày với tổng chi phí lên tới 1,5 triệu USD. Dự án áp dụng chiến lược “bảo mật là ưu tiên hàng đầu”, triển khai các kiểm soát bảo mật đa lớp ngay từ giai đoạn thiết kế kiến trúc. Đánh giá bảo mật bao gồm kiểm tra thủ công, xác minh hình thức, kiểm tra bất biến, kiểm tra mờ và một cuộc thi bảo mật công khai kéo dài sáu tuần, thu hút hơn 900 người tham gia nộp hơn 950 báo cáo. Kết quả kiểm toán cho thấy tất cả các tổ chức kiểm toán chính (bao gồm ChainSecurity, Trail of Bits và Blackthorn) đều không phát hiện lỗ hổng mức độ nghiêm trọng cao. Aave V4 sử dụng thiết kế mô-đun trung tâm và nhánh hoàn toàn mới, giúp thư viện mã nhỏ hơn so với V3, tăng hiệu quả kiểm toán. Aave Labs cho biết sẽ tiếp tục duy trì khung xác minh hình thức và bộ công cụ kiểm tra bất biến, đồng thời lên kế hoạch triển khai chương trình phần thưởng漏洞 liên tục để đảm bảo an toàn lâu dài cho giao thức.