Aave Labs công bố Báo cáo kiểm toán minh bạch đầy đủ về lộ trình bảo mật Aave V4

BlockBeats News, ngày 5 tháng 3, theo nguồn tin 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 khía cạnh như phương pháp luận, quy trình và kết quả, với sự xác nhận từ nhiều công ty bảo mật như Trail of Bits, Blackthorn, Certora và những đơn vị khác. Thông qua kiểm tra thủ công, xác minh hình thức, kiểm tra bất biến, kiểm tra fuzz và các cuộc thi bảo mật công khai, tổng cộng khoảng 345 ngày đánh giá bảo mật đã được thực hiện. Kế hoạch này được hỗ trợ bởi ngân sách bảo mật chuyên dụng trị giá $1.5 triệu đã được DAO phê duyệt.

Aave Labs thông báo rằng họ sẽ tiếp tục thực hiện 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 ở giai đoạn đầu phát triển để đả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 thay vì chỉ xác thực; áp dụng phương pháp bảo mật nhiều lớp, 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 fuzz và các cuộc thi bảo mật công khai, nhằm bao phủ nhiều lỗ hổng tiềm năng hơn; duy trì phạm vi bảo mật liên tục, trong đó khung xác minh hình thức và bộ kiểm tra bất biến sẽ tiếp tục hoạt động cùng với các phiên bản giao thức; thiết lập chương trình thưởng lỗi dài hạn để tận dụng cộng đồng bảo mật rộng lớn hơn cho việc giám sát liên tục; và tối ưu hóa khả năng quét AI để liên tục nâng cao mức độ phát hiện bảo mật thông minh của các phiên bản tương lai dựa trên kinh nghiệm kiểm tra hiện tại.