Aave Labs ra mắt giải pháp bảo mật V4: tổng cộng 345 ngày kiểm toán và ngân sách bảo mật 1,5 triệu đô la.

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" bằng cách tích hợp việc xác minh bảo mật vào giai đoạn thiết kế kiến ​​trúc, thay vì chỉ là kiểm toán cuối cùng trước khi triển khai. Chương trình bảo mật này kéo dài khoảng một năm, tích lũy khoảng 345 ngày đánh giá bảo mật, được tài trợ bởi ngân sách bảo mật 1,5 triệu đô la được Aave DAO phê duyệt. Quy trình bảo mật V4 được cho là kết hợp xác minh chính thức, kiểm toán thủ công, kiểm thử bất biến, fuzzing và các cuộc thi bảo mật công khai, sử dụng phương pháp kiểm toán đa lớp. Việc phát triển giao thức trong tương lai sẽ tiếp tục sử dụng năm biện pháp bảo mật dài hạn, bao gồm việc giới thiệu xác minh chính thức sớm trong quá trình phát triển, triển khai các phương pháp kiểm toán bảo mật đa lớp, cơ chế xác minh liên tục, chương trình tiền thưởng tìm lỗi dài hạn và tận dụng trí tuệ nhân tạo để hỗ trợ quét bảo mật hợp đồng thông minh. (The Block)