Aave Labs công bố kế hoạch bảo mật nhiều lớp cho V4 sau chương trình kiểm toán trị giá 1,5 triệu đô la

Aave Labs đã công bố một kế hoạch chi tiết nhằm đảm bảo an toàn cho phiên bản tiếp theo của giao thức cho vay DeFi lớn nhất, trình bày một quy trình kiểm toán và xác nhận kéo dài một năm cho Aave V4 và cam kết mở rộng các thực hành này cho các phát triển trong tương lai.

Trong một bài đăng trên diễn đàn quản trị được phát hành trong tuần này, công ty mô tả nỗ lực V4 như một “khuôn khổ ưu tiên bảo mật”, trong đó các biện pháp bảo vệ hợp đồng thông minh được tích hợp ngay từ những giai đoạn kiến trúc đầu tiên thay vì chỉ xem như một cuộc kiểm toán trước khi ra mắt sản phẩm cuối cùng.

Chương trình này đã kết hợp xác nhận hình thức, kiểm toán thủ công, kiểm thử bất biến, fuzzing và một cuộc thi bảo mật công khai, với tổng cộng khoảng 345 ngày đánh giá tích lũy từ các nhóm nội bộ, kiểm toán viên bên ngoài và các nhà nghiên cứu độc lập.

Công việc này được tài trợ thông qua ngân sách bảo mật trị giá 1,5 triệu USD đã được Aave DAO phê duyệt, theo thông tin được chia sẻ.

Những cam kết chính

Aave Labs cho biết trải nghiệm này đã khiến họ áp dụng năm cam kết bảo mật dài hạn cho phát triển giao thức trong tương lai.

Tích hợp xác nhận hình thức ngay từ đầu chu kỳ phát triển, duy trì các phương pháp bảo mật nhiều lớp kết hợp nhiều kỹ thuật kiểm toán, thực hiện xác nhận liên tục song song với phát triển, triển khai chương trình bug bounty liên tục và phát triển thêm các công cụ kiểm tra hợp đồng thông minh hỗ trợ AI đều được liệt kê là các cam kết chính trong thời gian tới.

Đặc biệt, xác nhận hình thức đóng vai trò trung tâm trong quy trình V4, theo Aave Labs. Đơn vị xác nhận Certora đã phối hợp với các nhà phát triển Aave từ giai đoạn thiết kế ban đầu, giúp hình thành kiến trúc và nhận diện lỗ hổng trước khi mã đi vào các vòng kiểm toán chính thức.

Bên cạnh xác nhận hình thức, giao thức cũng đã trải qua nhiều vòng kiểm toán thủ công với sự tham gia của các công ty như ChainSecurity, Trail of Bits, Blackthorn cùng các nhà nghiên cứu bảo mật độc lập. Một bộ kiểm thử bất biến riêng biệt được phát triển bằng công cụ fuzzing để kiểm tra hành vi các thành phần cốt lõi như kế toán thanh khoản, logic thanh lý và mô hình lãi suất.

Mã của giao thức cũng được công khai trong một cuộc thi bảo mật kéo dài sáu tuần tổ chức trên Sherlock từ tháng 12 năm 2025 đến tháng 1 năm 2026. Hơn 900 người tham gia đã xác minh đã gửi hơn 950 phát hiện trong cuộc thi, mặc dù chương trình không ghi nhận lỗ hổng nghiêm trọng hoặc mức cao nào.

Aave Labs cho biết mã nguồn V4 được thiết kế có chủ đích để nhỏ hơn và mô-đun hóa hơn so với phiên bản trước, theo kiểu kiến trúc trung tâm-vệ tinh, giúp các cuộc kiểm toán nhắm mục tiêu cụ thể hơn và đơn giản hóa quy trình đánh giá bảo mật.

Mô hình bảo mật V4 cũng đã tiếp thu ý kiến từ các đơn vị cung cấp dịch vụ rủi ro và các nhà tích hợp xây dựng ứng dụng trên giao thức cho vay này. Đóng góp của họ đã mở rộng mô hình mối đe dọa không chỉ bao gồm các tương tác trực tiếp của người dùng mà còn cả các giả định bảo mật của các hệ thống tích hợp phụ thuộc vào thanh khoản của Aave.

Tranh cãi trong Aave DAO

Công bố bảo mật của Aave Labs diễn ra trong bối cảnh hệ sinh thái Aave đang có nhiều biến động nội bộ. Các tranh chấp về quản trị đã leo thang trong những tháng gần đây xung quanh việc phân bổ nguồn lực, định hướng giao thức và vai trò của các bên đóng góp chủ chốt.

Đầu năm nay, BGD Labs - một cộng tác viên kỹ thuật lâu năm chịu trách nhiệm phần lớn cơ sở hạ tầng của giao thức - đã thông báo sẽ ngừng làm việc liên quan đến Aave sau gần bốn năm gắn bó.

Gần đây hơn, Marc Zeller - nhà sáng lập ACI - cho biết Aave Chan Initiative, một bên tham gia quản trị lớn khác, dự định sẽ rút khỏi giao thức vào tháng 7 trong bối cảnh căng thẳng giữa các cộng tác viên gia tăng.

Những diễn biến này nối tiếp một cuộc tranh luận quản trị gay gắt xoay quanh đề xuất có tên “Aave will win”, trong đó đề cập đến các thay đổi doanh thu và kế hoạch tổng thể cho nâng cấp V4 sắp tới. Đề xuất đã vượt qua vòng lấy ý kiến với tỷ lệ ủng hộ 52,6%, cho thấy có sự chia rẽ trong DAO về định hướng tương lai của giao thức.

Aave hiện là giao thức cho vay onchain lớn nhất và cũng nằm trong nhóm tạo ra doanh thu DeFi hàng tháng cao nhất, theo bảng dữ liệu của The Block.