Gate.io PoR
Letzte Prüfungszeit:
(UTC+0)
Überschüssiger Wert der Rücklage:
$ B
Algorithm:
Merkle Tree + zk-SNARKs
Gesamtreservesatz:
Merkle Root Hash:
Kunden-Nettosaldo
$
Austausch Wallet
$
Überschüssiger Wert der Rücklage
$
Not Data
Was ist ein 100%iger Nachweis von Reserven?
Die zentralisierte Handelsplattform führt ein Hauptbuch in der Datenbank, um die Vermögenswerte der Nutzer zu erfassen. Daher ist es für die Plattform schwierig, nachzuweisen, dass sie die Vermögenswerte aller Nutzer in gutem Zustand und in voller Höhe aufbewahrt.
Gate.io hat den Merkle-Baum implementiert, um dieses Problem zu lösen, indem der Hash-Wert des Kontoguthabens eines jeden Nutzers in den Blattknoten des Merkle-Baums gespeichert wird. Jeder Nutzer kann die Gesamtsumme der in den Blattknoten des Merkle-Baums gespeicherten Nutzer-Guthaben überprüfen und durch eine qualifizierte Drittpartei überprüfen lassen, ob seine Gelder enthalten sind.
Wenn die im Merkle-Baum gespeicherten Vermögenswerte zu mehr als oder gleich 100 % verifiziert sind, bedeutet dies, dass die Vermögenswerte der Nutzer in vollem Umfang auf der Plattform gehalten werden, d. h. die Plattform bietet einen 100 %igen Nachweis der Reserven für die Vermögenswerte der Nutzer.
Warum ist der 100%ige Nachweis von Reserven so wichtig?
Wie verwenden wir einen Hash-Tree, um den Nachweis der Reserven zu erbringen?
Wie schaffen wir es, 100 % der Reserven aufrechtzuerhalten?
Eigentum an der Wallet
Bei der Verwendung von Hot oder Cold Wallets überweisen Sie einen zufällig festgelegten Betrag an die von der Prüfungsgesellschaft angegebenen Adressen, um Ihr Eigentum an der Wallet nachzuweisen.
Die Auditfirma addiert den Saldo der betreffenden Adressen, um den Gesamtbetrag der Transaktion zu berechnen (einschließlich der Vermögenswerte der Nutzer und der eigenen Vermögenswerte der Plattform).
Wie erstellt man den Merkle-Baum mit gehashter Benutzerkennung und Benutzerbilanz?
Die gehashte Benutzerkennung (UID) und die Benutzersalden werden zunächst aus der Gate-Datenbank exportiert.
Jedes Paar von gehashten UIDs und Benutzersalden wird jeweils gehasht und dann verkettet, um den zugrunde liegenden Datenblock zu bilden.
Für jeden Datenblock wird dieselbe Hash-Funktion angewendet, um die Leaf Nodes des Merkle-Baums zu erzeugen. Die resultierenden gehashten Daten werden anschließend paarweise zusammengehasht, um die übergeordneten Knoten der Leaf Nodes zu erstellen.
Dieser Prozess wird so lange fortgesetzt, bis er zu einem einzigen Hashwert führt, der als Merkle-Root bekannt ist.
Zur Veranschaulichung sehen Sie sich bitte das nachstehende Diagramm an. Nachdem der Merkle-Baum erfolgreich erstellt wurde, werden die Leaf Nodes in eine einfache 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, in dem jeder Blattknoten mit dem kryptographischen Hash eines Datenblocks gekennzeichnet ist. Jeder Nicht-Blatt-Knoten ist mit dem Hash-Wert der Kennzeichnungen seiner Kind-Knoten gekennzeichnet. Hash-Bäume ermöglichen eine effiziente und sichere Überprüfung des Inhalts großer Datenstrukturen.
Wir veröffentlichen einen 100%igen Margennachweis auf der Chain und stellen ihn der Öffentlichkeit zur Verfügung.
1. zk-SNARK hilft bei der Prüfung, ob der Gesamtsaldo der Guthaben der Benutzer als Leaf-Nodes im Merkle-Tree gespeichert ist (d. h. der Saldo des Benutzerkontos). Für jeden Leaf-Node bestätigen wir die folgenden Punkte:
a. Der Gesamtbetrag der von der Plattform verwalteten Vermögenswerte umfasst den Gesamtbestand der Vermögenswerte aller Nutzer.
b. Der Nettosaldo eines jeden Nutzers ist größer oder gleich Null.
c. Eine Änderung der Vermögenswerte eines jeden Nutzers führt zu einer Änderung des Merkle-Root-Hashwerts.
2. Wir veröffentlichen einen 100%igen Margennachweis auf der chain und stellen ihn der Öffentlichkeit zur Verfügung.
Was sind zk-SNARKs?
zk-SNARK, ist die Abkürzung für Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, ist ein bahnbrechendes Instrument, das auf der Kryptographie basiert. Durch die Verwendung fortschrittlicher mathematischer Algorithmen kann es die Höhe der Rücklagen wirksam validieren, ohne spezifische Details des Vermögenswertes offenzulegen. zk-SNARK ermöglicht nicht nur eine schnelle Überprüfung des Vermögenswertes, sondern verhindert auch eine Eingriff in die Privatsphäre. Aufgrund dieser Vorteile, gepaart mit seiner nicht-interaktiven Natur und hohen Skalierbarkeit, findet es umfangreiche Anwendungen in Bereichen wie On-Chain-Transaktionsüberprüfung, Datenschutz und Identitätsauthentifizierung.
zk-SNARK, standing for Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, is a groundbreaking tool rooted in cryptography. Utilizing advanced mathematical algorithms, it can proficiently validate the reserve amount without disclosing specific asset details. zk-SNARK not only facilitates swift asset verification but also negates privacy breach risks. Owing to these benefits, coupled with its non-interactive nature and high scalability, it finds extensive applications in areas like on-chain transaction verification, data privacy safeguards, and identity authentication
Überprüfungsprozess.
1. Installieren Sie das Programm und laden Sie die Daten herunter:
1) Laden Sie das Prüfprogramm herunter:
Laden Sie zunächst das Verifizierungsprogramm über den angegebenen Link herunter oder rufen Sie GitHub auf, um das Verifizierungsprogramm herunterzuladen. Dann benennen Sie es in main um.
2) Laden Sie die erforderlichen Daten herunter:
Rufen Sie die Audit Page auf und suchen Sie den Batch, den Sie überprüfen möchten. Klicken Sie auf [Laden Sie Merkle-Baum herunter] und [Laden Sie die Benutzerkonfiguration herunter] zum herunterladen der Daten.
Entpacken Sie die zkmerkle_cex_xxx.tar.gzkomprimierte Datei, platzieren Sie das main in diesem Ordner und legen Sie die user_config.json Datei im config Ordner ab.
Der Programmordner ist nun
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
proof.csv
zkpor864.vk.save
main
2. Überprüfung der Vermögenswerte:
Verwenden Sie in cmd oder im Terminal den Befehl cd, um in den heruntergeladenen Ordner zu navigieren, z. B. 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 Sicherheitselemente festzulegen).
Führen Sie den folgenden Befehl aus, um die Überprüfung zu starten.
./main verify cex
Nach erfolgreicher Überprüfung wird die Meldung angezeigt.
All proofs verify passed!!!
Eine ausführliche technische Dokumentation und Verifikationsprinzipien finden Sie im GitHub Open-Source-Projekt.
Gate-io Implementation
HACKEN
Audit-FirmaZeit des Audits
January 3, 2024
Wirtschaftsprüfer
Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski
Prüfungsbericht
Gate.io PoR Implementation
