Khi các hệ thống chi phối giá trị thực, đảm bảo đòi hỏi nhiều hơn là mô phỏng. @Aave và Cantina khởi động thử thách CTF trị giá 100.000 đô la, cho phép các nhà nghiên cứu tiếp cận cơ sở hạ tầng sản xuất trong các điều kiện nghiêm ngặt, phạm vi. Chi tiết bên dưới.

Các hợp đồng này phản ánh các thành phần cốt lõi của cơ sở hạ tầng của Aave. Các nhà nghiên cứu phát hiện ra các lỗ hổng có phạm vi và thực hiện khai thác hợp lệ trong môi trường được kiểm soát của Cantina sẽ giữ lại bất kỳ tài sản nào được khôi phục.

Thử thách theo sau những tiến bộ đáng kể. Aave v3.1 giới thiệu các bản cập nhật quan trọng đối với logic quan tâm và khả năng nâng cấp. Một bản mở rộng riêng biệt cho Aptos đã thêm kiến trúc dựa trên MOVE. Sự kiện này đưa những cập nhật đó vào phân tích đối nghịch trong điều kiện trực tiếp.

Hai cuộc giao tranh an ninh trước đó do Cantina dẫn đầu đã tạo tiền đề. Một đã xác nhận việc triển khai phiên bản 3.1 của Aave trên các chuỗi EVM. Một người khác xác nhận các vị thế an ninh cho Aptos. CTF này mở rộng quỹ đạo đó với các hợp đồng mở, phạm vi cấu trúc và tính cuối cùng trong việc thực hiện.

Mô-đun thử nghiệm đối nghịch mới này bổ sung thêm một lớp tin cậy mới bằng cách kiểm tra các hệ thống được triển khai dưới áp lực có thể quan sát được. Đó là một phần mở rộng tự nhiên của cam kết lâu dài của Aave về tính minh bạch và khả năng phục hồi của hệ thống.

Để biết các định nghĩa phạm vi, mốc thời gian và phương pháp luận đầy đủ, hãy khám phá thông báo đầy đủ tại đây:

Chúng tôi rất nóng lòng muốn xem kết quả! Các nhà nghiên cứu, bắt đầu từ đây: