Prova delle riserve

Verifica che tutti i saldi degli account Binance siano garantiti completamente 1:1.

Audit Time

Meccanismo di verifica:

Hash radice di Merkle:

Cos'è la Prova delle riserve (PoR)?

Quando utilizziamo il termine "Prova delle riserve", ci riferiamo agli asset di cui abbiamo la custodia per conto degli utenti. Questo vuol dire che abbiamo la dimostrazione e la prova che Binance detiene fondi che coprono tutti gli asset degli utenti con un rapporto 1:1, oltre a riserve aggiuntive.

Quando un utente deposita un Bitcoin, le riserve di Binance aumentano di un Bitcoin per garantire che i fondi dei clienti siano completamente garantiti.

Questo significa che Binance detiene tutti gli asset degli utenti con un rapporto 1:1 di copertura, comprese le riserve. Binance non ha alcun debito nella nostra struttura di capitale e disponiamo di un fondo di emergenza (fondo SAFU) per casi estremi, come attacchi hacker o violazioni della sicurezza.

Leggi di più per trovare informazioni aggiuntive su ciò che abbiamo sviluppato per permettere agli utenti di verificare che i loro fondi siano al sicuro su Binance.

L'impegno verso la nostra comunità è rimasto sempre lo stesso, fin dall'inizio

Trasparenza

Saremo sempre trasparenti con i nostri utenti

Sicurezza

La sicurezza dei fondi dei nostri utenti è una priorità per noi

Protetto

I tuoi fondi sono al sicuro

Albero di Merkle

Cosa abbiamo costruito?

Per dimostrare che Binance detiene tutti gli asset degli utenti garantiti 1:1, abbiamo creato e implementato un albero Merkle (mostrato sotto) per consentire agli utenti di verificare che i propri asset siano inclusi nel saldo netto aggregato degli account. Il nostro obiettivo è che ogni utente possa verificare la garanzia 1:1 delle proprie posizioni utilizzando il proprio hash Merkle/ID record generato.

Cos'è un albero di Merkle?

Un albero Merkle è uno strumento crittografico che consente di consolidare grandi quantità di dati in un unico hash. Questo hash unico, chiamato Merkle Root, agisce come un sigillo crittografico che "riassume" tutti i dati inseriti. Inoltre, gli alberi Merkle danno agli utenti la possibilità di verificare che determinati contenuti siano stati inclusi all'interno di un determinato insieme di dati "sigillati". Utilizziamo queste proprietà degli alberi Merkle durante le nostre valutazioni di Prova delle riserve per verificare che i singoli account siano inclusi nel report delle passività, validato dal nostro meccanismo zk-SNARK.

zk-SNARK

Cosa abbiamo costruito?

Utilizzando uno zk-SNARK, un exchange crypto può dimostrare che tutti gli insiemi di bilanci dei nodi dell'albero di Merkle (cioè i bilanci dei conti degli utenti) contribuiscono al bilancio totale degli utenti dichiarato dall'exchange. Ogni utente può facilmente accedere al proprio nodo foglia in quanto è stato incluso nel processo. Per l'insieme di bilanci di ogni utente (nodo foglia dell'albero di Merkle), il nostro circuito garantisce che:

I saldi dell'account di un utente sono inclusi nel calcolo della somma dei saldi netti totali degli account con Binance.

2. Il saldo netto totale dell'account è maggiore o uguale a zero.

3. La modifica della radice dell'albero Merkle è valida (ovvero, non vengono utilizzate informazioni falsificate) dopo aver aggiornato le informazioni di un account nell'hash del nodo foglia.

Ecco alcune risorse utili: il

blog

, le

specifiche tecniche

il nostro codice sorgente

per il circuito (vincoli) per i dettagli di implementazione.

Che cos'è uno zk-SNARK?

Uno

zk-SNARK

(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) è un protocollo di prova che segue i principi della conoscenza zero precedentemente illustrati. Con uno

zk-SNARK

, puoi dimostrare di conoscere l'hashed value originale (discusso più avanti) senza rivelare quale sia tale valore. Puoi anche dimostrare la validità di una

transazione

senza rivelare alcuna informazione su importi, valori o indirizzi coinvolti.

Come funziona

Come posso verificare le mie transazioni?

Accedi al sito web di Binance

-> Clicca su "Wallet""

-> Clicca su "Verifica"

Potrai trovare la tua foglia di Merkle e l'ID dei dati all'interno della pagina.

Seleziona la data di verifica che vuoi controllare. Troverai quindi la conferma del tipo di verifica, il tuo ID dei dati (specifico per il tuo conto e per questa particolare verifica), gli asset coperti e i saldi dei tuoi asset al momento della verifica.

L'ID record/foglia Merkle ti consente di verificare in modo indipendente che il saldo del tuo account sia stato incluso nel report delle passività tramite il nostro metodo di autoverifica.

Procedura di verifica

1. Verifica della proprietà dell'indirizzo

In relazione agli asset utilizzati per verificare le riserve, dobbiamo assicurarci che la proprietà del wallet appartenga a Binance (inclusi gli hot wallet e i cold wallet).

2. Istantanea dei saldi dell'utente

Il valore dello snapshot viene calcolato in base agli asset nei saldi dei conti del cliente alla data e all'ora dello snapshot.

3. Genera prova zk-SNARK

Generiamo file di prova zk-SNARK per gli utenti in modo che ogni utente possa accedere facilmente al proprio nodo foglia, fornendo trasparenza a tutti gli utenti.

4. Generazione dell'albero di Merkle

Generiamo il blocco di dati sottostante collegando l'UID hashed e il saldo di ciascun utente. Generiamo quindi un albero di Merkle basato sui dati di tutti gli utenti. La radice Merkle cambia al variare di un account ID o di un saldo nel nodo foglia. Ogni utente può verificare se i propri asset sono inclusi nel nodo foglia.