Дизайн ликвидации
Как точка входа ликвидации, изъятие vault и LP-settlement разделены между Aave и Avana.
Обзор
Aave — система, которая решает, когда позицию можно ликвидировать, но не знает, как рассчитать базовый LP. Avana использует Aave для учёта долга, проверок здоровья и точки входа ликвидации, затем берёт на себя разрешение реальной позиции за vault-залогом.
Критическое ограничение дизайна: два взгляда на залог должны оставаться согласованными. Aave видит баланс ERC-20 vault-токена, а Avana отслеживает LP-позицию, которая реально обеспечивает этот баланс. Ликвидация остаётся корректной только если изъятие vault-представления всегда ведёт к правильному пути LP-settlement.
Операторскую последовательность см. в Ликвидаторы. Последовательность исполнения см. в Поток ликвидации.
Три слоя
Слой Aave
Отслеживает долг, баланс vault-залога, фактор здоровья и точку входа ликвидации, авторизующую изъятие.
Слой адаптера Avana
Принимает изъятый vault-залог, сжигает соответствующий vault-токен и сопоставляет событие ликвидации с LP-позицией, которая его реально обеспечивала.
Слой settlement Avana
Идентифицирует реальную LP-позицию, запускает подходящий путь размотки или продажи, погашает долг, выплачивает вознаграждение ликвидатору и направляет любой surplus по правилу рынка.
Базовые правила
Главное правило простое, но строгое: Aave ликвидирует ERC-20 vault-залог, а Avana рассчитывает LP-позицию за этим vault-залогом. Всё остальное в дизайне существует, чтобы эти два шага оставались согласованными.
- Vault-токены должны соответствовать реальной стоимости
Ликвидируемая сумма vault-токена всегда должна соответствовать реальной стоимости LP-залога, а не синтетическому балансу, который нельзя восстановить.
- Обеспечивающий залог не может оставаться outstanding
После settlement LP-позиции соответствующий vault-токен должен быть сожжён, чтобы представление не переживало актив, который должно было отслеживать.
- No unbacked supply
Активное предложение vault-токена не может существовать без активного LP-залога за ним.
- Surplus следует правилу рынка
Сначала покрывается долг, затем вознаграждение ликвидатора, затем издержки settlement, и только потом оставшаяся стоимость следует правилу surplus рынка.
Сложность LP-залога
Позиции под LP ведут себя при ликвидации по-разному. Взаимозаменяемый LP-токен часто можно выкупить или передать пропорционально, тогда как Uniswap v3 NFT — одна дискретная позиция, для которой диапазон, начисление комиссий и маршрут размотки важны на уровне позиции.
Поэтому слой settlement должен знать семейство залога, точную обеспечивающую позицию и намеченный путь размотки, прежде чем очищать соответствующее предложение vault.
Пути ликвидации
Путь settlement зависит от того, какой LP-залог стоит за vault-токеном.
Взаимозаменяемый LP-залог
- • Settlement может быть пропорционален долгу, который нужно покрыть, а не прогонять весь LP-баланс через ликвидацию.
- • Avana может выкупить или передать только нужную для ликвидации сумму, когда дизайн рынка поддерживает частичное recovery.
- • Оставшаяся позиция может остаться активной, если счёт после этого всё ещё проходит требуемые проверки здоровья.
NFT-backed LP collateral
- • Вся позиция переходит в settlement, когда выбрана для ликвидации, потому что сам NFT — единица залога, которую разрешают.
- • Соответствующие vault-токены сжигаются после того, как Aave изымает vault-залог, а Avana сопоставляет это изъятие с NFT-позицией.
- • Avana может размотать, продать, провести аукцион или передать реальную LP-позицию по правилам рынка для этого семейства залога.
- • Surplus не уходит ликвидатору автоматически, если правило рынка явно этого не говорит.
Состояние позиции
ACTIVE
Позиция всё ещё вносит залоговую стоимость, а outstanding vault-токены полностью обеспечены этой живой LP-позицией.
LIQUIDATING
Выбранный залог больше невыводим заёмщиком и активно проходит путь settlement.
SETTLED
LP-позиция разрешена, и соответствующие vault-токены больше не должны быть outstanding.
Обработка surplus
Стоимость settlement применяется в фиксированном порядке. Сначала покрывается долг, затем вознаграждение ликвидатора, затем издержки settlement. Любая стоимость после этих обязательств — surplus, и он следует правилу рынка для рассчитываемого залога.
Если стоимости settlement недостаточно для покрытия долга и вознаграждения, рынку нужен явный путь bad debt. Документация ликвидации должна описывать этот shortfall как реальное состояние для обработки, а не как то, что исчезает само.
Модель оператора
Ликвидации permissionless, когда позиция пересекает порог ликвидации. Любой eligible ликвидатор может погасить допустимую сумму долга и запустить путь settlement. LP-залог сложнее разматывать, чем простой токенный залог, поэтому Avana также учитывает специализированное покрытие ликвидации.
- Ликвидаторы должны отслеживать то же риск-состояние и состояние залога, что использует протокол.
- Исполнение должно оставаться атомарным от погашения долга до settlement.
- Реализацию комиссий, глубину маршрута и остаточную стоимость стоит моделировать, прежде чем оптимизировать только скорость.
- Частичное и полное покрытие — разные случаи и не должны делить одни и те же допущения маршрутизации.