Binance aggiunge la verifica zk-SNARK al suo sistema di prova delle riserve

Binance ha aggiornato il suo sistema di prove di riserva (PoR) con 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 disse il miglioramento è stato implementato in accordo con il co-fondatore di Ethereum Vitalik Buterin suggerimento. Buterin aveva esposto le sue idee sulla promozione di scambi centralizzati senza fiducia attraverso sistemi di prova di riserva trasparenti a novembre.

Binance pubblicato per la prima volta il suo sistema PoR nel novembre 2022 quando gli utenti hanno iniziato a chiedere maggiore trasparenza dagli scambi all'indomani del crollo di FTX. A quel tempo, Binance utilizzava la crittografia ad albero Merkle per consentire agli utenti di verificare le loro proprietà.

Tuttavia, il sistema presentava due grossi inconvenienti. In primo luogo, i nodi foglia nell'albero Merkle rappresentavano l'hash delle proprietà degli utenti per proteggere la privacy, il che significava che la radice Merkle non poteva riflettere la somma delle informazioni sull'equilibrio dei suoi nodi foglia.

In secondo luogo, un'entità malintenzionata potrebbe potenzialmente aggiungere un saldo negativo sotto un account falso da qualche parte nell'albero per far apparire più piccola la dimensione delle riserve obbligatorie.

Binance afferma che gli zk-SNARK risolvono 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 ogni criptovaluta. Garantirà inoltre che non vi siano utenti con un saldo negativo inclusi nell'albero.

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 di Binance possono verificare se il loro saldo è incluso nella radice dell'albero Merkle. Gli utenti possono verificare la prova zk-SNARK per assicurarsi 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 di Merkle. Pertanto, Binance suddividerà gli utenti in lotti di 864 ciascuno. Ci vorrebbero 110 secondi per generare zk proof per un singolo batch 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. Lo scambio 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 più frequentemente.

Il sistema PoR di Binance attualmente supporta 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 suoi utenti.