Zephyrnet-logo

Niet vertrouwen, verifiëren: Binance implementeert ZK-Proofs in hun Proof of Reserves-systeem

Datum:

<!–

->

Binance is opnieuw toonaangevend in de crypto-industrie op het gebied van vertrouwen en transparantie, met als doel een vriendelijker en meer vertrouwenwekkend post-FTX-ecosysteem te creëren waar alle deelnemers baat bij hebben.

In november 2022, Binance aangekondigd het zou toelaten dat zijn gegevens over de status van zijn reserves in verhouding tot de activa van klanten openbaar beschikbaar worden, een directe reactie op de gevolgen van FTX en meerdere andere cryptoplatforms die insolvent werden. Vandaag de dag heeft Binance zich opnieuw gevestigd als marktleider, door te werken om de gemeenschap goed te doen en te benadrukken dat ze meer dan ooit toegewijd zijn aan het vergroten van het vertrouwen in de ruimte en de weg vrijmaken voor andere uitwisselingen om dit voorbeeld te volgen.

Binance Bewijs van Reserves

Binance moedigt sectorbrede transparantie aan. Afbeelding via Binance

Terwijl het vorige Proof of Reserves-systeem dat gebruikte Merkle Bomen was een goed begin, het heeft een paar belangrijke nadelen vanwege de beperkingen van Merkle Tree, zoals:

  • Lekkage van privacy– Merkle Trees hasht klant-UID's samen met hun nettoactiva. Om de privacy van gebruikers te beschermen, vertegenwoordigden bladknooppunten in Merkle-bewijzen de hash van de holdings van gebruikers, daarom kon de Merkle-root de som van het saldo van de bladknooppunten niet weergeven.
zk-bewijs 2

Afbeelding via Binance-blog

  • Potentieel voor vergissing of vervalsing van gegevens– Een uitwisseling heeft mogelijk invoer gemist of kan valse rekeningen met negatieve saldi creëren om de totale verplichtingen te wijzigen. Het volgende diagram van Vitalik Buterin's blog toont een voorbeeld van hoe een Merkle Tree kwaadwillig kan worden gewijzigd:
Kwaadaardige Merkle

Afbeelding via Vitalik's blog op Bewijs van insolventie

Er waren veel critici van het oorspronkelijke Proof of Reserves-systeem, leden van de gemeenschap die terecht bezorgd waren over de beperkingen en het potentieel voor de vervalsing van gegevens.

Velen in de crypto-industrie hebben boven alles twee waarden: transparantie en privacy. Het is erg moeilijk om beide te bereiken, wat vaak resulteert in een dilemma en compromissen, omdat het moeilijk is om geldreserves te bewijzen terwijl de vertrouwelijkheid intact blijft. 

De oplossing: zk-SNARKs combineren met Merkle Trees

Vandaag is de eerste poging van Binance om een ​​Zero-Knowledge Proof (zk-Proof) Proof of Reserves-systeem te implementeren, dat de privacy, veiligheid en betrouwbaarheid zal verbeteren. zk-SNARKS, een vorm van zero-knowledge proof, is door Binance ingezet om zijn eerdere Proof of Reserves-systeem te verbeteren.

merkle boom met SNARKs

Binance's oplossing, zk-SNARKS implementeren in bestaande Merkle Tree. Afbeelding via Binance

Binance werkt samen met Veelvlakken netwerk om te helpen bij de implementatie van SNARK.

Volgens veelvlakken:

“De veiligheid van nulkennisbewijzen wordt gegarandeerd door cryptografische aannames. Zolang deze aannames gelden, kan niemand valse bewijzen maken of anderen bedriegen. Deze aannames zijn rekenkundig moeilijk, wat betekent dat moderne machines aannames niet binnen polynomiale tijd kunnen doorbreken. Bovendien zijn dergelijke cryptografische tools in veel bestaande systemen gebruikt.”

Met nulkennisbewijzen kan een partij de geldigheid van een verklaring van een andere partij bepalen, zonder persoonlijke informatie te hoeven kennen, de andere partij te vertrouwen of gevoelige inhoud met betrekking tot het account zichtbaar te maken. In dit geval wil Binance bewijzen dat het de fondsen van zijn gebruikers volledig heeft ondersteund, zonder individuele gebruikerssaldi bekend te maken.

Door een zk-SNARK te gebruiken, kan de beurs publiekelijk verifiëren en bekendmaken dat alle balanssets van de bladknooppunten van de Merkle-boom bijdragen aan het geclaimde totale saldo van de gebruikersactiva van de beurs, terwijl er ook voor wordt gezorgd dat elke gegenereerde Merkle-boom geen negatieve totale netto-activasaldi bevat.

Voor elk Merkle Tree-bladknooppunt, dat het saldo van een gebruiker vertegenwoordigt, zorgt dit systeem ervoor dat:

  1. Het saldo van een gebruiker wordt meegenomen in de somberekening van het totale netto gebruikerssaldo bij Binance
  2. Het totale netto saldo van de gebruiker is groter dan of gelijk aan nul
  3. De wijziging van de hoofdmap van de Merkle-boom is geldig, niet vervalst, na het bijwerken van de informatie van een gebruiker naar de hash van het bladknooppunt

De uitwisseling kan dan een zk-SNARK-bewijs genereren voor de constructie van de Merkle Tree, dat door elke verificateur kan worden onderzocht. 

Binance inline

Binance inline

Voor elke Proof of Reserves-release publiceert Binance:

  • Het Merkle-bewijs voor elke gebruiker
  • De zk-SNARK proof en publieke input van het circuit voor alle gebruikers

Volgens Binance:

“De beveiliging van deze oplossing is sterk afhankelijk van het instellen van de bewijssleutel en de verificatiesleutel. We werken aan een decentrale inrichting van de sleutels. Als het gaat om bestaande gedecentraliseerde vertrouwde setup-ceremonies, biedt de Ethereum-ceremonie een goed voorbeeld. We hebben bijna een MPC-oplossing om de installatie betrouwbaar te maken.”

Iedereen met een Binance-account kan het Merkle-bewijs verifiëren, ervoor zorgen dat hun individuele saldi hebben bijgedragen aan de Merkle-boomwortel, en kan ook het zk-SNARK-bewijs verifiëren om ervoor te zorgen dat de constructie van de Merkle-boom voldoet aan de beperkingen die in het circuit zijn gedefinieerd.

Bekijk gerust onze Beginnersgids over Zero-Knowledge Proofs en zk-SNARKs om meer te weten te komen over deze innovatieve technologie.

Voor de verbetering van de industrie

Net zoals Binance andere beurzen aanmoedigde om zijn voorbeeld te volgen toen ze hun eerste Proof of Reserves-audit uitbrachten, hebben ze verklaard dat ze deze meer geavanceerde integratie volledig open-source zullen maken, zodat andere bedrijven en crypto-uitwisselingen kunnen profiteren van de hier gelegde basis. Vandaag.

zk-SNARKs waren een substantiële doorbraak in cryptografische technologie die de processen biedt die nodig zijn om gegevensintegriteit en privacy te waarborgen. De capaciteiten om reserves op beurzen aan te tonen en de transparantie te vergroten, zullen van enorm voordeel zijn voor de blockchain-industrie, waardoor veel van het vertrouwen wordt hersteld dat retailgebruikers hebben verloren, terwijl het mogelijk institutionele en overheidsinstanties aantrekt.

Lees hier: Binance's blogpost en de aankondiging van vandaag.

Ga voor downloads, licenties, documentatie en meer naar: github.com/binance/zkmerkle-proof-of-solvabiliteit

Over Binance

Binance is 's werelds grootste cryptocurrency-uitwisseling in termen van handelsvolume en gebruikers. Binance, opgericht in 2017, heeft bijgedragen aan het bredere crypto-ecosysteem door een reeks cryptocentrische producten te ontwikkelen en zijn eigen blockchain-netwerk te lanceren dat DApps, DeFi en NFT's kan hosten. Binance biedt gebruikers de mogelijkheid om verschillende digitale activa te verhandelen, zoals Bitcoin, Ethereum, Litecoin, Ripple en meer, en ondersteunt toegang tot geavanceerde handelstools en ordertypes.

U kunt meer te weten komen over 's werelds populairste beurs in onze gedetailleerde Binance recensie.

Nieuwsbrief Inline

Nieuwsbrief Inline

Disclaimer: dit zijn de meningen van de schrijver en mogen niet als beleggingsadvies worden beschouwd. Lezers zouden hun eigen onderzoek moeten doen.

spot_img

Laatste intelligentie

spot_img