Nachweis von Reserven

Überprüfe, dass alle Binance-Kontobestände vollständig gedeckt sind.

Audit Time

Verifizierungsmechanismus:

Merkle-Root-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 einen Bitcoin, sodass die Mittel der Kunden vollständig gedeckt sind.

Alle Nutzervermögen sind vollständig gedeckt. Binance ist schuldenfrei und hat einen SAFU-Notfallfonds für Hacks oder Sicherheitsprobleme.

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 Assets unserer Nutzer hat für uns oberste Priorität

Geschützt

Deine Assets sind sicher

Merkle-Baum

Welche Maßnahmen haben wir ergriffen?

Um zu bestätigen, dass Binance alle Nutzervermögen 1:1 hält, setzen wir einen Merkle-Baum ein (siehe unten). Damit können Nutzer prüfen, dass ihre Assets im Gesamt-Nettoguthaben berücksichtigt werden. Jeder Nutzer soll so die 1:1-Deckung seiner Bestände über den eigenen Blattknoten-Hash oder die Datensatz-ID verifizieren können.

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 (Merkle-Root-Hash), 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 Blattknoten-Hash kannst du unabhängig überprüfen, ob dein Kontostand im Attestierungsbericht berücksichtigt wurde.

Verifizierungsablauf

1. 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).

2. Snapshot der Nutzerguthaben

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

3. zk-Snarks-Nachweis erstellen

Wir generieren für alle unsere Nutzer zk-SNARKs-Nachweisdateien und ermöglichen ihnen so den problemlosen Zugriff auf den jeweiligen Blattknoten, was für Transparenz für alle sorgt.

4. Erstellung eines Merkle-Baums

Wir generieren den zugrundeliegenden Datenblock, indem wir die gehashte UID und das Guthaben jedes Nutzers 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 Nutzer kann überprüfen, ob seine Assets im Blattknoten enthalten sind.