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
Cho vay được hỗ trợ bởi LP kết nối kế toán hợp đồng với quản lý vị trí, giá oracle và các lộ trình thanh lý cụ thể của DEX. Do đó, đánh giá bảo mật bao quát cả thực hiện giao dịch và tác động của việc thay đổi điều kiện thị trường lên giá trị tài sản thế chấp và khả năng thu hồi. Việc xem xét hợp đồng, kinh tế và vận hành đề cập đến các phần khác nhau của hệ thống đó. Một lời gọi hợp đồng hợp lệ vẫn có thể tạo ra kết quả cho vay sai nếu dữ liệu giá đầu vào đã lỗi thời hoặc đường dẫn thanh lý giả định của nó không thể thực hiện được.
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
Đánh giá một gia đình hoặc đường dẫn thực thi LP mới bao quát các hợp đồng cốt lõi bị ảnh hưởng, các bộ chuyển đổi DEX và các quyền kiểm soát đặc quyền trước khi kích hoạt.
Kiểm tra căng thẳng kinh tế
Kiểm tra căng thẳng xem xét các cú sốc thị trường, các trường hợp biên của oracle và các thất bại trong định tuyến thanh lý cùng với hành vi của từng hợp đồng.
Các kênh đánh giá bên ngoài
Kiểm toán chính thức và Tiền thưởng lỗi phần mềm chương trình cung cấp các kênh đánh giá bổ sung: các cuộc kiểm toán đánh giá một phạm vi mã được xác định, trong khi các báo cáo thưởng có thể xác định hành vi có thể khai thác thêm.
Bề mặt hợp đồng cốt lõi
Logic Borrow Spoke
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 và thanh toán trên chuỗi yêu cầu các thay đổi trạng thái có tính xác định để nợ, cung cấp kho tiền và tài sản đảm bảo vẫn nhất quán.
- • Dữ liệu giá, bộ điều hợp DEX và cơ sở hạ tầng thanh lý tạo ra các phụ thuộc mà sự cố của chúng có thể ảnh hưởng đến định giá hoặc việc thu hồi.
- • Quản trị, quyền tạm dừng và nâng cấp là các quyền kiểm soát đặc quyền. Vai trò, giới hạn và các khoảng thời gian khóa áp dụng xác định ai có thể thay đổi hành vi của giao thức.
Sẵn sàng kiểm toán
Các báo cáo kiểm toán đã công bố xác định mã và phạm vi được xem xét, các phát hiện và việc sửa chữa đã được ghi lại. Việc xem xét triển khai phụ thuộc vào các báo cáo đó; trang này không xác lập trạng thái kiểm toán hoặc ngày hoàn thành. Các thay đổi đối với LP hỗ trợ, các đường dẫn thanh lý, mô hình oracle, vai trò đặc quyền hoặc các giả định phục hồi ảnh hưởng đến phạm vi đánh giá vì chúng thay đổi cách tài sản thế chấp được chấp nhận, định giá hoặc thanh toán.