Tasfiye tasarımı
Tasfiye girişi, vault ele geçirme ve LP settlement'ın Aave ile Avana arasında nasıl bölündüğü.
Genel bakış
Aave, bir pozisyonun ne zaman tasfiye edilebileceğine karar veren sistemdir ama altta yatan LP'yi nasıl settle edeceğini bilmez. Avana borç muhasebesi, sağlık kontrolleri ve tasfiye giriş noktası için Aave'yi kullanır; ardından vault teminatının arkasındaki gerçek pozisyonu çözmek için devralır.
Kritik tasarım kısıtı şudur: teminatın iki görünümü hizalı kalmalıdır. Aave bir ERC-20 vault token bakiyesi görürken Avana o bakiyeyi gerçekten destekleyen LP pozisyonunu izler. Vault temsilinin ele geçirilmesi her zaman doğru LP settlement yoluna çıktığında tasfiye sağlam kalır.
Operatöre dönük sıra için bakın: Likidatörler. Yürütme sırası için bakın: Tasfiye akışı.
Üç katman
Aave katmanı
Borcu, vault teminat bakiyesini, sağlık faktörünü ve ele geçirmeyi yetkilendiren tasfiye giriş noktasını izler.
Avana adaptör katmanı
Ele geçirilen vault teminatını alır, karşılık gelen vault token'ını yakar ve tasfiye olayını onu gerçekten destekleyen LP pozisyonuna geri eşler.
Avana settlement katmanı
Gerçek LP pozisyonunu belirler, uygun çözüm veya satış yolunu çalıştırır, borcu geri öder, likidatör ödülünü öder ve kalan fazlalığı piyasa kuralına göre yönlendirir.
Temel kurallar
Ana kural basit ama kesindir: Aave ERC-20 vault teminatını tasfiye eder, Avana o vault teminatının arkasındaki LP pozisyonunu settle eder. Tasarımdaki her şey bu iki adımı tutarlı tutmak içindir.
- Vault token'ları gerçek değere eşlenmelidir
Tasfiye edilen vault token miktarı her zaman gerçek LP teminat değerine karşılık gelmelidir; kurtarılamayan sentetik bir bakiye olmamalıdır.
- Destekleyen teminat açık kalamaz
LP pozisyonu settle edildikten sonra karşılık gelen vault token yakılmalıdır; böylece temsil, izlemesi gereken varlıktan daha uzun yaşamaz.
- No unbacked supply
Aktif vault token arzı, arkasında aktif LP teminatı olmadan var olamaz.
- Fazlalık piyasa kuralını izler
Önce borç, sonra likidatör ödülü, sonra settlement maliyetleri karşılanır; ancak ondan sonra kalan değer piyasanın fazlalık kuralını izler.
LP teminat karmaşıklığı
LP destekli pozisyonlar tasfiye sırasında hepsi aynı şekilde davranmaz. Fungible bir LP token çoğu zaman orantılı bozulabilir veya transfer edilebilirken Uniswap v3 NFT, aralığı, ücret birikimi ve çözüm rotası pozisyon düzeyinde önem taşıyan tek bir ayrık pozisyondur.
Bu nedenle settlement katmanı eşleşen vault arzını temizlemeden önce teminat ailesini, tam destekleyici pozisyonu ve hedeflenen çözüm yolunu bilmelidir.
Tasfiye yolları
Settlement yolu, vault token'ın arkasında ne tür LP teminatı olduğuna bağlıdır.
Fungible LP teminatı
- • Settlement, tüm LP bakiyesini tasfiyeden geçirmeye zorlamak yerine, karşılanması gereken borca orantılı olabilir.
- • Piyasa tasarımı kısmi kurtarmayı destekliyorsa Avana yalnızca tasfiye için gereken miktarı bozabilir veya transfer edebilir.
- • Hesap sonrasında gerekli sağlık kontrollerini sağlıyorsa kalan pozisyon aktif kalabilir.
NFT-backed LP collateral
- • NFT'nin kendisi çözülen teminat birimi olduğu için tasfiye için seçildiğinde tüm pozisyon settlement'a geçer.
- • Aave vault teminatını ele geçirdikten ve Avana o ele geçirmeyi NFT pozisyonuna geri eşledikten sonra eşleşen vault token'ları yakılır.
- • Avana o teminat ailesinin piyasa kurallarına göre gerçek LP pozisyonunu çözebilir, satabilir, müzayede edebilir veya transfer edebilir.
- • Piyasa kuralı açıkça söylemedikçe fazlalık otomatik olarak likidatöre gitmez.
Pozisyon durumu
ACTIVE
Pozisyon hâlâ teminat değeri katkısı yapıyordur ve öne çıkan vault token'ları o canlı LP pozisyonu tarafından tamamen desteklenir.
LIQUIDATING
Seçilen teminat artık borçlu tarafından çekilemez ve aktif olarak settlement yolundan geçiyordur.
SETTLED
LP pozisyonu çözülmüştür ve eşleşen vault token'ları artık öne çıkmamalıdır.
Fazlalık işleme
Settlement değeri sabit bir sırada uygulanır. Önce borcu, sonra likidatör ödülünü, sonra settlement maliyetlerini karşılar. Bu yükümlülüklerden sonra kalan değer fazlalıktır ve settle edilen teminatın piyasa kuralını izler.
Settlement değeri borç ve ödülü karşılamaya yetmezse piyasanın açık bir kötü borç yolu gerekir. Tasfiye dokümantasyonu bu açığı otomatik kaybolan bir şey değil, ele alınması gereken gerçek bir durum olarak tanımlamalıdır.
Operatör modeli
Bir pozisyon tasfiye eşiğini aştığında tasfiyeler izin gerektirmez. Uygun herhangi bir likidatör izin verilen borç tutarını geri ödeyebilir ve settlement yolunu tetikleyebilir. LP teminatı basit token teminatından çözülmesi daha zordur; bu yüzden Avana uzmanlaşmış tasfiye kapsamını da hesaba katar.
- Likidatörler protokolün kullandığı aynı risk ve teminat durumunu izlemelidir.
- Yürütme, borç geri ödemesinden settlement'a atomik kalmalıdır.
- Ücret gerçekleşmesi, rota derinliği ve artık değer, yalnızca hız için optimize etmeden önce modellendirilmelidir.
- Kısmi kapsama ile tam kapsama farklı durumlardır ve aynı yönlendirme varsayımlarını paylaşmamalıdır.