Aave Labs đã phát hành Bản Kiểm toán An ninh Toàn diện của Kế hoạch Bảo mật Aave V4

Tin tức BlockBeats, ngày 5 tháng 3, theo tin từ chính thức, Aave Labs đã phát hành Báo cáo Trong suốt Đầy đủ về Kế hoạch Bảo mật Aave V4, bao gồm phương pháp, quy trình và kết quả, với sự ủng hộ từ nhiều tổ chức an ninh như Trail of Bits, Blackthorn, Certora. Thông qua việc kiểm tra an ninh bằng tay, xác minh hình thức, kiểm tra bất biến, kiểm tra mờ và cuộc thi an ninh công khai, đã thực hiện tổng cộng khoảng 345 ngày kiểm tra an ninh. Kế hoạch này được hỗ trợ bởi ngân sách an ninh chuyên biệt trị giá 1,5 triệu USD được DAO phê duyệt.

Aave Labs đã thông báo sẽ duy trì năm cam kết cốt lõi từ Kế hoạch Bảo mật Aave V4: nhúng xác minh hình thức vào giai đoạn phát triển sớm để đảm bảo thiết kế kiến trúc được hướng dẫn bởi an ninh một cách an toàn không chỉ là xác minh; áp dụng phương pháp an ninh theo tầng, bao gồm kiểm tra bằng tay, xác minh hình thức, kiểm tra bất biến, kiểm tra trợ giúp AI, kiểm tra mờ và cuộc thi an ninh công khai để bao phủ nhiều lỗ hổng tiềm năng hơn; duy trì việc bảo vệ an ninh liên tục, khung xác minh hình thức và bộ kiểm tra bất biến sẽ tiếp tục chạy song song với việc cập nhật giao thức; thiết lập kế hoạch thưởng lớn cho lỗ hổng dài hạn, sử dụng cộng đồng an ninh rộng lớn hơn để cung cấp giám sát liên tục; và tối ưu hóa khả năng quét AI, liên tục cải thiện mức độ phát hiện an ninh thông minh cho các phiên bản tương lai dựa trên trải nghiệm kiểm tra hiện tại.