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
Sau khi Nasdaq mất hơn 2 nghìn tỷ USD chỉ trong một tháng, phố Wall bắt đầu tìm kiếm điểm mua! Deutsche Bank nâng xếp hạng công nghệ, "bảy tín hiệu" của Goldman Sachs phác thảo câu chuyện của phe mua
Ngân hàng Deutsche tin tưởng vào cổ phiếu công nghệ Mỹ, đảo ngược lại đánh giá hạ xuống cách đây ba tuần, cho rằng đợt bán tháo mạnh đã tạo ra cơ hội mua hấp dẫn, và hầu hết các rủi ro liên quan đến trí tuệ nhân tạo đã được thị trường phản ánh quá mức.
DoorDash (DASH.US) vượt qua Nasdaq trong làn sóng bán tháo cổ phiếu công nghệ! Chính thức công bố mua lại Instacart với giá 17 tỷ USD, giá trị được định giá lại nhờ giao hàng siêu thị và quảng cáo bán lẻ?
Hai nền tảng lớn hoàn toàn tích hợp có thể tăng cường năng lực cạnh tranh toàn diện về hiệu quả giao hàng, tiếp cận người tiêu dùng và khả năng thương lượng trong việc kiếm tiền từ truyền thông bán lẻ; các nhà bán lẻ thực phẩm không có mạng lưới giao hàng riêng chắc chắn sẽ phải đối mặt với áp lực thương lượng rõ rệt hơn, trong khi Walmart và Target với Spark và Shipt sẽ có khả năng chống chịu tác động này tốt hơn.
Dự báo báo cáo tài chính | Cược lớn với tỷ lệ P/E 121 lần: Nếu hướng dẫn của Palantir (PLTR.US) không đủ ấn tượng, giá cổ phiếu có thể giảm mạnh
Palantir đã công bố báo cáo quý ba sau khi thị trường đóng cửa vào thứ Hai. Doanh thu dự kiến là 2,18 tỷ USD, tăng khoảng 85%. Dự báo cho cả năm được nâng lên và tốc độ tăng trưởng mảng kinh doanh trở thành tâm điểm chú ý. Với mức định giá cao, không có nhiều dư địa cho sai sót.
BTIG cảnh báo: Thị trường chứng khoán Mỹ đã bước vào "vùng đất lạ", vàng có thể tiếp tục giảm xuống 3.500 USD
Thị trường chứng khoán Mỹ với biến động thấp thực chất là do sự phân hóa cực đoan giữa các nhóm ngành, cấu trúc nội bộ cực kỳ mong manh. BTIG cảnh báo rằng thị trường cần một đợt sụt giảm hoảng loạn để thanh lọc, Nasdaq đối mặt với khả năng điều chỉnh ít nhất 8,5%, S&P 500 có khả năng giảm xuống 7300 điểm. Ngoài ra, ngành bán dẫn đã phá vỡ về mặt kỹ thuật, nhóm AI có thể bị ảnh hưởng tiêu cực bởi chính sách liên quan đến bầu cử, vàng và bạc đều đã tạo đỉnh, đáy thực sự của thị trường vẫn còn rất xa.
Giá tiền điện tử
Thêm
