Интерпретация модели двойной посадки: почему она имеет низкий риск?

Название: «Модель двойного парашюта: математическая модель использования обеспеченных долгами стейблкоинов в качестве залога».
Составил: ChinaDeFi
Обеспеченные долгами стейблкоины, такие как DAI, LUSD, sUSD и FRAX, являются источниками пассивного дохода в DeFi (например, Curve LP или Yearn Vaults). Пользователи могут получить выгоду от позиций с высоким кредитным плечом в этом типе активов. При использовании кредитного плеча против других стейблкоинов, таких как USDC, риск ликвидации пользователя считается минимальным (пока обеспеченный стейблкоин остается привязанным).
Таким образом, рынок кредитования получает выгоду от предложения высокого кредитного плеча таким пользователям, но может оказаться под угрозой безнадежных долгов, если залоговый стейблкоин потеряет свою привязку. Такие безнадежные долги можно смягчить, установив соответствующий порог ликвидации (он же LTV), который позволит платформе правильно ликвидировать залог, когда он не привязан. Но в то же время это также ограничивает рычаги, которые могут использовать пользователи.
В этой статье мы предлагаем математическую модель для определения порогов ликвидации стабильных залоговых активов. Предлагаемая нами концепция предполагает, что уже существует математическая модель для объяснения порогов ликвидации волатильных активов. Таким образом, эту новую структуру можно применить к любой существующей среде стресс-тестирования.
В этой статье представлена ​​модель настройки протокола кредитного плеча Gearbox с упором на сценарий заимствования USDC под залог в стейблкоинах.
 Модель двойного парашюта.
Стейблкоин LUSD довольно элегантен, поскольку он обеспечен единым залогом (т. е. ETH) и имеет встроенный механизм, позволяющий распределять безнадежные долги пользователя среди всех заемщиков. Поэтому мы используем LUSD для демонстрации нашей модели, но аналогичные принципы применяются при анализе DAI и sUSD.
Модель двойного парашюта (DPM) предназначена для моделирования безнадежных долгов, возникающих в результате постоянного разделения цен, при этом игнорируется временное разделение, возникающее из-за недостаточной ликвидности. В такой ситуации на цену LUSD влияет только процент ETH, который он поддерживает, поэтому мы можем рассматривать позицию пользователя с залогом LUSD и долгом в USDC как фактическую позицию, где залоговым активом является ETH (долг по-прежнему составляет USDC). ).
И Liquity (протокол, на котором работает LUSD), и рынок кредитования (в нашем случае Gearbox) будут пытаться предотвратить накопление безнадежных долгов.
Как показано на рисунке ниже, когда цена ETH падает, будет активирована первая линия смягчения, и Liquity попытается предотвратить накопление безнадежных долгов в системе LUSD. Когда попытка Ликвидности потерпит неудачу и цена ETH продолжит падать, безнадежные долги системы LUSD снизят цену самого LUSD. В это время система Gearbox вмешается и попытается уменьшить безнадежные долги на своей собственной платформе.
В аналогии с двойным парашютом первый парашют — это ликвидность, и его сила зависит от поддержки ETH, которую он имеет в настоящее время. Второй парашют — Gearbox. Его сила зависит от настроенного порога ликвидации. Чем ниже порог, тем сильнее защита. В частности, когда коэффициент поддержки ETH к LUSD достаточно высок, второй парашют может ухудшиться и установиться на 100% (за вычетом применимых штрафов за ликвидацию и известной предвзятости оракула).
 формальные рамки
Формально мы рассматриваем систему LUSD как одного пользователя с X-суммой залога в ETH и Y-суммой долга LUSD. Мы проводим стресс-тестирование системы LUSD, чтобы определить ожидаемую стоимость риска/сумму безнадежного долга. Это можно сделать в любой стандартной среде стресс-тестирования. Затем устанавливается порог ликвидации Gearbox для компенсации безнадежных долгов в системе LUSD. Например, если ожидаемое значение риска в системе LUSD составляет 15% от предложения LUSD, то Gearbox установит порог ликвидации в размере 85%.
Мы отмечаем, что при нормальных обстоятельствах ожидается, что значение риска LUSD составит 0%.
 колебания цен
Большинство децентрализованных стейблкоинов не имеют физического механизма, позволяющего торговать по цене ровно 1 доллар. Вместо этого они колеблются около 1 доллара США, при этом волатильность привязана к соответствующей ликвидности DEX (обычно ликвидности Curve Finance).
Большинство этих стейблкоинов не подлежат безрисковому арбитражу, даже если они торгуются выше или ниже их привязки. Однако кто-то может захотеть, чтобы цена вернулась к 1.
Исследуя краткосрочный период времени в 1 час, мы видим, что объем торгов этими активами довольно односторонний.
Как показано на диаграмме ниже, при разбиении объема Curve Finance для сделок FRAX на 1-часовые окна (взвешенные по объему) в среднем более 90% объема является односторонним.
Тем не менее, FRAX поддерживает идеальную привязку благодаря огромному объему ликвидности Curve (более 0,5 млрд долларов США), почти полностью принадлежащей самому протоколу FRAX.
Но это не относится к LUSD, у которого меньше побочных сделок в час, но он страдает от почти постоянного восходящего разъединения.
Наконец, с точки зрения односторонних транзакций, sUSD является наиболее сбалансированным, но по сути это все же односторонняя транзакция.
Поэтому мы также учитываем стабильность ликвидности DEX относительно USDC и предполагаем, что органический объем торгов в противоположном направлении не смягчает каскадные ликвидации. Тем не менее, пока стейблкоин является платежеспособным, волатильность актива будет оставаться низкой, и, следовательно, ожидается относительно небольшое количество ликвидаций.
 формальные рамки
На всякий случай мы смоделировали сценарий, в котором все стабильное обеспечение Gearbox было ликвидировано за один день без какого-либо восстановления цен после каждой ликвидации.
 Классификация
первоначальные активы
Для исходных активов, таких как sUSD и LUSD, мы проводим моделирование на основе модели двойного парашюта и модели волатильности цен и устанавливаем порог ликвидации на минимальное из этих двух предложений.
Токен Curve LP
Токены Curve LP, такие как токены LUSD/3crv LP, являются особенными, поскольку их цена выше, чем цена USDC (1 доллар США). Это связано с их техническими ограничениями в прогнозировании цен.
Таким образом, мы получаем особые случаи в токенах LP, таких как LUSD/3crv, где LUSD можно обменять на 0,99 доллара США в ETH, пока он платежеспособен, и поскольку его несовершенный оракул ограничивает цену до 1 доллара, мы получаем: Этот актив не подвержен колебаниям цены, поэтому его ликвидность на DEX незначительна.
С другой стороны, размещение активов в системе Curve сопряжено с дополнительными рисками смарт-контрактов. Этот риск можно снизить, взимая с пользователей более высокие комиссии. В любом случае, смарт-контракты Curve были тщательно протестированы и считаются малорискованными.
Алгоритмический стейблкоин
Стейблкоин FRAX также частично поддерживается токеном управления FXS, который отчеканивается всякий раз, когда он теряет некоторую поддержку.
В этом случае мы можем применить DPM с FXS в качестве залогового актива. Однако, поскольку FRAX имеет протоколы и ликвидность по сравнению с USDC, эта ликвидность также будет считаться ликвидностью FXS.