Nachweis von Reserven (PoR) | Merkle-Baum

Nachweis von Reserven

Überprüfe, ob Binance die Assets der Nutzer 1:1 hält, plus Reserven. Bitte beachte, dass die Unternehmensbeteiligungen von Binance in separaten Konten geführt werden und nicht Teil der Berechnungen zum Nachweis von Reserven sind.

Nachweis von Reserven

Auditor:

Merkle-Wurzel-Hash:

Was ist ein Nachweis von Reserven („Proof of Reserves“, PoR)?

Unser Nachweis von Reserven (Proof of Reserves, PoR) bezieht sich spezifisch auf die Assets, die wir für unsere Nutzer verwahren. Dies bedeutet, dass wir das gesamte bei Binance angelegte Vermögen unserer Nutzer tatsächlich in unseren Wallets halten und darüber hinaus über einige Reserven verfügen.
Wenn ein Nutzer einen Bitcoin einzahlt, erhöhen sich die Reserven von Binance um mindestens einen Bitcoin, sodass die Mittel der Kunden vollständig gedeckt sind. Die von Binance auf eigene Rechnung gehaltenen Tokenbestände befinden sich in einem völlig separaten Ledger.
Konkret bedeutet dies, dass Binance alle Assets seiner Nutzer im Verhältnis 1:1 hält (plus einige Reserven), dass Binance keine Schulden in seiner Kapitalstruktur aufweist und dass es einen Notfallfonds (SAFU-Fonds) für extreme Fälle gibt.
Lies weiter, um mehr darüber zu erfahren, welche Maßnahmen Binance ergriffen hat, damit jeder Nutzer überprüfen kann, dass seine Mittel auf Binance sicher sind.

Wir werden uns weiterhin nach besten Kräften für unsere Community einsetzen

Transparenz

Wir werden für unsere Nutzer immer transparent sein

Sicherheit

Die Sicherheit der Mittel unserer Nutzer hat für uns oberste Priorität

Geschützt

Deine Mittel sind sicher

Merkle-Baum

Welche Maßnahmen haben wir ergriffen?

Um zu zeigen, dass Binance über alle Ressourcen seiner Nutzer im Verhältnis 1:1 verfügt, haben wir den Merkle-Baum (siehe unten) erstellt und implementiert, damit die Nutzer ihre Assets auf der Plattform überprüfen können. Unser Ziel ist es, dass jeder Nutzer seine Vermögensbestände anhand seines selbst generierten Merkle-Hash/einer Datensatz-ID überprüfen kann. Auf diese Weise haben die Nutzer Gewissheit, dass Binance ihre Gelder 1:1 hält, und sie können sich dies von einer externen Prüfstelle bestätigen lassen.

Was ist ein Merkle-Baum?

Ein Merkle-Baum ist ein kryptografisches Tool, das die Konsolidierung großer Datenmengen in einem einzigen Hash ermöglicht. Dieser einzelne Hash, die so genannte Merkle-Wurzel, fungiert als kryptografisches Siegel, das alle eingegebenen Daten „zusammenfasst“. Darüber hinaus bieten Merkle-Bäume den Nutzern die Möglichkeit, bestimmte Inhalte zu überprüfen, die in einem bestimmten Satz „versiegelter“ Daten enthalten waren. Wir nutzen diese Eigenschaften von Merkle-Bäumen im Rahmen unserer Prüfungen zum Nachweis von Reserven, um zu bestätigen, dass einzelne Nutzerkonten bei dem vom Prüfer geprüften Verbindlichkeitenbericht berücksichtigt werden.

zk-SNARKs

Welche Maßnahmen haben wir ergriffen?

Durch die Verwendung eines zk-SNARK kann eine Kryptobörse nachweisen, dass alle Kontostände aller Merkle-Baum-Blattknoten (d.h. Guthaben der Nutzerkonten) zum beanspruchten Gesamtguthaben der Nutzer beitragen. Jeder Nutzer kann leicht auf seinen Blattknoten zugreifen, da er in den Prozess einbezogen wurde. Für den Kontostand jedes Nutzers (Merkle-Baum-Blattknoten) stellt unsere Schaltung Folgendes sicher:

1. Die Nutzerguthaben werden bei der Berechnung der Gesamt-Nettoguthaben des Nutzers bei Binance berücksichtigt.

2. Das Gesamt-Nettoguthaben des Nutzers ist größer oder gleich Null.

3. Die Änderung der Wurzel des Merkle-Baums ist gültig (d.h. es werden keine gefälschten Daten verwendet), nachdem der Blattknoten-Hash mit den Informationen des Nutzers aktualisiert wurde.

Hier sind einige nützliche Ressourcen: Blog, technische Spezifikation und unser Quellcode für den Circuit (Bedingungen) für die Implementierungsdetails.

Was ist zk-SNARK?

zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) ist ein Beweisprotokoll, das den zuvor genannten Prinzipien des Zero-Knowledge-Beweises folgt. Mit einem zk-SNARK lässt sich beweisen, dass man den ursprünglichen gehashten Wert kennt (siehe unten), ohne diesen Wert preiszugeben. Außerdem lässt sich die Gültigkeit einer Transaktion nachweisen, ohne dass Informationen über die spezifischen Beträge, Werte oder Adressen offengelegt werden.

So funktioniert es

Wie kann ich meine eigenen Transaktionen verifizieren?

Logge dich auf der Binance-Website ein.

-> Klicke auf „Wallet“.

-> Klicke auf „Verifizierung“

Dort findest du dein Merkle-Blatt und deine Datensatz-ID.

Wähle das Verifizierungsdatum aus, das du überprüfen willst. Anschließend findest du eine Bestätigung der Verifizierungsart, deine Datensatz-ID (spezifisch für dein Konto und diese Verifizierung), die Assets, die abgedeckt waren, sowie dein Guthaben zum Zeitpunkt der Verifizierung.

Mit der Datensatz-ID/dem Merkle-Blatt kannst du unabhängig überprüfen, ob dein Kontostand im Bescheinigungsbericht des Drittprüfers berücksichtigt wurde.

Verifizierungsablauf

Prüfung des Adressinhabers

Für Assets, die zum Nachweis von Reserven verwendet werden, müssen wir sicherstellen, dass die Wallet zu Binance gehört (einschließlich Cold- und Hot-Wallets).

Snapshot der Nutzerguthaben

Der Snapshot-Wert wird auf der Grundlage der Asset-Bestände auf den Kundenkonten zum Zeitpunkt des Snapshots berechnet.

Erstellung eines Merkle-Baums

Wir generieren den zugrundeliegenden Datenblock, indem wir die gehashte UID und das Guthaben jedes Users verknüpfen. Anschließend erstellen wir einen Merkle-Baum, der auf den Daten aller Nutzer basiert.
Die Merkle-Wurzel ändert sich, wenn sich eine Konto-ID oder ein Guthaben im Blattknoten ändert.
Jeder User kann überprüfen, ob seine Assets im Blattknoten enthalten sind.

Bestätigung durch eine externe Prüfstelle

Verifiziert von einem unabhängigen Prüfer.