Binance adaugă verificarea zk-SNARK la sistemul său de dovadă a rezervelor

Binance are modernizate sistemul său de dovadă a rezervelor (PoR) cu verificări zk-SNARK, o formă de dovezi fără cunoștințe care păstrează confidențialitatea și securitatea informațiilor sensibile ale utilizatorului.

CEOul Binance, Changpeng Zhao a spus îmbunătățirea a fost implementată în conformitate cu co-fondatorul Ethereum, Vitalik Buterin sugestie. Buterin și-a expus ideile privind promovarea schimburilor centralizate fără încredere prin sisteme transparente de verificare a rezervelor în noiembrie.

Binance publicat pentru prima dată sistemul său PoR în noiembrie 2022, deoarece utilizatorii au început să ceară mai multă transparență din partea schimburilor după prăbușirea FTX. La acea vreme, Binance folosea criptografia arborelui Merkle pentru a le permite utilizatorilor să-și verifice deținerile.

Cu toate acestea, sistemul avea două dezavantaje majore. În primul rând, nodurile frunzelor din arborele Merkle reprezentau hash-ul exploatațiilor utilizatorilor pentru a proteja confidențialitatea, ceea ce însemna că rădăcina Merkle nu putea reflectă suma informațiilor de echilibru ale nodurilor sale foliare.

În al doilea rând, o entitate rău intenționată ar putea adăuga un sold negativ într-un cont fals undeva în arbore pentru a face ca dimensiunea rezervelor necesare să pară mai mică.

Binance susține că zk-SNARK rezolvă aceste provocări. Sistemul de verificare fără cunoștințe poate asigura că toate nodurile frunză din arborele Merkle au contribuit la soldul total al utilizatorilor revendicat de Binance pentru fiecare criptomonedă. De asemenea, se va asigura că nu există niciun utilizator cu un sold negativ inclus în arbore.

Binance va genera și publica dovada zk-SNARK pentru construcția arborelui Merkle pentru a-și dovedi rezervele. Prin verificarea dovezii Merkle, utilizatorii Binance pot verifica dacă soldul lor este inclus în rădăcina arborelui Merkle. Utilizatorii pot verifica dovada zk-SNARK pentru a se asigura că construcția arborelui Merkle a fost lipsită de orice manipulare.

Deoarece Binance are milioane de utilizatori, nu este posibil să obțineți o singură dovadă a construcției arborelui Merkle. Prin urmare, Binance va împărți utilizatorii în loturi de 864 fiecare. Ar dura 110 secunde pentru a genera dovada zk pentru un singur lot de utilizatori. Dovada poate fi verificată în mai puțin de 1 milisecundă.

Ar dura 2 ore pentru ca Binance să genereze dovezi pentru toate conturile la costul de aproximativ 1,000 USD. Bursa lucrează la implementarea soluțiilor propuse de Buterin pentru a îmbunătăți eficiența procesului de generare a probelor, care ar trebui să reducă costurile și să îi permită să furnizeze dovezi mai frecvent.

Sistemul PoR al Binance acceptă în prezent 13 criptomonede, cu 4 completări recente și intenționează să adauge mai multe jetoane în următoarele săptămâni.

Binance face, de asemenea, codul pentru sistemul său PoR open-source, cu scopul de a oferi mai multă transparență utilizatorilor săi.