Tiêu đề ban đầu: "The Double Parachute Model: a mathematical model for using debt-backed stable coins as collaterals》
Tác giả: Yaron Velner
Tổng hợp gốc: ChinaDeFi
Tổng hợp gốc: ChinaDeFi
Các stablecoin được hỗ trợ bằng nợ như DAI, LUSD, sUSD và FRAX là nguồn thu nhập thụ động trong DeFi (như Curve LP hoặc Yearn Vaults). Người dùng có thể hưởng lợi từ các vị trí có đòn bẩy cao trong các tài sản đó. Nếu được sử dụng để chống lại các stablecoin khác như USDC, rủi ro thanh lý của người dùng được coi là tối thiểu (miễn là stablecoin được thế chấp vẫn được chốt).
Trong bài báo này, chúng tôi đề xuất một mô hình toán học để suy luận về ngưỡng thanh lý đối với các tài sản thế chấp ổn định. Khung đề xuất của chúng tôi giả định rằng đã tồn tại một mô hình toán học để giải thích các ngưỡng thanh lý đối với các tài sản dễ bay hơi. Do đó, khuôn khổ mới này có thể được áp dụng cho bất kỳ môi trường thử nghiệm căng thẳng hiện có nào.
Bài báo này đề xuất một mô hình để thiết lập giao thức đòn bẩy của Gearbox, tập trung vào kịch bản vay USDC bằng tài sản thế chấp bằng stablecoin.
Bài báo này đề xuất một mô hình để thiết lập giao thức đòn bẩy của Gearbox, tập trung vào kịch bản vay USDC bằng tài sản thế chấp bằng stablecoin.
mô hình dù đôi
LUSD stablecoin khá thanh lịch vì nó được hỗ trợ bởi một tài sản thế chấp duy nhất (tức là ETH) và nó có một cơ chế tích hợp trong đó các khoản nợ khó đòi của người dùng được xã hội hóa cho tất cả những người vay. Do đó, chúng tôi sử dụng LUSD để chứng minh khuôn khổ của mình, nhưng các nguyên tắc tương tự cũng được áp dụng khi phân tích DAI và sUSD.
Mô hình dù kép (DPM) được thiết kế để mô phỏng các khoản nợ khó đòi do sự tách rời giá vĩnh viễn, bỏ qua sự tách rời tạm thời do tính kém thanh khoản. Trong cách thiết lập như vậy, giá của LUSD chỉ bị ảnh hưởng bởi tỷ lệ phần trăm ETH mà nó hỗ trợ, vì vậy chúng ta có thể coi vị thế của người dùng với tài sản thế chấp LUSD và khoản nợ USDC trên thực tế là một vị thế có tài sản thế chấp là ETH (nợ vẫn là USDC ).
Cả Liquity (giao thức chạy LUSD) và thị trường cho vay (trong trường hợp của chúng tôi là Gearbox) sẽ cố gắng ngăn nợ xấu tích tụ.
Như được hiển thị trong biểu đồ bên dưới, khi giá ETH giảm xuống, dòng giảm thiểu đầu tiên sẽ được kích hoạt và Liquity sẽ cố gắng ngăn nợ xấu tích lũy trong hệ thống LUSD. Khi nỗ lực của Liquity thất bại và giá ETH tiếp tục giảm, thì các khoản nợ khó đòi của hệ thống LUSD sẽ làm giảm giá của chính LUSD, lúc đó hệ thống Gearbox sẽ can thiệp và cố gắng giảm các khoản nợ khó đòi trên nền tảng của chính nó.
Trong trường hợp tương tự chiếc dù đôi, chiếc dù đầu tiên là Liquity, sức mạnh của nó được xác định bởi sự hỗ trợ ETH mà nó hiện có. Chiếc dù thứ hai là Hộp số, sức mạnh của nó đến từ ngưỡng thanh lý được định cấu hình, ngưỡng càng thấp thì khả năng bảo vệ càng mạnh. Cụ thể, chiếc dù thứ hai có thể thoái hóa và được đặt ở mức 100% (trừ các hình phạt thanh lý hiện hành và sai lệch tiên tri đã biết) khi tỷ lệ hỗ trợ ETH trên LUSD đủ cao.
khuôn khổ chính thức
Về mặt hình thức, chúng tôi coi hệ thống LUSD là một người dùng duy nhất với số lượng tài sản thế chấp ETH là X và số nợ LUSD là Y. Chúng tôi kiểm tra căng thẳng hệ thống LUSD để tìm giá trị dự kiến có rủi ro/số tiền xấu, điều này có thể được thực hiện trong bất kỳ môi trường kiểm tra căng thẳng tiêu chuẩn nào. Ngưỡng thanh lý của Gearbox sau đó được đặt để bù đắp các khoản nợ khó đòi trong hệ thống LUSD. Ví dụ: nếu giá trị dự kiến có rủi ro trong hệ thống LUSD là 15% nguồn cung LUSD, thì Gearbox sẽ đặt ngưỡng thanh lý là 85%.
Chúng tôi lưu ý rằng trong những trường hợp bình thường, LUSD dự kiến sẽ có VaR là 0%.
Biến động giá cả
Hầu hết các stablecoin phi tập trung không có cơ chế vật lý để buộc chúng giao dịch ở mức chính xác 1 đô la. Thay vào đó, chúng dao động quanh mức 1 đô la, với sự biến động liên quan đến tính thanh khoản DEX tương ứng (thường là tính thanh khoản của Curve Finance).
Hầu hết các stablecoin này không phải chịu chênh lệch giá phi rủi ro ngay cả khi ở trên hoặc dưới mức cố định. Tuy nhiên, người ta có thể kỳ vọng giá sẽ bật trở lại mức 1.
Bằng cách kiểm tra khung thời gian ngắn hạn là 1 giờ, chúng tôi nhận thấy rằng khối lượng giao dịch của các tài sản này là khá phiến diện.
Như biểu đồ bên dưới cho thấy, khi phân tách khối lượng Tài chính Curve cho các giao dịch FRAX thành các cửa sổ 1 giờ, (khối lượng có trọng số) trung bình trên 90% khối lượng là đơn phương.
Điều đó nói rằng, FRAX vẫn được chốt hoàn hảo do lượng lớn thanh khoản của Curve (hơn 0,5 tỷ đô la) được sở hữu gần như hoàn toàn bởi chính giao thức FRAX.
Đây không phải là trường hợp của LUSD, vốn có ít giao dịch phụ hơn mỗi giờ nhưng chịu sự phân tách hướng lên gần như vĩnh viễn.
Cuối cùng, sUSD cân bằng nhất về giao dịch một phía, nhưng về cơ bản vẫn là một phía.
Do đó, chúng tôi cũng xem xét tính ổn định của thanh khoản DEX so với USDC và giả định rằng khối lượng hữu cơ đảo ngược sẽ không giảm thiểu việc thanh lý theo tầng. Điều đó nói rằng, miễn là stablecoin có khả năng thanh toán, thì tính biến động của tài sản sẽ vẫn ở mức thấp và do đó, dự kiến sẽ có tương đối ít thanh lý.
khuôn khổ chính thức
Để đảm bảo an toàn, chúng tôi đã mô phỏng tình huống trong đó tất cả tài sản thế chấp ổn định của Gearbox được thanh lý trong vòng một ngày mà không có bất kỳ sự phục hồi nào về giá sau mỗi lần thanh lý.
phân loại
tài sản ban đầu
Đối với các tài sản thô như sUSD và LUSD, chúng tôi mô phỏng theo mô hình nhảy dù kép và mô hình dao động giá, đồng thời đặt ngưỡng thanh lý ở mức tối thiểu của hai đề xuất này.
Mã thông báo LP đường cong
Các mã thông báo Curve LP như mã thông báo LUSD/3crv LP rất đặc biệt vì giá của chúng cao hơn giá USDC ($1). Điều này là do những hạn chế kỹ thuật của họ về dự báo giá.
Mặt khác, việc gửi tài sản vào hệ thống Curve sẽ tạo ra rủi ro hợp đồng thông minh bổ sung. Rủi ro này có thể được giảm thiểu bằng cách tính phí người dùng cao hơn. Trong mọi trường hợp, hợp đồng thông minh Curve đã được kiểm tra nghiêm ngặt và được coi là rủi ro thấp.
Tiền ổn định thuật toán
Tiền ổn định thuật toán
Trong trường hợp này, chúng tôi có thể áp dụng DPM với FXS làm tài sản thế chấp. Tuy nhiên, do FRAX có thỏa thuận và thanh khoản so với USDC nên thanh khoản này cũng sẽ được coi là thanh khoản của FXS.
IOS
Android