Hợp đồng & Bảo mật
Tham chiếu bảo mật cho các bề mặt hợp đồng, các phần phụ thuộc bên ngoài và xem xét các ranh giới đằng sau hoạt động cho vay được hỗ trợ bởi LP.
Tổng quan
Avana cho vay dựa trên tài sản thế chấp LP, vì vậy việc xem xét bảo mật phải bao gồm nhiều nội dung hơn ngoài việc liệu hợp đồng có tổng hợp hoặc chuyển số dư chính xác hay không. Nó cũng phải đề cập đến cách thức hoạt động của việc định giá, lưu ký, thanh lý và kiểm soát đặc quyền khi thị trường gặp căng thẳng.
Đánh giá hợp đồng, đánh giá kinh tế và đánh giá hoạt động đều quan trọng đối với thị trường LP. Chúng củng cố lẫn nhau và nên được coi như một chương trình bảo mật chứ không phải như ba danh sách kiểm tra không liên quan.
Những thách thức về an ninh
- • Giá trị LP có thể phụ thuộc vào đường dẫn và thường cần logic giám sát và giải phóng cụ thể DEX.
- • Việc Oracle sử dụng sai mục đích hoặc định giá cũ có thể gây ra tổn thất kinh tế ngay cả khi hợp đồng được thực hiện chính xác như được mã hóa.
- • Quản trị, kiểm soát tham số và ứng phó khẩn cấp đều là một phần của bề mặt tấn công.
Bảo mật nhiều lớp
Xem xét hợp đồng
Các bề mặt hợp đồng cốt lõi, bộ điều hợp và đường dẫn điều khiển đặc quyền phải được xem xét trước khi họ LP mới hoặc đường dẫn thực thi mới được bật.
Kiểm tra căng thẳng kinh tế
Kiểm tra các cú sốc thị trường, các trường hợp cạnh oracle và lỗi định tuyến thanh lý, không chỉ hành vi hợp đồng cấp đơn vị.
Các kênh đánh giá bên ngoài
Kiểm toán chính thức và Bug Bounty cả hai chương trình đều phải hoạt động. Cái này không thay thế cái kia.
Bề mặt hợp đồng cốt lõi
Borrow Spoke logic
Xử lý việc tiếp nhận tài sản thế chấp, kế toán người dùng và vòng đời bên spoke cho các khoản vay được hỗ trợ bằng LP.
Hub tích hợp
Kết nối khả năng vay ở cấp độ spoke với các hạn chế về tín dụng và thanh khoản chung trong lớp Hub.
Oracle và bộ điều hợp định giá
Chuyển các vị thế LP thành các giá trị tài sản thế chấp thận trọng bằng cách sử dụng giá bên ngoài, tái thiết lập vị thế và các giả định về giá trị có thể thu hồi.
Lớp thực thi thanh lý
Điều phối các đường dẫn giải phóng, thực hiện phí, định tuyến và thanh toán khi phải đóng hoặc thay đổi kích thước tài khoản không lành mạnh.
Ranh giới tin cậy
- • Kế toán onchain và giải quyết thanh lý phải mang tính quyết định một khi được kích hoạt.
- • Các nguồn Oracle, bộ điều hợp DEX và cơ sở hạ tầng thanh lý hoạt động là những phần phụ thuộc bên ngoài và cần được giám sát như vậy.
- • Quyền quản trị, tạm dừng và nâng cấp là các quyền đặc quyền cần được giới hạn, có thể xem xét và khóa thời gian bất cứ khi nào có thể.
Sẵn sàng kiểm toán
Trang này không công bố lịch trình kiểm toán viên suy đoán hoặc các cột mốc giữ chỗ. Báo cáo kiểm tra, phạm vi và ghi chú khắc phục phải được công bố khi chúng thực sự tồn tại và có thể được xem xét đầy đủ.
Các mục tiêu kiểm tra có giá trị cao thường bao gồm hỗ trợ gia đình LP mới, đường dẫn thanh lý mới, mô hình oracle mới và bất kỳ thay đổi nào mở rộng quyền kiểm soát đặc quyền hoặc các giả định về giá trị có thể phục hồi.