Danh sách kiểm tra ngăn chặn thanh lý: sống sót qua độ trễ oracle và cơ chế đấu giá

Danh sách kiểm tra ngăn chặn thanh lý là một tập hợp các quy tắc giám sát và hành động giúp một khoản vay có tài sản đảm bảo an toàn tránh xa khỏi điểm kích hoạt của nó ngay cả khi giá biến động mạnh và việc cập nhật oracle của giao thức bị chậm. Mục tiêu không phải là dự đoán cây nến tiếp theo, mà là xây dựng đủ khoảng đệm và sự chuẩn bị để sống sót qua các cơ chế thanh lý tự động, hình phạt và các điều kiện chuỗi.

Điểm chính

• Rủi ro thanh lýlà "giá + thời gian": Giá của Oracle trong Mô-đun Bảo mật được sử dụng cho các cuộc đấu giá bị trễ khoảng 1–2 giờ, vì vậy hệ thống có thể hành xử khác so với giá giao ngay trong các chuyển động nhanh.
• Trong Maker Liquidation 2.0, việc vượt qua ranh giới là một sự kiện toàn bộ vị trí: khi Dog.bark kích hoạt, toàn bộ nợ Vault bị lấy đi, không phải là một sự cắt giảm nhẹ nhàng.
• Toán học hình phạt quan trọng khi bạn hoạt động mỏng: với chop ở mức 1.13, một khoản nợ 1,000 DAI trở thành mục tiêu đấu giá 1,130 DAI.
• Trong các cascades thanh lý, biến động, thanh khoản thấp, và dữ liệu oracle cũ hoặc bị thao túng làm tăng cường bán buộc, vì vậy các khoảng đệm phải giả định các điều kiện xấu nhất.

Cách thanh lý xảy ra trong cho vay

Các thanh lý được tự động hóa vì giao thức đang bảo vệ khả năng thanh toán, không phải thương lượng với người vay. Trong cho vay quá tài sản đảm bảo, vị trí trở nên đủ điều kiện khi giá trị tài sản đảm bảo giảm đủ xa để khoản vay vi phạm ngưỡng yêu cầu của giao thức. Nhiều mô hình cho vay diễn đạt điều này như một yếu tố sức khỏe, và cách diễn đạt phổ biến là khi nó giảm xuống dưới 1, vị trí có thể bị thanh lý.

Điều kiện đủ đó có thể nhanh chóng chuyển thành một thanh lý thực tế vì các bên thứ ba được trả tiền để hành động. Thiết kế của Maker làm điều này rõ ràng: một thanh lý là việc tự động chuyển giao tài sản đảm bảo từ một Vault không đủ tài sản đảm bảo, với nợ của Vault được chuyển cho giao thức, và một cuộc đấu giá được bắt đầu để bán tài sản đảm bảo lấy DAI để hủy bỏ nợ đã được chỉ định.

Các tác nhân bên ngoài gọi là keepers giám sát các Vault và kích hoạt thanh lý khi tỷ lệ thanh lý bị vi phạm, vì hệ thống khuyến khích hành vi đó.

Điểm quan trọng đối với nhà giao dịch là điều này không chỉ là một con số "giá thanh lý" trên bảng điều khiển. Thanh lý là một quy trình làm việc với thời gian, đầu vào giá cả và động lực riêng của nó. Trong Maker Liquidation 2.0, các cuộc đấu giá là các cuộc đấu giá Hà Lan được thanh toán ngay lập tức với một mức giá được tính toán từ giá khởi điểm và thời gian đã trôi qua kể từ khi cuộc đấu giá bắt đầu.

Việc thanh toán ngay lập tức thay đổi ai có thể tham gia và tốc độ mà tài sản đảm bảo có thể được thanh lý, điều này phản hồi vào mức độ nghiêm trọng của một chuỗi sự kiện.

Định nghĩa của Chainlink về một chuỗi thanh lý là mô hình tư duy đúng cho căng thẳng: việc bán buộc tự động đẩy giá xuống, điều này kích hoạt nhiều thanh lý hơn trong một chu trình phản hồi. Các yếu tố tăng cường được đặt tên và cụ thể: biến động cực đoan, thanh khoản thấp và trượt giá, và thao túng oracle hoặc dữ liệu giá cũ, bao gồm tắc nghẽn làm chậm cập nhật. Đó là môi trường mà "không bị thanh lý" ngừng là một meme và trở thành một vấn đề hệ thống.

Các số liệu chính cần theo dõi hàng ngày

Danh sách kiểm tra bắt đầu với bốn số liệu xuất hiện trên màn hình và lập bản đồ trực tiếp đến điều kiện đủ thanh lý. Mọi thứ khác chỉ là bình luận.

Tỷ lệ cho vay trên giá trị là đơn giản nhất: số tiền vay chia cho giá trị tài sản đảm bảo. Nếu tài sản đảm bảo giảm hoặc nợ tăng, LTV tăng. Các giao thức thường thể hiện cùng một ý tưởng như một yếu tố sức khỏe, trong đó mô hình phổ biến là dưới 1 có nghĩa là đủ điều kiện thanh lý. Maker sử dụng một tỷ lệ thanh lý gọi là mat, đó là mức độ tài sản đảm bảo tối thiểu mà một Vault phải duy trì để vẫn an toàn.

Thói quen hoạt động là theo dõi kích hoạt của giao thức và một kích hoạt cá nhân ở trên đó, vì kích hoạt của giao thức là nơi mà các keepers bắt đầu đua.

Số thứ hai là giá thanh lý. Hầu hết các giao diện người dùng tính toán một "giá thanh lý" cho tài sản đảm bảo, nhưng danh sách kiểm tra coi đó là một điểm tham chiếu, không phải một lời hứa. Trong Maker, giá khởi điểm của cuộc đấu giá được thiết lập từ giá của Mô-đun Bảo mật Oracle nhân với buf, và giá OSM bị trễ khoảng 1–2 giờ so với thị trường.

Sự chậm trễ đó là lý do tại sao "Tôi sẽ thêm tài sản đảm bảo nếu nó giảm" thất bại khi thị trường di chuyển nhanh hơn người dùng có thể phản ứng hoặc chuỗi bị tắc nghẽn.

Số thứ ba là hệ số hình phạt. Maker thể hiện hình phạt thanh lý thông qua chop. Tài liệu cung cấp một ví dụ rõ ràng: nếu nợ là 1,000 DAI và chop là 1.13, mục tiêu đấu giá trở thành 1,130 DAI. Điều đó thay đổi số lượng tài sản đảm bảo phải được bán để xóa nợ, đó là lý do tại sao các khoảng đệm mỏng biến những sai lầm nhỏ thành những lỗ hổng lớn hơn.

Số thứ tư là chế độ ký quỹ và động cơ thanh lý của vị trí trên nền tảng đang được sử dụng. Các hợp đồng vĩnh viễn và tài khoản ký quỹ tập trung giới thiệu ký quỹ bảo trì và sự lựa chọn giữa ký quỹ chéo tách biệt. Những cài đặt đó quyết định xem một vị trí có thể kéo toàn bộ tài khoản vào thanh lý hay không hoặc liệu các khoản lỗ có được bảo vệ hay không.

Điều này tách biệt với các cơ chế thanh lý defi, nhưng danh sách kiểm tra cần điều này vì nhiều nhà giao dịch chạy cả hai và nhầm lẫn chúng.

Các hành động ngăn chặn thanh lý

Công việc ngăn chặn chủ yếu được thực hiện trước khi thị trường di chuyển. Danh sách kiểm tra được xây dựng xung quanh một ý tưởng: ngăn chặn thanh lý crypto là sự chuẩn bị hoạt động cộng với kích thước khoảng đệm cho thời gian oracle, không phải một cuộc thi dự đoán.

1. Đặt một ngưỡng hoảng sợ cá nhân trên kích hoạt của giao thức. Ranh giới của giao thức là nơi thanh lý trở nên khả thi. Ranh giới cá nhân là nơi tài sản đảm bảo được thêm vào hoặc nợ được trả trong khi người dùng vẫn còn thời gian và sự lựa chọn. 2. Kích thước khoảng đệm cho độ trễ của oracle, không phải cho giá giao ngay. Độ trễ OSM của Maker khoảng 1–2 giờ, và giá khởi điểm của cuộc đấu giá dựa trên OSM*buf.

Một khoảng đệm chỉ sống sót qua một cây nến giao ngay vẫn có thể thất bại nếu giá tham chiếu của hệ thống bắt kịp sau khi người dùng đã bị kẹt. 3. Chuẩn bị trước con đường giao dịch "lưu". Chế độ thất bại không phải là không biết cách tránh thanh lý, mà là lúng túng trong việc phê duyệt, hoán đổi cho tài sản trả nợ, hoặc cầu nối khi gas tăng.

Mục trong danh sách kiểm tra rất đơn giản: ví, nguồn tài sản đảm bảo và lộ trình tài sản trả nợ phải sẵn sàng trước khi vị trí bị căng thẳng. 4. Giảm nợ trước khi thêm tài sản đảm bảo khi toán học hình phạt xấu. Khi chop có ý nghĩa, câu hỏi là liệu tài sản đảm bảo có thể trang trải nợ cộng với hình phạt nếu bị đánh dấu. Việc trả nợ giảm trực tiếp mục tiêu đấu giá, trong khi việc thêm tài sản đảm bảo chỉ hữu ích nếu giá không tiếp tục giảm. 5.

Sử dụng lệnh dừng lỗ nơi nền tảng hỗ trợ. Trên các tài khoản ký quỹ và hợp đồng vĩnh viễn tập trung, lệnh dừng lỗ là một công cụ để thoát ra trước khi ký quỹ bảo trì bị vi phạm. Nó không phải là một đảm bảo, nhưng đó là một con đường tự động hóa được xác định khi người dùng không thể ở trên màn hình. 6. Giữ chế độ ký quỹ có chủ đích. Ký quỹ chéo tách biệt không phải là một sở thích, mà là một lựa chọn cấu trúc thanh lý.

Ký quỹ chéo có thể cứu một vị trí đơn lẻ bằng cách rút từ phần còn lại của tài khoản, và nó cũng có thể thanh lý toàn bộ tài khoản nếu biến động lớn.

Những hành động này là sự khác biệt giữa "cách tránh thanh lý" như một khẩu hiệu và một thói quen lặp lại. Danh sách kiểm tra giả định rằng thị trường có thể di chuyển nhanh hơn một lần nạp tay, đặc biệt là trong các chuỗi sự kiện.

Cơ chế thanh lý Vault của Maker cần biết

Con đường thanh lý của Maker là ví dụ rõ ràng nhất về lý do tại sao thanh lý là một vấn đề theo thời gian. Khi một Vault không an toàn, Dog.bark tịch thu Vault và gửi tài sản đảm bảo đến Clipper liên quan, tăng cường kế toán nợ xấu, và khởi động cuộc đấu giá. Ý nghĩa chính đối với người vay là cấu trúc: trong Maker Liquidation 2.0, khi Dog.bark được gọi, toàn bộ nợ Vault bị lấy đi.

Không có tham số dunk như hệ thống cũ đã sử dụng cho các phần cắt nhỏ cố định. Việc vượt qua ranh giới không phải là một sự kiện cắt giảm nhỏ.

Cuộc đấu giá tự nó là một cuộc đấu giá Hà Lan với việc thanh toán ngay lập tức. Giá được tính toán từ giá khởi điểm và thời gian đã trôi qua kể từ khi cuộc đấu giá bắt đầu, điều này giảm thiểu việc khóa nhà thầu và cho phép tái chế vốn nhanh hơn.

Tài liệu của Maker cũng chỉ ra một hành vi không rõ ràng: trong khi giá thường giảm theo thời gian, giá của một cuộc đấu giá đang hoạt động có thể tăng nếu cuộc đấu giá được đặt lại qua redo hoặc nếu chính phủ thay đổi các tham số của máy tính giá.

Redo không phải là một chi tiết tầm thường. Maker có thể đặt lại một cuộc đấu giá nếu quá nhiều thời gian đã trôi qua (đuôi) hoặc nếu giá đã giảm xuống dưới một ngưỡng so với giá khởi điểm (điểm). Khi được đặt lại, cuộc đấu giá sẽ neo lại giá khởi điểm theo cách mà nó đã bắt đầu: giá OSM hiện tại nhân với buf. Bởi vì OSM bị trễ và buf là một mức tăng, việc đặt lại có thể làm tăng giá đấu giá đang chạy ngay cả khi giá giao ngay đang giảm. Đó chính xác là loại cơ chế phá vỡ trực giác của người vay.

Cũng có một giới hạn cấp hệ thống quan trọng trong thời gian căng thẳng. Maker áp đặt giới hạn về tổng số DAI cần thiết để trang trải nợ cộng với hình phạt thanh lý của các cuộc đấu giá đang hoạt động thông qua Hole và ilk.hole, được theo dõi bởi Dirt và ilk.dirt. Dog.bark yêu cầu những điều này phải dưới giới hạn của chúng.

Người vay không kiểm soát những tham số này, nhưng chúng hình thành liệu các thanh lý có diễn ra như mong đợi khi nhiều Vault đang bị đánh dấu.

Cảnh báo trong thời gian căng thẳng thị trường cực độ

Ngày thứ Năm đen tối tháng 3 năm 2020 là lời nhắc nhở điển hình rằng việc ngăn chặn thanh lý không chỉ là về việc "trên ranh giới". Bài viết của Chainlink mô tả Ethereum giảm hơn 50% trong một ngày, với tắc nghẽn mạng làm chậm việc cập nhật oracle và ngăn người dùng gửi thêm tài sản đảm bảo.

Nó cũng lưu ý rằng tắc nghẽn làm suy yếu các bot thanh lý, và một số người tham gia đã thắng các cuộc đấu giá thanh lý với chi phí bằng không, để lại nợ xấu cho giao thức.

Sự kiện đó gộp ba yếu tố tăng cường chuỗi thành một thực tế có thể giao dịch: biến động, thanh khoản và điều kiện oracle. Khi thanh khoản mỏng, việc bán buộc tạo ra trượt giá đẩy giá giao ngay thấp hơn mong đợi, điều này có thể đánh dấu các vị trí trông có vẻ ổn vài phút trước đó. Khi các cập nhật oracle bị cũ hoặc bị chậm do tắc nghẽn, giao thức có thể hoạt động trên một đồng hồ khác với biểu đồ của nhà giao dịch.

Khi các bot thanh lý bị suy yếu, các cuộc đấu giá có thể thanh lý kém, điều này làm tăng khả năng rằng kết quả thanh lý tồi tệ hơn so với mô hình của người vay.

Các nền tảng tập trung có cơ chế căng thẳng riêng của chúng. Các yêu cầu về ký quỹ bảo trì có thể thay đổi theo biến động, và các động cơ thanh lý có thể kích hoạt ADL tự động giảm đòn bẩy khi nền tảng cần giảm rủi ro trong sổ sách. Điều đó không giống như một cuộc đấu giá của Maker, nhưng đó là bài học giống nhau: thanh lý là một phản ứng của hệ thống dưới căng thẳng, và người dùng không phải là ưu tiên.

Giả định về căng thẳng trong danh sách kiểm tra là đơn giản: trong các chuỗi sự kiện, cấu trúc thị trường trở thành kẻ thù. Đòn bẩy bảo thủ không phải là về cảm giác an toàn, mà là không trở thành dòng chảy bị ép buộc khi chu trình phản hồi bắt đầu.

Danh sách kiểm tra nhanh trước khi bạn vay

Danh sách kiểm tra phòng ngừa thanh lý này là điều quan trọng trước khi vị thế tồn tại. Nó được thiết kế để thực hiện trong hai phút, sau đó lặp lại bất cứ khi nào kích thước hoặc tài sản thế chấp thay đổi.

1. Xác định chỉ số kích hoạt chính xác trên giao thức hoặc địa điểm. Ghi lại tỷ lệ thanh lý hoặc mô hình yếu tố sức khỏe và quy tắc biên duy trì nếu đó là tài khoản tập trung. 2. Ghi lại giá thanh lý và ngưỡng hoảng sợ cá nhân ở trên. Ngưỡng hoảng sợ là nơi hành động diễn ra mà không cần tranh luận. 3. Kiểm tra các hệ số phạt và phí. Đối với Maker, ghi chú cắt và chuyển nó thành “nợ × cắt” để mục tiêu đấu giá được hiểu. 4.

Xác nhận thời gian oracle và hành vi giá tham chiếu. Đối với Maker, giả định rằng giá OSM được sử dụng để khởi tạo đấu giá bị trễ khoảng 1–2 giờ và giá đấu giá ban đầu là OSM*buf. 5. Quyết định cách cách ly biên. Chọn cách ly biên chéo một cách có chủ ý và xác nhận tài sản thế chấp nào hỗ trợ vị thế nào. 6. Chuẩn bị trước lộ trình cứu trợ. Đảm bảo nguồn tài sản trả nợ sẵn sàng, các phê duyệt đã được thực hiện và ví có gas cho chuỗi đang sử dụng.

7. Định nghĩa tự động hóa thoát. Nếu giao dịch perps hoặc biên, thiết lập logic lệnh dừng lỗ ngăn chặn việc trôi vào thanh lý trong một động thái nhanh.

Đây là quản lý rủi ro giao dịch như một thói quen, không phải là một thiết lập một lần.

Lời kết

Tôi đã thấy mọi người bị thanh lý trên Maker vì họ bám vào biểu đồ giao ngay và tự nói với mình rằng họ sẽ bổ sung “nếu nó gần đến.” Sự chậm trễ của OSM và giá khởi đầu đấu giá OSM*buf có nghĩa là đồng hồ của giao thức có thể chậm một đến hai giờ so với thị trường, và Dog.bark nhận tất cả nợ Vault có nghĩa là không có cứu trợ một phần nhẹ nhàng khi đã vượt qua giới hạn.

Nguyên tắc của tôi là coi thanh lý như cách mà một bàn biên xử lý một cuộc gọi. Hành động ở một ngưỡng cá nhân thoải mái trên kích hoạt của giao thức, và giả định rằng sự tắc nghẽn xuất hiện chính xác khi sự biến động xảy ra. Nếu vị thế chỉ tồn tại khi mọi thứ hoạt động hoàn hảo, nó đã được định kích thước sai cho cơ chế thanh lý.

Nguồn

• Tài liệu kỹ thuật Giao thức Maker
• Tài liệu kỹ thuật Giao thức Maker
• Tài liệu kỹ thuật Giao thức Maker
• Chainlink