Gate.io PoR
Überschüssiger Reservewert：
$ 0B
Letzte Prüfungszeit:
(UTC+0)
Gesamtreservequote:
Algorithmus:
Merkle Tree + zk-SNARKs
Merkle-Root-Hash:
Kunden-Nettobilanz
$ 0
Gate Wallet-Bilanz
$ 0
Überschüssiger Reservewert
$ 0
Keine Daten
Was ist 100% Reservenachweis?
Eine zentralisierte Handelsplattform verwaltet ein Kontobuch zur Aufzeichnung von Benutzer-Assets in einer Datenbank. Daher stehen Plattformen vor der Herausforderung nachzuweisen, dass sie die vollständige Verwahrung aller Benutzer-Assets in gutem Zustand haben.
Gate.io implementierte den Merkle-Baum, um dieses Problem zu lösen, indem der Hash-Wert der Assets jedes Benutzers in den Blattknoten des Merkle-Baums gespeichert wird. Jeder Benutzer kann die Gesamtmenge der in den Blattknoten des Merkle-Baums gespeicherten Benutzer-Assets prüfen und über eine qualifizierte Drittprüfstelle überprüfen, ob seine Gelder enthalten sind.
Wenn die im Merkle-Baum gespeicherten Assets als größer oder gleich 100% verifiziert werden, bedeutet dies, dass die Assets der Benutzer vollständig auf der Plattform gehalten werden, d.h. die Plattform bietet 100% Reservenachweis für die Assets der Benutzer.
Warum ist der 100% Reservenachweis so wichtig?
Die Plattform bietet 100% Reservenachweis
Die Plattform ist finanziell solide
Stärkung des Vertrauens der Benutzer
Garantie für die Sicherheit der Benutzer-Assets
100% Auszahlung bei gehäuften Abhebungen
Ohne die 100% Reservenachweis-Verpflichtung
Die Assets der Benutzer sind von Veruntreuung bedroht
Verzögerung oder Unfähigkeit Assets auszuzahlen
Die Plattform könnte einen Ansturm erleiden, wenn Benutzer gehäuft Abhebungen anfordern
Die Plattform ist anfälliger für Bankrott oder Vermögensverlust
Wie schaffen wir es, 100% Reserven aufrechtzuerhalten?
Wenn die Gesamtzahl der von der Börse auf der Blockchain verwalteten Token den Gesamtkontostand aller Benutzerkonten, wie in einer Momentaufnahme erfasst, erreicht oder übersteigt, hält die Plattform eine 100%ige Marge für diese Token
Eigentum über die Wallet
Wenn Sie Hot- oder Cold-Wallets verwenden, überweisen Sie einen zufällig festgelegten Betrag an die von der Prüfungsgesellschaft bestimmten Adressen, um Ihr Eigentum über die Wallet nachzuweisen.
Die Prüfungsgesellschaft wird den Kontostand der relevanten Adressen addieren, um den Gesamtbetrag der Transaktion zu berechnen (einschließlich der Assets der Benutzer und der eigenen Assets der Plattform).
Wie baut man den Merkle-Baum mit gehashter Benutzer-ID und Benutzerkontostand?
Die gehashte Benutzer-ID (UID) und Benutzerkonten werden zuerst aus der Gate-Datenbank exportiert.
Jedes Paar von gehashter UID und Benutzerkonten wird jeweils gehasht und dann verkettet, um den zugrunde liegenden Datenblock zu bilden.
Für jeden Datenblock wird die gleiche Hash-Funktion angewendet, um die Blattknoten des Merkle-Baums zu generieren. Die resultierenden gehashten Daten werden anschließend paarweise gehasht, um die übergeordneten Knoten der Blattknoten zu erstellen.
Dieser Prozess wird fortgesetzt, bis ein einzelner Hash entsteht, der als Merkle-Wurzel bekannt ist.
Bitte beachten Sie das untenstehende Diagramm zur Veranschaulichung. Nachdem der Merkle-Baum erfolgreich erstellt wurde, werden die Blattknoten in eine Textdatei exportiert, die zusammen mit dem Merkle-Root-Hash vom Prüfer veröffentlicht wird.
Was ist ein Merkle-Baum?
In der Kryptographie und Informatik ist ein Hash-Baum oder Merkle-Baum ein Baum, bei dem jeder Blattknoten mit dem kryptographischen Hash eines Datenblocks gekennzeichnet ist. Jeder Nicht-Blattknoten ist mit dem Hash der Bezeichnungen seiner untergeordneten Knoten gekennzeichnet. Hash-Bäume ermöglichen eine effiziente und sichere Überprüfung der Inhalte großer Datenstrukturen.
Wie verwenden wir einen Merkle-Baum für den Reservenachweis?
Wir speichern den Hash-Wert des Kontobestands jedes Benutzers als Blattknoten im Merkle-Baum. Dann setzen wir die zk-SNARK-Technologie ein, um zu bestätigen, dass wir alle Assets der Benutzer vollständig besitzen. Während dieses Prozesses werden keine Asset-Daten offengelegt. Die Schritte zur Überprüfung sind wie folgt:
1. zk-SNARK unterstützt bei der Prüfung, dass der Gesamtkontostand der Benutzer-Assets als Blattknoten im Merkle-Baum gespeichert ist (d.h. Benutzerkontostand). Für jeden Blattknoten bestätigen wir die folgenden Punkte:
a. Die Gesamtmenge der von der Plattform verwalteten Assets umfasst den gesamten Asset-Bestand aller Benutzer.
b. Der Nettobestand jedes Benutzers ist größer oder gleich Null.
c. Die Änderung der Assets eines Benutzers führt zur Änderung des Merkle-Root-Hash-Werts.
2. Benutzerüberprüfung: Benutzer können die Authentizität des Beweises überprüfen, indem sie den Merkle-Root-Hash-Wert mit zk-SNARK verifizieren. Die Technologie ermöglicht es uns, die 100%-Reserveprüfung effizient und sicher durchzuführen und dabei die Risiken der Verletzung der Privatsphäre oder des Verrats von Geschäftsgeheimnissen zu vermeiden, was dazu beiträgt, unsere Verpflichtung zu transparenten Operationen zu erfüllen und das Vertrauen der Kunden zu stärken.
Was sind zk-SNARKs?
zk-SNARK, was für Zero-Knowledge Succinct Non-Interactive Argument of Knowledge steht, ist ein bahnbrechendes Werkzeug aus der Kryptographie. Unter Verwendung fortgeschrittener mathematischer Algorithmen kann es den Reservebetrag effizient validieren, ohne spezifische Asset-Details offenzulegen. zk-SNARK ermöglicht nicht nur eine schnelle Asset-Verifizierung, sondern eliminiert auch Risiken der Verletzung der Privatsphäre. Aufgrund dieser Vorteile, zusammen mit seiner nicht-interaktiven Natur und hohen Skalierbarkeit, findet es breite Anwendung in Bereichen wie On-Chain-Transaktionsverifizierung, Datenschutz und Identitätsauthentifizierung
Überprüfungsprozess
1. Programm installieren und Daten herunterladen:
1)Überprüfungsprogramm herunterladen:
Laden Sie zunächst das Überprüfungsprogramm über den bereitgestellten Link herunter oder greifen Sie auf GitHub zu, um das Überprüfungsprogramm herunterzuladen. Benennen Sie es dann in main um.
2)Erforderliche Daten herunterladen:
Greifen Sie auf die Prüfungsseite zu und suchen Sie den Batch, den Sie überprüfen müssen. Klicken Sie auf [Merkle-Baum herunterladen] und [Benutzerkonfiguration herunterladen], um die Daten herunterzuladen.
Entpacken Sie die komprimierte Datei zkmerkle_cex_xxx.tar.gz, platzieren Sie das main-Programm in diesem Ordner und legen Sie die Datei user_config.json im Ordner config ab.
Der Programmordner ist jetzt
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
proof.csv
zkpor864.vk.save
main
2. Asset-Überprüfung:
Verwenden Sie in der Befehlszeile oder im Terminal den cd-Befehl, um in den heruntergeladenen Ordner zu navigieren, zum Beispiel cd ~/Downloads/zkmerkle_cex_xxx.
(Bevor Sie das Programm ausführen, müssen Sie möglicherweise chmod 777 main ausführen, um Berechtigungen zu erteilen oder Sicherheitseinstellungen festzulegen.)
Führen Sie den folgenden Befehl aus, um mit der Überprüfung zu beginnen.
./main verify cex
Nach erfolgreicher Überprüfung wird die Meldung angezeigt.
All proofs verify passed!!!
Detaillierte technische Dokumentation und Überprüfungsprinzipien finden Sie im GitHub Open-Source-Projekt
Gate.io PoR Implementation
Prüfungsgesellschaft
HACKEN
Prüfungszeit
January 3, 2024
Prüfer
Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski
Repositories
Prüfbericht
Gate.io PoR Implementation