Aave V4 hoàn tất kiểm toán an ninh toàn diện, dành 345 ngày kiểm tra an toàn không phát hiện lỗ hổng lớn

robot
Đang tạo bản tóm tắt

Tin tức Deep Tide TechFlow, ngày 05 tháng 03, Aave Labs gần đây công bố rằng giao thức Aave V4 đã hoàn thành cuộc kiểm tra an toàn toàn diện kéo dài khoảng 345 ngày, với tổng chi phí lên tới 1,5 triệu USD. Dự án này áp dụng chiến lược “An toàn là trên hết”, bắt đầu thực hiện kiểm soát an ninh nhiều lớp từ giai đoạn thiết kế kiến trúc. Quá trình kiểm tra an toàn bao gồm kiểm toán thủ công, xác thực hình thức, kiểm thử bất biến, kiểm thử mờ và cuộc thi an toàn công khai kéo dài sáu tuần, thu hút hơn 900 người tham gia gửi hơn 950 báo cáo.

Kết quả kiểm toán cho thấy tất cả các tổ chức kiểm toán chính (bao gồm ChainSecurity, Trail of Bits và Blackthorn) đều không phát hiện ra lỗ hổng nghiêm trọng cao. Aave V4 sử dụng thiết kế trung tâm mới hoàn toàn với các mô-đun trung tâm và phân nhánh, giúp giảm kích thước mã nguồn so với V3 và nâng cao hiệu quả kiểm toán. Aave Labs cho biết sẽ tiếp tục duy trì khung xác thực hình thức, bộ kiểm thử bất biến, và dự kiến thiết lập chương trình thưởng lỗ hổng liên tục để đảm bảo an toàn lâu dài cho giao thức.

AAVE1,73%
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
  • Phần thưởng
  • Bình luận
  • Đăng lại
  • Retweed
Bình luận
0/400
Không có bình luận
  • Gate Fun hot

    Xem thêm
  • Vốn hóa:$2.45KNgười nắm giữ:1
    0.00%
  • Vốn hóa:$0.1Người nắm giữ:1
    0.00%
  • Vốn hóa:$2.45KNgười nắm giữ:1
    0.00%
  • Vốn hóa:$2.46KNgười nắm giữ:0
    0.00%
  • Vốn hóa:$2.45KNgười nắm giữ:2
    0.00%
  • Ghim