Sözleşmeler ve güvenlik
LP destekli kredinin arkasındaki sözleşme yüzeyleri, harici bağımlılıklar ve inceleme sınırları için güvenlik referansı.
Genel bakış
Avana LP teminatına karşı kredi verdiği için güvenlik incelemesi yalnızca bir sözleşmenin derlenip bakiyeleri doğru transfer edip etmediğini kapsamamalıdır. Piyasa stresteyken fiyatlama, saklama, tasfiye ve ayrıcalıklı kontrollerin nasıl davrandığını da kapsamalıdır.
Sözleşme incelemesi, ekonomik inceleme ve operasyonel inceleme LP piyasaları için hepsi önemlidir. Birbirini güçlendirirler ve üç ilgisiz kontrol listesi değil, tek bir güvenlik programı olarak ele alınmalıdırlar.
Güvenlik zorlukları
- • LP değeri yola bağımlı olabilir ve çoğu zaman DEX'e özgü saklama ve çözüm mantığı gerektirir.
- • Oracle kötüye kullanımı veya bayat fiyatlama, sözleşmeler kodlandığı gibi yürütülse bile ekonomik kayıp yaratabilir.
- • Yönetişim, parametre kontrolü ve acil yanıt saldırı yüzeyinin parçasıdır.
Çok katmanlı güvenlik
Sözleşme incelemesi
Yeni LP aileleri veya yeni yürütme yolları etkinleştirilmeden önce çekirdek sözleşme yüzeyleri, adaptörler ve ayrıcalıklı kontrol yolları incelenmelidir.
Ekonomik stres testi
Yalnızca birim düzeyinde sözleşme davranışı değil, piyasa şokları, oracle kenar durumları ve tasfiye yönlendirme arızalarını test edin.
Harici inceleme kanalları
Resmi denetimler ve Bug Bounty programı ikisi de aktif kalmalıdır. Biri diğerinin yerini almaz.
Çekirdek sözleşme yüzeyleri
Borrow Spoke mantığı
Teminat kabulünü, kullanıcı muhasebesini ve LP destekli krediler için spoke tarafı yaşam döngüsünü yönetir.
Hub entegrasyonu
Spoke düzeyinde borç alma kapasitesini Hub katmanındaki paylaşılan kredi ve likidite kısıtlarına bağlar.
Oracle ve değerleme adaptörleri
LP pozisyonlarını harici fiyatlar, pozisyon yeniden kurulumu ve kurtarılabilir değer varsayımları kullanarak muhafazakâr teminat değerlerine çevirir.
Tasfiye yürütme katmanı
Sağlıksız bir hesabın kapatılması veya yeniden boyutlandırılması gerektiğinde çözüm yollarını, ücret gerçekleşmesini, yönlendirmeyi ve settlement'ı koordine eder.
Güven sınırları
- • Zincir üstü muhasebe ve tasfiye settlement'ı tetiklendikten sonra deterministik olmalıdır.
- • Oracle kaynakları, DEX adaptörleri ve operasyonel likidatör altyapısı harici bağımlılıklardır ve öyle izlenmelidir.
- • Yönetişim, pause yetkisi ve yükseltmeler ayrıcalıklı güçlerdir; mümkün olduğunca sınırlı, incelenebilir ve timelock'lu kalmalıdır.
Denetim hazırlığı
Bu sayfa spekülatif denetçi takvimleri veya yer tutucu kilometre taşları yayımlamaz. Denetim raporları, kapsamlar ve iyileştirme notları gerçekten var olduklarında ve tam incelenebildiklerinde yayımlanmalıdır.
Yüksek değerli denetim hedefleri genellikle yeni LP ailesi desteği, yeni tasfiye yolları, yeni oracle modelleri ve ayrıcalıklı kontrolü veya kurtarılabilir değer varsayımlarını genişleten herhangi bir değişikliği içerir.