Aave Labs công bố chiến lược bảo mật cho Aave V4

Aave Labs vừa công bố một kế hoạch toàn diện nhằm nâng cao bảo mật cho phiên bản mới nhất của giao thức cho vay DeFi hàng đầu hiện nay, Aave V4. Kế hoạch này thiết lập một quy trình kiểm toán và xác minh kéo dài trong vòng một năm, và Aave Labs cam kết sẽ áp dụng những tiêu chuẩn bảo mật này cho những giai đoạn phát triển sau này của giao thức.

Key Takeaways

Aave Labs công bố kế hoạch bảo mật cho Aave V4 với quy trình kiểm toán kéo dài một năm.
Kế hoạch bao gồm nhiều phương pháp bảo mật như xác minh hình thức, kiểm toán thủ công và fuzzing.
Aave Labs cam kết áp dụng năm nguyên tắc bảo mật cho các phiên bản tương lai của giao thức.
Tình hình căng thẳng trong cộng đồng Aave có thể ảnh hưởng đến hướng đi của giao thức trong tương lai.

Thông qua các cam kết này, Aave Labs thể hiện quyết tâm nâng cao mức độ bảo mật của giao thức, bảo vệ người dùng cũng như giữ vững vị thế trong thị trường DeFi đang ngày càng phát triển và cạnh tranh.

Tổng quan về kế hoạch bảo mật

Trong một bài đăng gần đây trên diễn đàn quản trị, Aave Labs đã nêu rõ rằng quá trình phát triển Aave V4 sẽ tuân theo mô hình "security-first framework". Điều này có nghĩa là các cơ chế bảo vệ smart contract sẽ được tích hợp ngay từ giai đoạn thiết kế, không chỉ được kiểm tra ở bước cuối trước khi sản phẩm ra mắt.

Kế hoạch bảo mật sử dụng nhiều phương pháp khác nhau như xác minh hình thức (formal verification), kiểm toán thủ công, kiểm thử bất biến (invariant testing), fuzzing và tổ chức các cuộc thi bảo mật công khai. Tổng thời gian dành cho quá trình đánh giá này là khoảng 345 ngày, với sự tham gia của đội ngũ nội bộ cũng như các công ty kiểm toán bên ngoài và các nhà nghiên cứu bảo mật độc lập. Chương trình bảo mật này được tài trợ bởi ngân sách 1,5 triệu USD mà Aave DAO đã phê duyệt.

Cam kết bảo mật cho tương lai

Aave Labs cũng đã đề ra năm cam kết bảo mật dài hạn cho các phiên bản giao thức tương lai, dựa trên những bài học rút ra từ việc phát triển Aave V4. Những cam kết này bao gồm:

Tích hợp xác minh hình thức ngay từ đầu: Khởi đầu quá trình phát triển với xác minh hình thức để phát hiện sớm các vấn đề tiềm ẩn.
Duy trì mô hình bảo mật nhiều lớp: Kết hợp nhiều phương pháp kiểm toán khác nhau để đảm bảo an toàn.
Kiểm tra liên tục: Quy trình xác minh sẽ diễn ra song song với quá trình phát triển.
Chương trình bug bounty dài hạn: Cung cấp các phần thưởng cho những người phát hiện ra lỗi bảo mật.
Phát triển công cụ quét smart contract: Sử dụng AI để cải thiện tính năng bảo mật.

Trong đó, xác minh hình thức đã được Certora thực hiện từ giai đoạn đầu thiết kế, giúp định hình kiến trúc hệ thống và phát hiện các lỗ hổng trước khi tiến hành kiểm toán chính thức.

Tình hình căng thẳng trong cộng đồng Aave

Thông báo về kế hoạch bảo mật này diễn ra trong bối cảnh Aave đang phải đối mặt với nhiều tranh cãi nội bộ. Các cuộc thảo luận quản trị gần đây ngày càng gia tăng xoay quanh việc phân bổ ngân sách, định hướng phát triển và vai trò của những đóng góp quan trọng vào hệ sinh thái.

Đầu năm nay, BGD Labs, một đơn vị đóng góp kỹ thuật lâu năm của Aave, đã tuyên bố sẽ rút lui sau bốn năm tham gia phát triển. Mới đây, Marc Zeller, nhà sáng lập ACI, cũng cho biết rằng Aave Chan Initiative, một tập thể lớn trong quản trị Aave, dự định rời khỏi giao thức vào tháng Bảy tới.

Các sự kiện này xảy ra sau khi đã xảy ra nhiều tranh luận xung quanh đề xuất "Aave will win", liên quan đến việc điều chỉnh doanh thu và kế hoạch cho bản nâng cấp V4. Đề xuất này đã nhận được 52,6% phiếu ủng hộ trong vòng bỏ phiếu “temperature check”, cho thấy sự chia rẽ trong cộng đồng DAO về định hướng tương lai của giao thức.

Dù vậy, Aave vẫn giữ vững vị thế là giao thức cho vay onchain lớn nhất hiện tại và thuộc nhóm tạo doanh thu phí DeFi hàng tháng cao nhất.