Binance heeft opgewaardeerd het proof-of-reserves (PoR)-systeem met zk-SNARK-verificaties, een vorm van zero-knowledge proofs die de privacy en veiligheid van gevoelige gebruikersinformatie behoudt.
Binance CEO Changpeng Zhao zei de verbetering is geïmplementeerd in overeenstemming met Ethereum mede-oprichter Vitalik Buterin's suggestie. Buterin had in november zijn ideeën uiteengezet over het bevorderen van betrouwbare gecentraliseerde uitwisselingen door middel van transparante proof-of-reserves-systemen.
Binance eerste druk zijn HbR-systeem in november 2022 toen gebruikers meer transparantie begonnen te eisen van uitwisselingen in de nasleep van de FTX-instorting. Destijds gebruikte Binance Merkle tree-cryptografie om gebruikers in staat te stellen hun bezit te verifiëren.
Toch had het systeem twee grote nadelen. Ten eerste vertegenwoordigden de bladknooppunten in de Merkle-boom de hash van de eigendommen van gebruikers om de privacy te beschermen, wat betekende dat de Merkle-root niet kon weerspiegelen de som van de balansinformatie van de bladknooppunten.
Ten tweede kan een kwaadwillende entiteit mogelijk een negatief saldo toevoegen onder een valse rekening ergens in de boom om de omvang van de vereiste reserves kleiner te laten lijken.
Binance beweert dat zk-SNARKs deze uitdagingen oplossen. Het zero-knowledge verificatiesysteem kan ervoor zorgen dat alle bladknooppunten in de Merkle-boom hebben bijgedragen aan Binance's geclaimde totale gebruikerssaldo van elke cryptocurrency. Het zorgt er ook voor dat er geen gebruiker met een negatief saldo in de boom wordt opgenomen.
Binance zal zk-SNARK-bewijs genereren en publiceren voor de constructie van de Merkle-boom om zijn reserves te bewijzen. Door de Merkle-proof te verifiëren, kunnen Binance-gebruikers controleren of hun saldo is opgenomen in de Merkle-treeroot. Gebruikers kunnen het zk-SNARK-bewijs verifiëren om er zeker van te zijn dat de Merkle-boomconstructie vrij was van manipulatie.
Omdat Binance miljoenen gebruikers heeft, is het niet mogelijk om ook maar één bewijs te krijgen van de Merkle-boomconstructie. Daarom zal Binance gebruikers opsplitsen in batches van elk 864. Het zou 110 seconden duren om zk-bewijs te genereren voor een enkele groep gebruikers. Het bewijs kan in minder dan 1 milliseconde worden geverifieerd.
Het zou 2 uur duren voordat Binance bewijs voor alle accounts had gegenereerd, wat ongeveer $ 1,000 zou kosten. De uitwisseling werkt aan de implementatie van de door Buterin voorgestelde oplossingen om de efficiëntie van het proces voor het genereren van bewijzen te verbeteren, wat de kosten zou moeten verlagen en het in staat zou moeten stellen om vaker bewijzen te leveren.
Het HbR-systeem van Binance ondersteunt momenteel 13 cryptocurrencies, met 4 recente toevoegingen, en het is van plan om in de komende weken meer tokens toe te voegen.
Binance maakt ook de code voor haar HbR-systeem open-source met als doel meer transparantie te bieden aan haar gebruikers.
Bron: https://cryptoslate.com/binance-adds-zk-snark-verification-to-its-proof-of-reserves-system/