Binance fügt seinem System zum Nachweis von Reserven die zk-SNARK-Verifizierung hinzu

Binance hat Upgrade sein Proof-of-Reserves (PoR)-System mit zk-SNARK-Verifizierungen, einer Form von Zero-Knowledge-Proofs, die die Privatsphäre und Sicherheit sensibler Benutzerinformationen wahren.

Binance CEO Changpeng Zhao sagte Die Verbesserung wurde in Übereinstimmung mit Ethereum-Mitbegründer Vitalik Buterin implementiert Vorschlag. Buterin hatte im November seine Ideen zur Förderung des vertrauenswürdigen zentralisierten Austauschs durch transparente Reservenachweissysteme dargelegt.

Binance erstmals veröffentlicht sein PoR-System im November 2022, als die Benutzer nach dem Zusammenbruch der FTX begannen, mehr Transparenz von den Börsen zu fordern. Zu dieser Zeit verwendete Binance die Merkle-Baum-Kryptographie, um Benutzern die Überprüfung ihrer Bestände zu ermöglichen.

Das System hatte jedoch zwei große Nachteile. Erstens stellten die Blattknoten im Merkle-Baum den Hash der Benutzerbestände dar, um die Privatsphäre zu schützen, was bedeutete, dass die Merkle-Wurzel dies nicht konnte spiegeln die Summe der Kontostandsinformationen seiner Blattknoten wider.

Zweitens könnte eine böswillige Entität möglicherweise irgendwo im Baum einen negativen Saldo unter einem gefälschten Konto hinzufügen, um die Größe der erforderlichen Reserven kleiner erscheinen zu lassen.

Binance behauptet, dass zk-SNARKs diese Herausforderungen lösen. Das Zero-Knowledge-Verifizierungssystem kann sicherstellen, dass alle Blattknoten im Merkle-Baum zu Binances beanspruchtem Gesamtnutzerguthaben jeder Kryptowährung beigetragen haben. Es wird auch sichergestellt, dass kein Benutzer mit einem negativen Kontostand im Baum enthalten ist.

Binance wird den zk-SNARK-Beweis für den Bau des Merkle-Baums generieren und veröffentlichen, um seine Reserven nachzuweisen. Durch die Verifizierung des Merkle-Proofs können Binance-Benutzer überprüfen, ob ihr Guthaben in der Wurzel des Merkle-Baums enthalten ist. Benutzer können den zk-SNARK-Nachweis überprüfen, um sicherzustellen, dass die Konstruktion des Merkle-Baums frei von Manipulationen war.

Da Binance Millionen von Benutzern hat, ist es nicht möglich, einen einzigen Beweis für die Konstruktion des Merkle-Baums zu erhalten. Daher wird Binance die Benutzer in Gruppen von jeweils 864 aufteilen. Es würde 110 Sekunden dauern, um einen zk-Proof für einen einzelnen Batch von Benutzern zu generieren. Der Nachweis kann in weniger als 1 Millisekunde verifiziert werden.

Es würde 2 Stunden dauern, bis Binance einen Nachweis für alle Konten zum Preis von etwa 1,000 US-Dollar erstellt hätte. Die Börse arbeitet an der Implementierung der von Buterin vorgeschlagenen Lösungen, um die Effizienz des Proof-Generierungsprozesses zu verbessern, was die Kosten senken und es ermöglichen sollte, Proofs häufiger bereitzustellen.

Das PoR-System von Binance unterstützt derzeit 13 Kryptowährungen, mit 4 kürzlichen Ergänzungen, und es ist geplant, in den kommenden Wochen weitere Token hinzuzufügen.

Binance macht auch den Code für sein PoR-System Open-Source mit dem Ziel, seinen Benutzern mehr Transparenz zu bieten.