Skip to main content
Queste pagine avanzano quattro affermazioni a ripetizione: che un calcolo di margine si verifica in isolamento, che chiunque può ricalcolare una selezione di auto-deleveraging, che il funding è derivato e non deciso, e che due nodi onesti producono risultati identici al byte. Un’affermazione di questa forma non vale nulla finché qualcuno fuori dal protocollo non l’ha eseguita. Questa pagina spiega come. Ogni controllo nomina gli input, da dove arrivano e — altrettanto importante — che cosa non stabilisce.
Solo aritmetica
Dati pubblici, qualsiasi nodo
Un nodo completo tuo
Un requisito di margine
Un prezzo di liquidazione
Una selezione ADL
Un pagamento di funding
Un blocco, byte per byte
Due dei cinque non richiedono alcuna rete: sono funzioni pure su un record di livelli pubblicato.

​
1 · Un requisito di margine

Che cosa ti serve: un record dei livelli di leva e una dimensione di posizione. Nient’altro. Nessun nodo, nessuna rete, nessun conto. Margine iniziale e di mantenimento sono funzioni pure del nozionale e del record dei livelli; formule e arrotondamento esatto sono su Leva: IM=nozionale×im_leverage×10exponent\text{IM} = \text{nozionale} \times \text{im\_leverage} \times 10^{\text{exponent}} MM=max⁡ ⁣(nozionale×mm_leverage×10exponent−deduzione,  0)\text{MM} = \max\!\left(\text{nozionale} \times \text{mm\_leverage} \times 10^{\text{exponent}} - \text{deduzione},\; 0\right) I record dei livelli sono pubblicati nel gruppo DEX Config della reference dell’API — im_leverage, mm_leverage, l’exponent condiviso e il deduction di ciascun livello. Scegli un nozionale, valuta entrambe le espressioni sulla carta e confronta con quanto la sede addebita alla stessa posizione. Che cosa prova: il requisito è una funzione pubblicata di parametri pubblici, non un giudizio conto per conto. Che cosa non prova: che il record dei livelli sia ben scelto. È una questione di governance, non di aritmetica.
L’arrotondamento fa parte della specifica, non è una tolleranza. Se il tuo intero differisce di un’unità da quello della sede, uno dei due è sbagliato: prima di decidere quale, guarda le regole di arrotondamento sulla pagina Stanza di compensazione.

​
2 · Un prezzo di liquidazione

Che cosa ti serve: lo stesso record dei livelli, più il tuo saldo e la tua posizione. La soglia è un rapporto, definito su Liquidazioni: utilizzo=margine di mantenimentocollaterale netto\text{utilizzo} = \frac{\text{margine di mantenimento}}{\text{collaterale netto}} Il collaterale netto è il saldo più il P&L non realizzato, meno quanto gli ordini in book hanno riservato. Risolvi per il prezzo mark al quale il rapporto raggiunge la soglia e hai il prezzo al quale il protocollo agirà — prima che agisca. Che cosa prova: la soglia è ricavabile in anticipo dai tuoi stessi numeri. Che cosa non prova: il prezzo al quale verrai effettivamente chiuso, che dipende dal book in quel momento ed è limitato dal prezzo di insolvenza.

​
3 · Una selezione di auto-deleveraging

Che cosa ti serve: le posizioni aperte e i prezzi mark di un mercato, da qualsiasi nodo completo. La selezione è un punteggio, definito su Auto-deleveraging: punteggio=% profitto non realizzato×leva effettiva\text{punteggio} = \text{\% profitto non realizzato} \times \text{leva effettiva} Preleva le posizioni di un mercato dal gruppo Accounts e il prezzo certificato dal gruppo Oracle, calcola il punteggio per ogni posizione sul lato in profitto e ordina. Quell’ordinamento è la coda. Confronta la testa della coda che hai calcolato con l’indicatore ADL mostrato dall’interfaccia. Che cosa prova: la coda è una funzione di stato pubblico. Nessuno sceglie, e non c’è al suo interno una posizione che la tua aritmetica non sappia trovare. Che cosa non prova: che il deleveraging non arrivi a te. Una coda che sai calcolare resta una coda in cui puoi trovarti.

​
4 · Un pagamento di funding

Che cosa ti serve: il book degli ordini e l’indice certificato del round di regolamento, più la tua posizione. Il tasso si costruisce in tre passi su Funding — un premio pesato per la profondità, scalato all’intervallo del mercato, poi vincolato: P=max⁡(0,  bid pesato−indice)  −  max⁡(0,  indice−ask pesato)indiceP = \frac{\max(0,\; \text{bid pesato} - \text{indice}) \;-\; \max(0,\; \text{indice} - \text{ask pesato})}{\text{indice}} F=F8h×secondi dell’intervallo28,800Ffinal=clamp⁡ ⁣(F,  Fmin⁡,  Fmax⁡)F = F_{8h} \times \frac{\text{secondi dell'intervallo}}{28{,}800} \qquad F_{\text{final}} = \operatorname{clamp}\!\left(F,\; F_{\min},\; F_{\max}\right) Poi l’addebito vero e proprio: pagamento di funding=dimensione posizione×prezzo mark×tasso di funding\text{pagamento di funding} = \text{dimensione posizione} \times \text{prezzo mark} \times \text{tasso di funding} Il book arriva dal gruppo Markets, l’indice certificato da Oracle e il pagamento che il protocollo ha effettivamente eseguito dall’endpoint dei pagamenti di funding nel gruppo Accounts. Ricalcola e confronta. Che cosa prova: il tasso è stato derivato dal book e dall’indice, non fissato da un operatore. Che cosa non prova: che l’indice fosse giusto. Vedi che cosa l’oracolo garantisce e che cosa no.

​
5 · Un blocco, byte per byte

Che cosa ti serve: un nodo completo tuo. Chiunque può farne girare uno — vedi Gestire un nodo.
È l’unico controllo di questa pagina non disponibile oggi. La rete è su una testnet privata finché non apre l’accesso pubblico: i primi quattro si possono fare adesso, questo lo diventerà allora. È elencato qui perché gli altri quattro valgono quanto vale questo.
È il controllo su cui poggiano gli altri quattro. Prendi un blocco confermato e il suo stato precedente, eseguilo e confronta il tuo risultato con quello della rete. Il determinismo qui è imposto, non sperato: il percorso di esecuzione non legge orologio, entropia a runtime, virgola mobile né ordini di iterazione randomizzati per hash — quindi una divergenza è un difetto, non una tolleranza. Vedi Perché il risultato è riproducibile. Due proprietà ne fanno un test vero e non una cerimonia. L’ordinamento è un oggetto confermato dal consenso, quindi la sequenza che ripeti è quella che un quorum ha firmato e non quella che il tuo nodo ha dedotto. E i prezzi sono confermati dalle stesse firme, così non esiste una finestra in cui potresti ripetere contro un prezzo che la rete non ha certificato. Che cosa prova: che lo stato che ti viene servito è stato prodotto dalle regole così come pubblicate, su input che la rete ha confermato. Che cosa non prova: che le regole siano prive di difetti. Riprodurre un bug esattamente resta riprodurre un bug: per questo accanto a tutto ciò esistono gli audit e il bug bounty.

​
Che cosa nulla di questo copre

La verifica limita ciò che va preso sulla fiducia; non lo elimina. Ciò che resta — l’insieme dei validatori, il quorum sui prezzi, la portata della governance sui parametri e il bridge — è elencato su Ipotesi di fiducia. Leggi quella pagina subito dopo se sei venuto a cercare i limiti anziché le garanzie.

​
Dove proseguire

Ipotesi di fiducia

Che cosa resta una volta verificato tutto ciò che è verificabile.

Gestire un nodo

Hardware, sincronizzazione e che cosa esegue davvero un validatore.

IntentionKernel

Le quattro chiusure che danno senso al replay.

Reference dell'API

Dettaglio a livello di campo per ogni input citato sopra.