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
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.
Wie schaffen wir es, 100 % der Reserven aufrechtzuerhalten?
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).
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.
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.
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.
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
1. Installieren Sie das Programm und laden Sie die Daten 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.
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.
HACKEN
Audit-FirmaZeit des Audits
January 3, 2024
Wirtschaftsprüfer
Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski
Prüfungsbericht
Gate.io PoR Implementation