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 almeno un Bitcoin per garantire la piena copertura dei fondi dei clienti. È importante tenere presente che ciò non include le posizioni societarie di Binance, le quali sono mantenute su un registro completamente separato.
In termine concreti, questo vuol dire che Binance detiene tutti gli asset degli utenti in base a una rapporto 1:1 (oltre a delle riserve ulteriori), che abbiamo un livello di debito pari a zero nella struttura del capitale e che ci siamo assicurati di disporre di un fondo di emergenza (Fondo SAFU) in caso di situazioni estreme.
Continua a leggere per saperne di più su quello che abbiamo creato per consentire agli utenti di verificare che i loro fondi siano al sicuro con Binance.
Quando un utente deposita un Bitcoin, le riserve di Binance aumentano di almeno un Bitcoin per garantire la piena copertura dei fondi dei clienti. È importante tenere presente che ciò non include le posizioni societarie di Binance, le quali sono mantenute su un registro completamente separato.
In termine concreti, questo vuol dire che Binance detiene tutti gli asset degli utenti in base a una rapporto 1:1 (oltre a delle riserve ulteriori), che abbiamo un livello di debito pari a zero nella struttura del capitale e che ci siamo assicurati di disporre di un fondo di emergenza (Fondo SAFU) in caso di situazioni estreme.
Continua a leggere per saperne di più su quello che abbiamo creato per consentire agli utenti di verificare che i loro fondi siano al sicuro con 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 con un rapporto 1:1, abbiamo costruito e implementato l'albero di Merkle (riportato qui di seguito) per consentire alle persone di verificare i propri asset all'interno della piattaforma. Il nostro obiettivo è che ogni utente sia in grado di verificare i propri asset utilizzando il proprio hash Merkle/ID dei dati generati. In questo modo le persone saranno in grado di confermare che i loro fondi sono detenuti 1:1 e potranno farlo verificare a propria volta da un'agenzia di revisione di terze parti.
Cos'è un albero di Merkle?
L'albero di Merkle è uno strumento crittografico che consente di consolidare grandi quantità di dati in un unico hash. Questo singolo hash, chiamato radice di Merkle, funge da sigillo crittografico che "riassume" tutti i dati inseriti. Inoltre, l'albero dfi Merkle offre agli utenti la possibilità di verificare contenuti specifici inclusi in un particolare set di dati “sigillati". " Utilizziamo queste proprietà dell'albero di Merkle durante le nostre valutazioni della Prova delle riserve per verificare che i singoli account utente siano inclusi nel rapporto sulle passività ispezionati dal revisore.
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:
1. I saldi patrimoniali di un utente sono inclusi nel calcolo della somma dei saldi netti totali dell'utente su Binance.
2. Il saldo netto totale dell'utente è maggiore o uguale a zero.
3. La modifica della radice dell'albero di Merkle è valida (cioè non utilizza false informazioni) dopo l'aggiornamento delle informazioni di un utente nell'hash del nodo foglia.
Ecco alcune risorse utili: il blog, le specifiche tecniche e 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 dei dati/Foglia di Merkle consente di verificare in modo indipendente che il saldo del tuo conto sia stato incluso nel report di attestazione rilasciato dal revisore di terze parti.
