Дизайн ліквідації
Як точку входу ліквідації, вилучення 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.
- Реалізацію комісій, глибину маршруту й залишкову вартість варто моделювати, перш ніж оптимізувати лише швидкість.
- Часткове й повне покриття — різні випадки й не повинні ділити одні й ті самі припущення маршрутизації.