Contratti e sicurezza
Riferimento di sicurezza per le superfici di contratto, le dipendenze esterne e i confini di revisione dietro il lending garantito da LP.
Panoramica
Il prestito garantito da LP collega la contabilità dei contratti alla custodia delle posizioni, ai prezzi degli oracle e ai percorsi di liquidazione specifici di DEX. Pertanto, la revisione della sicurezza copre sia l'esecuzione delle transazioni sia l'effetto delle condizioni di mercato variabili sul valore delle garanzie e sul recupero. La revisione contrattuale, economica e operativa affronta diverse parti di quel sistema. Una chiamata contrattuale valida può comunque produrre un risultato di prestito errato se il suo input di prezzo è obsoleto o se la sua ipotizzata via di liquidazione non può essere eseguita.
Sfide di sicurezza
- • Il valore LP può essere path dependent e spesso richiede logica di custodia e unwind specifica per DEX.
- • Uso improprio dell'oracolo o pricing stale possono creare perdita economica anche quando i contratti eseguono esattamente come codificati.
- • Governance, controllo dei parametri e risposta di emergenza fanno tutti parte della superficie di attacco.
Sicurezza multi-layer
Revisione dei contratti
La revisione di una nuova famiglia LP o di un percorso di esecuzione copre i contratti core interessati, gli adattatori DEX e i controlli privilegiati prima dell'attivazione.
Stress testing economico
Il test di stress esamina gli shock di mercato, i casi limite dell'oracolo e i fallimenti del routing della liquidazione insieme al comportamento dei singoli contratti.
Canali di revisione esterni
Gli audit formali e il programma Premio per la scoperta di bug Il programma fornisce canali di revisione complementari: le revisioni valutano un ambito di codice definito, mentre i report di bounty possono identificare comportamenti aggiuntivi sfruttabili.
Superfici core dei contratti
Logica del Borrow Spoke
Gestisce ammissione del collaterale, contabilità utente e ciclo di vita lato Spoke per i prestiti garantiti da LP.
Integrazione Hub
Collega la capacità di prestito a livello di Spoke ai vincoli condivisi di credito e liquidità nel layer Hub.
Adapter di oracolo e valorizzazione
Traduce le posizioni LP in valori di collaterale conservativi usando prezzi esterni, ricostruzione della posizione e assunzioni sul valore recuperabile.
Layer di esecuzione della liquidazione
Coordina percorsi di unwind, realizzazione delle fee, routing e settlement quando un conto non in salute deve essere chiuso o ridimensionato.
Trust boundary
- • La contabilità e il regolamento onchain richiedono cambiamenti di stato deterministici affinché debito, offerta del caveau e garanzie di supporto rimangano coerenti.
- • I feed dei prezzi, gli adattatori DEX e l'infrastruttura dei liquidatori introducono dipendenze i cui guasti possono influenzare la valutazione o il recupero.
- • La governance, l'autorità di pausa e gli aggiornamenti sono controlli privilegiati. I loro ruoli, limiti e blocchi temporali applicabili definiscono chi può modificare il comportamento del protocollo.
Prontezza all'audit
I rapporti di audit pubblicati identificano il codice e l'ambito esaminati, i risultati e le azioni correttive documentate. La revisione del deployment dipende da tali rapporti; questa pagina non stabilisce uno stato di audit o una data di completamento. Modifiche al supporto LP, alle vie di liquidazione, ai modelli di oracle, ai ruoli privilegiati o alle assunzioni di recupero influenzano l'ambito della revisione perché cambiano il modo in cui il collaterale viene ammesso, valutato o liquidato.