Binance ha aggiornato il suo sistema di prova di riserva (PoR) con le verifiche zk-SNARK, una forma di prove a conoscenza zero che preserva la privacy e la sicurezza delle informazioni sensibili degli utenti.
Il CEO di Binance, Changpeng Zhao, ha affermato che il miglioramento è stato implementato in conformità con il suggerimento del cofondatore di Ethereum, Vitalik Buterin. Buterin aveva esposto le sue idee sulla promozione di scambi centralizzati trustless attraverso sistemi trasparenti di prova delle riserve a novembre.
Binance ha pubblicato per la prima volta il suo sistema PoR nel novembre 2022, quando gli utenti hanno iniziato a chiedere maggiore trasparenza agli scambi in seguito al crollo di FTX. All'epoca, Binance utilizzava la crittografia Merkle Tree per consentire agli utenti di verificare le proprie partecipazioni.
Tuttavia, il sistema presentava due grossi inconvenienti. In primo luogo, i nodi foglia nell'albero Merkle rappresentavano l'hash delle partecipazioni degli utenti per proteggere la privacy, il che significava che la radice Merkle non poteva riflettere la somma delle informazioni sul saldo dei suoi nodi foglia.
In secondo luogo, un’entità dannosa potrebbe potenzialmente aggiungere un saldo negativo sotto un conto falso da qualche parte nell’albero per far apparire più piccola la dimensione delle riserve richieste.
Binance sostiene che zk-SNARK risolve queste sfide. Il sistema di verifica a conoscenza zero può garantire che tutti i nodi foglia nell'albero Merkle abbiano contribuito al saldo utente totale dichiarato da Binance per ciascuna criptovaluta. Garantirà inoltre che nell'albero non sia presente alcun utente con un saldo negativo.
Binance genererà e pubblicherà la prova zk-SNARK per la costruzione dell'albero Merkle per dimostrare le sue riserve. Verificando la prova Merkle gli utenti Binance possono verificare se il loro saldo è incluso nella radice dell'albero Merkle. Gli utenti possono verificare la prova zk-SNARK per garantire che la costruzione dell'albero Merkle sia esente da qualsiasi manomissione.
Poiché Binance ha milioni di utenti, non è possibile ottenere una sola prova della costruzione dell’albero Merkle. Pertanto, Binance dividerà gli utenti in gruppi di 864 ciascuno. Ci vorrebbero 110 secondi per generare la prova zk per un singolo gruppo di utenti. La prova può essere verificata in meno di 1 millisecondo.
Binance impiegherebbe 2 ore per generare prove per tutti gli account al costo di circa $ 1.000. L'exchange sta lavorando all'implementazione delle soluzioni suggerite da Buterin per migliorare l'efficienza del processo di generazione delle prove, che dovrebbe ridurre i costi e consentire di fornire prove con maggiore frequenza.
Il sistema PoR di Binance supporta attualmente 13 criptovalute, con 4 aggiunte recenti, e prevede di aggiungere altri token nelle prossime settimane.
Binance sta inoltre rendendo open source il codice per il suo sistema PoR con l'obiettivo di fornire maggiore trasparenza ai propri utenti.