Aave Labs công bố báo cáo kiểm toán minh bạch đầy đủ cho Chương trình bảo mật Aave V4

ChainCatcher tin tức, theo thông báo chính thức, Aave Labs đã công bố báo cáo minh bạch đầy đủ về kế hoạch bảo mật Aave V4, bao gồm các phương pháp, quy trình và kết quả, được nhiều tổ chức bảo mật như Trail of Bits, Blackthorn, Certora cùng hậu thuẫn. Tổng cộng đã thực hiện khoảng 345 ngày kiểm tra bảo mật thông qua các phương pháp như 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à cuộc thi bảo mật công khai. Kế hoạch này được hỗ trợ bởi ngân sách bảo mật 1,5 triệu USD được DAO phê duyệt. Aave Labs tuyên bố sẽ tiếp tục năm cam kết cốt lõi từ kế hoạch bảo mật Aave V4: tích hợp xác minh hình thức ngay từ 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 các phương pháp bảo mật chứ không chỉ đơn thuần là xác minh; áp dụng phương pháp bảo mật phân tầng, 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 hỗ trợ AI, kiểm tra mờ và cuộc thi bảo mật công khai để phát hiện nhiều lỗ hổng tiềm ẩn hơn; duy trì phạm vi bảo mật liên tục, các khung xác minh hình thức và bộ công cụ kiểm tra bất biến sẽ được chạy liên tục theo từng phiên bản giao thức; thiết lập chương trình phần thưởng lỗ hổng dài hạn để tận dụng cộng đồng bảo mật rộng lớn hơn nhằm giám sát liên tục; và tối ưu hóa khả năng quét AI, không ngừng nâng cao mức độ phát hiện thông minh trong các phiên bản tương lai dựa trên kinh nghiệm kiểm thử hiện có.