🇮🇹 "Djed: implementazione di stablecoin algoritmica per una comprovata stabilità del prezzo"

:it: Traduzione italiana di “Djed: implementing algorithmic stablecoins for proven price stability” scritto da Olga Hryniuk nel blog IOG


Djed: implementazione di stablecoin algoritmica per una comprovata stabilitĂ  del prezzo

Djed è la prima moneta ad utilizzare la verifica formale per eliminare la volatilità dei prezzi

img

La volatilità delle criptovalute è uno degli ostacoli alla sua più ampia adozione. Le tecnologie Blockchain forniscono benefici come la trasparenza, l’immutabilità dei dati e la sicurezza comprovata delle operazioni finanziarie. Tuttavia, è più difficile delle valute fiat prevedere come si comporterà il mercato, o prevedere il valore di una valuta digitale. Questo ostacola l’uso delle criptovalute come unità di contabilità e di scambio nelle operazioni quotidiane.

Una stablecoin è una criptovaluta ancorata a un paniere di valute fiat o a una singola valuta (per esempio, USD o EUR); materie prime come oro o argento; azioni; o altre criptovalute. Le Stablecoin includono meccanismi che mantengono una bassa deviazione di prezzo dal loro prezzo target e quindi sono utili per immagazzinare o scambiare valore, poiché i loro meccanismi incorporati eliminano la volatilità.

Alcune stablecoin mancano di trasparenza e liquidità delle loro riserve, il che compromette la loro stabilità di prezzo. Per affrontare queste sfide, IOG ha collaborato con Emurgo, un altro dei tre partner fondatori di Cardano, e la blockchain Ergo, che utilizza la contabilità basata su UTXO come Cardano, per lavorare su un contratto stablecoin chiamato Djed. Djed è basato sul design algoritmico. Ciò significa che utilizza contratti intelligenti per garantire la stabilizzazione dei prezzi, e che la moneta sarà utile per operazioni di finanza decentralizzata (DeFi).

Come funzionano le stablecoin?

Diversi meccanismi contribuiscono alla stabilità del valore della moneta e aiutano ad eliminare le variazioni di prezzo. Questi meccanismi sono sostenuti dai principi economici della domanda e dell’offerta.

Un meccanismo comune è quello di sostenere la stablecoin con una riserva della valuta usata come riferimento. Se la domanda è superiore all’offerta di ordini di vendita o di acquisto, questa offerta dovrebbe essere aumentata per evitare fluttuazioni nel prezzo. Tipicamente, le riserve di stablecoin non sono conservate in contanti. Invece, sono tenute in strumenti finanziari fruttiferi come le obbligazioni. I rendimenti su questi forniscono entrate per l’operatore.

Finché lo stablecoin è completamente sostenuto da riserve nella valuta a cui è ancorato - e l’operatore può reagire rapidamente alle variazioni della domanda - la stabilità del prezzo è mantenuta.

Rischi comuni

Le riserve di stablecoin sono comunemente associate agli investimenti. La mancanza di liquidità di questi investimenti può impedire all’operatore di reagire rapidamente alla domanda. Questo compromette la stabilità a breve termine.

Uno svantaggio delle stablecoin sostenute da fiat è che richiedono fiducia nelle entità che mantengono le riserve. La mancanza di trasparenza delle riserve o della rivendicazione di “full-backing”, combinata con misure di stabilizzazione inefficienti, hanno già causato la caduta di Tether stablecoin (USDT) sotto 0,96 dollari, come mostrato nella Figura 1.

img

Figura 1. Prezzo della stablecoin Tether (USDT) negli ultimi tre anni

I problemi di trasparenza non sorgono quando l’asset di supporto è una criptovaluta su una blockchain pubblica. Inoltre, l’uso di contratti intelligenti assicura un’esecuzione efficiente e affidabile delle misure di stabilizzazione grazie ai suoi meccanismi automatizzati e sicuri.

Meccanismi di stabilizzazione migliorati della stablecoin algoritmica Djed

Djed è un contratto stablecoin algoritmico supportato da cripto che agisce come una banca autonoma. Opera mantenendo una riserva di monete di base, e coniando e bruciando stablecoin e monete di riserva. Il contratto mantiene l’ancoraggio delle stablecoin ad un prezzo target comprando e vendendo stablecoin, utilizzando la riserva, e facendo pagare le commissioni, che si accumulano nella riserva, come mostrato nella Figura 2. I beneficiari finali di questo flusso di entrate sono i possessori di monete di riserva, che alimentano la riserva con fondi assumendo il rischio di fluttuazione del prezzo.

img

Figura 2. Come funziona Djed

Il Djed stablecoin è progettato come un asset ancorato ad una valuta fiat (USD), insieme ad un algoritmo di governo. Questo approccio fornisce un mezzo di scambio stabile. Ma Djed non si limita ad essere ancorato al dollaro. Può funzionare con altre valute, a condizione che ci siano oracoli che forniscono al contratto l’indice di prezzo corrispondente.

Il primo protocollo stablecoin formalmente verificato

Djed è il primo protocollo stablecoin formalmente verificato. L’uso di metodi formali nel processo di programmazione ha contribuito notevolmente alla progettazione e alle proprietà di stabilità di Djed. Utilizzando tecniche formali, le proprietà sono dimostrate da teoremi matematici:

  • Mantenimento del limite superiore e inferiore di Peg: il prezzo non andrĂ  sopra o oltre il prezzo impostato. Nell’intervallo normale del rapporto di riserva, gli acquisti e le vendite non sono limitati, e gli utenti non hanno alcun incentivo a scambiare stablecoin al di fuori dell’intervallo di peg in un mercato secondario.

  • Robustezza del peg durante i crolli del mercato: fino a un limite stabilito che dipende dal rapporto di riserva, il peg viene mantenuto anche quando il prezzo della moneta base scende bruscamente.

  • Nessuna insolvenza: nessuna banca è coinvolta, quindi non c’è nessun contratto bancario che possa fallire.

  • Nessuna corsa in banca: tutti gli utenti sono trattati equamente e pagati di conseguenza, quindi non c’è provabilmente alcun incentivo per gli utenti a correre a riscattare i loro stablecoin.

  • EquitĂ  monotonamente crescente per moneta di riserva: in alcune condizioni, l’eccedenza di riserva per moneta di riserva è garantita per aumentare man mano che gli utenti interagiscono con il contratto. In queste condizioni, ai possessori di monete di riserva è garantito il profitto.

  • Nessun drenaggio di riserve: sotto alcune condizioni, è impossibile per un utente malintenzionato eseguire una sequenza di azioni che rubi riserve dalla banca.

  • Diluizione limitata: c’è un limite al numero di detentori di monete di riserva e al loro profitto che può essere diluito a causa dell’emissione di piĂą monete di riserva.

Versioni di Djed

Ci sono due versioni di Djed:

  • Minimal Djed: questa versione è progettata per essere il piĂą semplice, intuitiva e diretta possibile, senza compromettere la stabilitĂ .

  • Djed esteso: questa versione piĂą complessa fornisce alcuni vantaggi aggiuntivi di stabilitĂ . Le differenze principali sono l’uso di un modello di prezzo continuo e di tariffe dinamiche per incentivare ulteriormente il mantenimento del rapporto di riserva ad un livello ottimale.

Implementazioni

I team IOG, Ergo ed Emurgo hanno lavorato all’implementazione del contratto stablecoin algoritmico Djed all’inizio del 2021 per testare diversi modelli.

La prima implementazione di un contratto stablecoin Djed è stata SigmaUSD su Ergo. Questa è stata la prima stablecoin algoritmica distribuita su un ledger basato su UTXO nel Q1 2021. Aveva una tassa dell’1% per le operazioni di acquisto o vendita, e un oracolo che aggiornava il tasso di cambio ogni ora. Questa versione iniziale è stata soggetta a un attacco di svuotamento delle riserve da parte di un utente anonimo che possedeva un gran numero di ERG (la moneta nativa di Ergo). L’attacco alla fine non ha avuto successo e si stima che l’attaccante abbia perso 100.000 dollari.

Per scoraggiare ulteriormente tali attacchi, questa distribuzione iniziale di Minimal Djed è stata sostituita da una versione in cui la tassa era impostata al 2%, l’oracolo si aggiornava ogni 12 minuti, e ogni aggiornamento dell’oracolo era permesso di cambiare il prezzo al massimo dello 0,49%, a meno che la differenza di prezzo fosse maggiore del 50%. Questo ha fornito una maggiore resilienza contro gli attacchi che prosciugano le riserve.

Djed è stato anche implementato dal team IOG in Solidity. Una versione utilizza la valuta nativa della blockchain Ethereum come moneta di base, e un’altra utilizza qualsiasi token ERC20-compliant come moneta di base. Finora, queste implementazioni sono state distribuite in testnet per il testnet di Binance Smart Chain, Fuji di Avalanche, Mumbai di Polygon, Kovan di Ethereum, Rinkeby di Ethereum e testnet di RSK.

Djed: Implementazione di Cardano

L’aggiornamento di Alonzo per Cardano abiliterà i contratti intelligenti utilizzando Plutus. Plutus è alimentato da Haskell, che garantisce un ambiente di programmazione sicuro e completo.

Una bozza di implementazione di una versione precedente di Minimal Djed è disponibile nel linguaggio Plutus. In questa implementazione, gli stablecoin e le monete di riserva sono beni nativi identificati in modo univoco dall’hash della politica monetaria che controlla la loro coniazione e combustione secondo il protocollo Djed. Questa implementazione presuppone anche che i dati dell’oracolo come il tasso di cambio siano forniti come dati firmati direttamente alle transazioni, invece di essere postati on-chain.

C’è anche un’implementazione OpenStar in corso. OpenStar è un framework per blockchain private autorizzate sviluppato in Scala. L’implementazione di Djed usando OpenStar segue l’idea dell’esecuzione dei contratti intelligenti fuori dalla catena per avere una stablecoin su Cardano che non dipende dai contratti intelligenti eseguiti sulla catena.

Per saperne di più sulla stablecoin Djed, vedere il documento di ricerca recentemente pubblicato o controllare la presentazione di Bruno Woltzenlogel Paleo, direttore tecnico IOG, all’Ergo summit 2021.

Vorremmo ringraziare e riconoscere Bruno Woltzenlogel Paleo per il suo contributo a questo articolo e il supporto durante tutto il processo della sua creazione.