Aave Labs công bố kế hoạch bảo mật V4: Tổng cộng 345 ngày kiểm toán với ngân sách bảo mật 1.5 triệu USD

Odaily Aave Labs đã công bố khung bảo mật cho Aave V4, đề xuất mô hình phát triển "ưu tiên bảo mật", tích hợp xác minh bảo mật ngay từ giai đoạn thiết kế kiến trúc, thay vì chỉ thực hiện kiểm toán cuối cùng trước khi ra mắt. Kế hoạch bảo mật này kéo dài khoảng một năm, hoàn thành tổng cộng khoảng 345 ngày xem xét bảo mật, với kinh phí đến từ ngân sách bảo mật 1,5 triệu USD được Aave DAO phê duyệt. Được biết, quy trình bảo mật V4 kết hợp nhiều phương pháp kiểm toán lớp như xác minh hình thức, kiểm toán thủ công, kiểm tra bất biến, kiểm tra mờ (fuzzing) và các cuộc thi bảo mật công khai. Trong tương lai, việc phát triển giao thức sẽ tiếp tục áp dụng năm biện pháp bảo mật dài hạn, bao gồm giới thiệu xác minh hình thức sớm trong quá trình phát triển, triển khai phương pháp kiểm toán bảo mật nhiều lớp, cơ chế xác minh liên tục, chương trình tiền thưởng lỗ hổng dài hạn và sử dụng AI hỗ trợ quét bảo mật hợp đồng thông minh. (The Block)