Binance tilføjer zk-SNARK-verifikation til sit reservebevissystem

Binance har opgraderet dets proof-of-reserves (PoR) system med zk-SNARK verifikationer, en form for nul-viden beviser, der bevarer privatlivets fred og sikkerhed for følsomme brugeroplysninger.

Binance administrerende direktør Changpeng Zhao sagde forbedringen blev implementeret i overensstemmelse med Ethereums medstifter Vitalik Buterin's forslag. Buterin havde fremlagt sine ideer om at fremme tillidsløse centraliserede udvekslinger gennem gennemsigtige proof-of-reserve-systemer i november.

Binance først offentliggjort dets PoR-system i november 2022, da brugerne begyndte at kræve mere gennemsigtighed fra børser i kølvandet på FTX-kollapset. På det tidspunkt brugte Binance Merkle trækryptografi for at gøre det muligt for brugere at verificere deres besiddelser.

Alligevel havde systemet to store ulemper. For det første repræsenterede bladknuderne i Merkle-træet hashen af ​​brugernes besiddelser for at beskytte privatlivet, hvilket betød, at Merkle-roden ikke kunne afspejler summen af ​​dens bladknudepunkters balanceinformation.

For det andet kan en ondsindet enhed potentielt tilføje en negativ saldo under en falsk konto et sted i træet for at få størrelsen af ​​de nødvendige reserver til at se mindre ud.

Binance hævder, at zk-SNARK'er løser disse udfordringer. Nulvidensverifikationssystemet kan sikre, at alle bladknuder i Merkle-træet har bidraget til Binances påståede samlede brugerbalance for hver kryptovaluta. Det vil også sikre, at der ikke er nogen bruger med negativ saldo inkluderet i træet.

Binance vil generere og udgive zk-SNARK-bevis for konstruktionen af ​​Merkle-træet for at bevise dets reserver. Ved at verificere Merkle-beviset kan Binance-brugere kontrollere, om deres saldo er inkluderet i Merkle-træroden. Brugere kan verificere zk-SNARK-beviset for at sikre, at Merkle-trækonstruktionen var fri for enhver manipulation.

Fordi Binance har millioner af brugere, er det ikke muligt at få et eneste bevis på Merkle-træets konstruktion. Derfor vil Binance opdele brugere i batches på 864 hver. Det ville tage 110 sekunder at generere zk-bevis for en enkelt gruppe brugere. Beviset kan verificeres på mindre end 1 millisekund.

Det ville tage 2 timer for Binance at generere bevis for alle konti til en pris af omkring $1,000. Børsen arbejder på at implementere løsningerne foreslået af Buterin for at forbedre effektiviteten af ​​bevisgenereringsprocessen, hvilket burde sænke omkostningerne og gøre det i stand til at levere beviser oftere.

Binances PoR-system understøtter i øjeblikket 13 kryptovalutaer med 4 nylige tilføjelser, og det planlægger at tilføje flere tokens i de kommende uger.

Binance laver også koden til sit PoR-system til open source med det formål at give mere gennemsigtighed til sine brugere.