Dovada rezervelor

Verificați că toate soldurile conturilor Binance sunt susținute integral într-un raport de 1:1.

Audit Time

Mecanism de verificare:

Hash rădăcină Merkle:

Ce presupune Dovada rezervelor (PoR)?

Când spunem Dovada rezervelor, ne referim în mod specific la acele bunuri pe care le păstrăm în custodie pentru utilizatori. Aceasta înseamnă că arătăm dovezi că Binance are fonduri care acoperă toate activele utilizatorilor noștri într-un raport de 1:1, precum și unele rezerve.

Când un utilizator depune un Bitcoin, rezervele Binance cresc cu un Bitcoin pentru a asigura că fondurile clienților sunt complet susținute.

Aceasta înseamnă că Binance păstrează toate activele utilizatorilor într-un raport de 1:1, inclusiv rezervele. Binance nu are datorii în structura sa de capital și dispune de un fond de urgență (fond SAFU) pentru situații extreme, cum ar fi atacurile sau breșele de securitate.

Citiți mai multe pentru a afla informații suplimentare despre ceea ce am construit pentru a permite utilizatorilor să verifice că fondurile lor sunt în siguranță pe Binance.

Angajamentul nostru față de comunitatea noastră rămâne același dintotdeauna

Transparență

Vom fi întotdeauna transparenți cu utilizatorii noștri

Siguranță

Siguranța fondurilor utilizatorilor noștri este o prioritate pentru noi

Protecție

Fondurile dvs. sunt protejate

Arborele Merkle

Ce am construit?

Pentru a demonstra că Binance are toate activele utilizatorilor susținute 1:1, am construit și implementat un Arbore Merkle (prezentat mai jos) pentru a permite utilizatorilor să verifice că activele lor sunt incluse în soldul net agregat al contului. Scopul nostru este ca fiecare utilizator să poată verifica susținerea 1:1 a deținerilor sale de active folosind propriul hash Merkle/ID de înregistrare generat.

Ce este un arbore Merkle?

Un arbore Merkle este un instrument criptografic care permite consolidarea unor cantități mari de date într-un singur hash. Acest hash unic, denumit rădăcină Merkle, acționează ca o ștampilă criptografică ce „rezumă” toate datele introduse. În plus, arborii Merkle oferă utilizatorilor posibilitatea de a verifica dacă anumite conținuturi au fost incluse într-un anumit set de date „sigilate”. Folosim aceste proprietăți ale arborilor Merkle în cadrul evaluărilor noastre privind Proof of Reserves pentru a verifica includerea conturilor individuale în raportul de datorii, validat prin mecanismul nostru zk-SNARKs.

zk-SNARKs

Ce am construit?

Folosind un zk-SNARK, o platformă de schimb cripto poate dovedi că toate seturile de solduri ale nodurilor frunzelor arborelui Merkle (adică soldurile conturilor de utilizator) contribuie la soldul total revendicat al activelor utilizatorilor platformei de schimb. Fiecare utilizator își poate accesa cu ușurință nodul frunză ca fiind inclus în proces. Pentru setul de sold al fiecărui utilizator (nodul frunzelor arborelui Merkle), circuitul nostru asigură că:

1. Soldurile contului unui utilizator sunt incluse în calculul sumei totale a soldurilor nete ale contului pe Binance.

2. Soldul net total al contului este mai mare sau egal cu zero.

3. Modificarea rădăcinii arborelui Merkle este validă (adică nu se utilizează informații falsificate) după actualizarea informațiilor unui cont în hash-ul nodului frunzei.

Iată câteva resurse utile:

blog

specificații tehnice

și

codul nostru sursă

pentru circuit (constrângeri) pentru detalii de implementare.

Ce este un zk-SNARK?

zk-SNARK

(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) este un protocol de probă care urmează principiile zero-knowledge subliniate anterior. Cu

zk-SNARK

, puteți dovedi că cunoașteți valoarea hash inițială (discutată mai jos) fără a dezvălui care este acea valoare. De asemenea, puteți dovedi validitatea unei

tranzacţii

fără a dezvălui informații despre sumele, valorile sau adresele specifice implicate.

Cum funcționează

Cum îmi pot verifica propriile tranzacții?

Conectați-vă pe site-ul web Binance

-> Faceți clic pe „Portofel”

-> Faceți clic pe „Verificare”

Veți putea găsi Frunza Merkle și ID-ul înregistrării în cadrul paginii.

Selectați data de verificare pe care doriți să o verificați. Veți găsi apoi confirmarea tipului de verificare, ID-ul înregistrării dvs. (specific contului dvs. și acestei verificări anume), activele care au fost acoperite și soldurile activelor dvs. la momentul verificării.

ID-ul înregistrării/Frunza Merkle vă permite să verificați independent dacă soldul contului dvs. a fost inclus în raportul de datorii prin metoda noastră de auto-verificare.

Proces de verificare

1. Verificați calitatea de proprietar al adresei

Pentru activele care sunt utilizate pentru verificarea rezervelor, trebuie să ne asigurăm că proprietatea asupra portofelului aparține Binance (inclusiv portofelul offline și online).

2. Instantaneu al soldurilor utilizatorului

Valoarea instantaneului este calculată pe baza deținerii activelor în soldurile contului clientului la data și ora instantaneului.

3. Generare dovadă zk-SNARKs

Generăm fișiere de dovadă zk-SNARKs pentru utilizatori, astfel încât fiecare utilizator să își poată accesa cu ușurință nodurile frunzelor, oferind transparență tuturor utilizatorilor.

4. Generarea unui arbore Merkle

Generăm blocul de date suport prin asocierea UID-ul hashat cu soldul fiecărui utilizator. Apoi generăm un arbore Merkle pe baza datelor tuturor utilizatorilor. Rădăcina Merkle se va modifica dacă se modifică orice ID de cont sau sold din nodul frunză. Fiecare utilizator poate verifica dacă activele sale sunt incluse în nodul frunză.