Gate.io PoR
Letzte Prüfungszeit:
2025-01-17 00:00:00(UTC+0)
Überschüssiger Wert der Rücklage:
$ 2.30B
Algorithm:
Merkle Tree + zk-SNARKs
Gesamtreservesatz:
128.58%
Merkle Root Hash:
06efdef929fbbd89911926147f2e9e11d2a4a42e7ef1e673ca91be0cd70c4d9d
Kunden-Nettosaldo
$ 8,032,485,613
Austausch Wallet
$ 10,328,360,536
Überschüssiger Wert der Rücklage
$ 2,295,874,922
BTCReservequote
012345678901234567890123456789.00123456789%
Kunden-Nettosaldo
16,587.52
Austausch Wallet
20,412.00
Austausch Wallet USD
$ 2,124,423,806
DOGEReservequote
012345678901234567890123456789.01234567890123456789%
Kunden-Nettosaldo
1,953,210,856.00
Austausch Wallet
2,179,220,808.00
Austausch Wallet USD
$ 915,272,739
USDTReservequote
012345678901234567890123456789.01234567890%
Kunden-Nettosaldo
767,935,654.20
Austausch Wallet
910,783,326.00
Austausch Wallet USD
$ 910,783,326
ETHReservequote
012345678901234567890123456789.00123456789%
Kunden-Nettosaldo
229,395.61
Austausch Wallet
257,007.00
Austausch Wallet USD
$ 892,497,928
ETH2Reservequote
012345678901234567890123456789.01234567890123456789%
Kunden-Nettosaldo
90,358.45
Austausch Wallet
115,380.00
Austausch Wallet USD
$ 399,007,116
XRPReservequote
012345678901234567890123456789.01234567890123456789%
Kunden-Nettosaldo
68,479,631.82
Austausch Wallet
81,267,807.00
Austausch Wallet USD
$ 267,371,085
Was sind 100%ige 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 größer oder gleich 100 % sind, bedeutet dies, dass die Vermögenswerte der Nutzer vollständig auf der Plattform gehalten werden, d. h. die Plattform bietet 100 % Reserven für die Vermögenswerte der Nutzer.
Warum sind die 100%igen Reserven so wichtig?
Die Plattform bietet 100%ige Reserven
Die Plattform ist finanziell solide
Das Vertrauen der Nutzer stärken
Gewährleistung der Sicherheit der Vermögenswerte der Nutzer
100%ige Auszahlung bei einer überfüllten Abhebung
Ohne die 100 %ige Reserven Verpflichtung
Es besteht die Gefahr, dass die Vermögenswerte der Nutzer veruntreut werden
Verzögerung oder Unmöglichkeit der Auszahlung von Vermögenswerten
Die Plattform kann einen Ansturm erleiden, wenn die Nutzer sich drängen, um eine Abhebung zu beantragen.
Es ist wahrscheinlicher, dass die Plattform bankrott geht oder einen Vermögensverlust erleidet
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
Zeit des Audits | Audit-Firma | Wirtschaftsprüfer | Ablage | Prüfungsbericht |
|---|---|---|---|---|
January 3, 2024 |
| Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski | Gate.io PoR Implementation |
HACKEN