Come possono gli exchange centralizzati (CEX) adottare pratiche sicure? Il co-fondatore di Ethereum condivide le sue riflessioni

Il crollo di FTX ha sollevato domande significative sulla credibilità degli exchange di criptovalute centralizzati (CEX). FTX era infatti uno degli exchange più popolari nello spazio delle criptovalute, e il suo collasso ha lasciato una dolorosa cicatrice su tutto il mercato delle criptovalute.

L'intera comunità delle criptovalute ora si chiede: come possono gli utenti garantire la sicurezza dei loro exchange e renderli responsabili per l'adozione di pratiche migliori? Questa è anche una preoccupazione per altri exchange di criptovalute legittimi. Piattaforme di questo tipo non devono e non dovrebbero funzionare come le banche, e quindi non possono fare affidamento esclusivamente su metodi regolamentati come licenze governative e audit di governance per dimostrare la loro credibilità.

Il co-fondatore di Ethereum, Vitalik Buterin, ha condiviso informazioni critiche su come gli exchange centralizzati (CEX) possono adottare pratiche sicure e costruire credibilità utilizzando metodi crittografici on-chain. Ecco alcuni dei punti chiave del recente blog di Buterin:

I metodi tradizionali di prova di solvibilità che funzionano ancora 

I bilanci sono la tecnica più antica nei libri per dimostrare crittograficamente la solvibilità di un exchange. Gli exchange centralizzati possono mostrare efficacemente di avere fondi sufficienti per coprire le passività dei clienti, rilasciando pubblicamente i rapporti sulle transazioni dei loro asset bloccati. Questo è stato fatto da Mt. Gox, uno dei primi exchange di Bitcoin nel 2011. L'azienda ha dimostrato la sua prova di solvibilità trasferendo 424242 BTC a un indirizzo pre-annunciato.

Sebbene efficace, l'approccio del bilancio crea un problema in termini di determinazione dell'importo totale dei depositi degli utenti. Ad esempio, nel caso di Mt. Gox, come si può confermare che i depositi degli utenti della piattaforma non superino i suoi fondi totali nel bilancio?

Secondo il co-fondatore di Ethereum, il modo più semplice per affrontare questa preoccupazione è pubblicare un elenco completo di coppie (Nome utente, Saldo). Questo risolve il problema della prova di solvibilità ma crea un nuovo problema di privacy.

La tecnica dell'albero di Merkle per preservare la privacy degli utenti

Secondo Buterin, la tecnica dell'albero di Merkle può portare 'prova di solvibilità' e privacy degli utenti in un unico modello unificato. Questa tecnica include la creazione di una tabella dei saldi dei clienti in un albero di somma di Merkle, dove ogni nodo è una coppia (saldo, hash).

I nodi del livello inferiore rappresentano i saldi degli utenti e gli hash dei nomi utente di ogni singolo cliente. Il saldo nei nodi superiori include la somma dei due saldi sottostanti. Gli utenti possono calcolare gerarchicamente i loro saldi dal nodo inferiore al nodo più alto, e se la somma è corretta, significa che il loro saldo è correttamente incluso nell'importo totale.

Mentre l'approccio dell'albero di Merkle fornisce un certo livello di privacy, dimostrando anche la prova delle passività, non garantisce comunque la massima sicurezza delle informazioni degli utenti.

ZK-SNARKs: un modello robusto per gli exchange centralizzati

Secondo Buterin, il metodo più potente per garantire la prova delle passività e mantenere la privacy degli utenti è la tecnologia ZK-SNARKs. Sta per Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.

ZK-SNARKs è un modo per cui le transazioni sono private e completamente crittografate sulla blockchain pur essendo validate utilizzando le regole di consenso della rete. Questo approccio può mostrare che il mittente ha l'importo di fondi che vuole trasferire senza rendere pubbliche queste informazioni. Ad esempio, dato l'hash di un numero casuale, un exchange potrebbe convincere l'utente che esiste effettivamente un numero con questo valore di hash, senza rivelare qual è.

Maggiori informazioni dettagliate su questa tecnologia possono essere trovate nei documenti fondamentali ufficiali di Ethereum.

Altri consigli per gli exchange centralizzati da Vitalik Buterin

Il co-fondatore di Ethereum ha ulteriormente suggerito che gli exchange centralizzati dovrebbero mantenere alcuni indirizzi pubblici a lungo uso come prova delle attività. Gli exchange possono generare alcuni indirizzi pubblici e provarne la proprietà una volta, oppure avere molti indirizzi e provare casualmente la proprietà di tanto in tanto.

Dovrebbero anche adottare opzioni di prova a conoscenza zero più complesse. Ad esempio, un exchange potrebbe impostare tutti i suoi indirizzi come multisig 1-of-2, dove una delle chiavi sarà diversa per ogni indirizzo.

In futuro, queste pratiche possono aiutare gli exchange centralizzati a dimostrare efficacemente la loro prova delle passività e ad aumentare la loro credibilità tra gli utenti. Più importante ancora, queste misure possono aiutare a prevenire un altro evento catastrofico come FTX.