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.
Tuyên bố miễn trừ trách nhiệm: Mọi thông tin trong bài viết đều thể hiện quan điểm của tác giả và không liên quan đến nền tảng. Bài viết này không nhằm mục đích tham khảo để đưa ra quyết định đầu tư.
Bạn cũng có thể thích
Sự phân hóa nguy hiểm nhất của chứng khoán Mỹ: cổ phiếu thông thường đã giảm mạnh, các ông lớn AI còn có thể trụ vững bao lâu?
Điều kiện tài chính đã thắt chặt đáng kể, gây tác động mạnh đến cổ phiếu phổ thông trên thị trường chứng khoán Mỹ, với giá trị trung vị của các cổ phiếu trong S&P 500 giảm 15% so với mức đỉnh. Phần thưởng rủi ro cổ phiếu đã tụt xuống dưới mức 0. Lợi suất trái phiếu Mỹ và giá dầu tăng đã đẩy chỉ số điều kiện tài chính lên cao, khiến độ rộng thị trường suy giảm nghiêm trọng dù chỉ số tổng thể vẫn ổn định. Thị trường ngày càng phân hóa, việc cổ phiếu phổ thông phục hồi hoặc chỉ số điều chỉnh giảm trở thành điểm then chốt gây lo ngại.
Phố Wall đặt giá cho cuộc bầu cử giữa kỳ: Yếu tố Đảng Dân chủ tăng vọt 20%, thị trường chung lại rơi vào "vùng mù"
Yếu tố "Đảng Dân chủ" do JPMorgan xây dựng đã tăng khoảng 20% kể từ tháng 8, trong khi S&P 500 chỉ tăng 2,6% cùng kỳ. Các nền tảng dự đoán cho thấy xác suất Đảng Dân chủ quét sạch cả hai viện đã tăng vọt từ 23% hồi tháng 8 lên 64%. Dữ liệu lịch sử của Goldman Sachs cho thấy xác suất này trung bình giảm khoảng 5 điểm phần trăm trước ngày bầu cử. Các tổ chức có quan điểm trái ngược rõ rệt: JPMorgan khuyến nghị mua vào khi giá giảm, còn Bank of America cảnh báo rằng chiến thắng toàn diện của Đảng Dân chủ có thể khiến thị trường chứng khoán giảm hơn 10%.
Giá tiền điện tử
Thêm
