Gate.io PoR
Overtollige reservewaarde：
$ 0B
Laatste audit tijd:
(UTC+0)
Totale reserveringspercentage:
Algoritme:
Merkle Tree + zk-SNARKs
Merkle Root Hash:
Netto klantenbalans
$ 0
Gate Wallet Balans
$ 0
Overtollige reservewaarde
$ 0
Geen gegevens
Wat is 100% Bewijs van Reserves?
Een gecentraliseerd handelsplatform beheert een grootboek voor het registreren van gebruikersactiva in een database. Dientengevolge staan platforms voor de uitdaging om te bewijzen dat ze volledige controle hebben over alle gebruikersactiva in goede staat.
Gate.io implementeerde de Merkle-boom om dit probleem op te lossen, door de hashwaarde van de accountactiva van elke gebruiker op te slaan in de bladknopen van de Merkle-boom. Elke gebruiker kan het totale bedrag van de gebruikersactiva die zijn opgeslagen in de bladknopen van de Merkle-boom controleren en verifiëren of zijn fondsen zijn opgenomen via een gekwalificeerde derde partij auditbureau.
Als de activa die zijn opgeslagen in de Merkle-boom worden geverifieerd als zijnde groter dan of gelijk aan 100%, betekent dit dat de gebruikersactiva volledig op het platform worden bewaard, d.w.z. het platform biedt 100% Bewijs van Reserves voor de gebruikersactiva.
Waarom is het 100% Bewijs van Reserves zo belangrijk?
Het platform biedt 100% Bewijs van Reserves
Het platform is financieel solide
Verhoog het vertrouwen van gebruikers
Garandeer de veiligheid van gebruikersactiva
100% contant geld opnemen bij een drukke opname
Zonder de 100% bewijs-van-reserves verbintenis
Gebruikersactiva lopen het risico te worden misbruikt
Vertraging of onvermogen om activa op te nemen
Het platform kan een run krijgen als gebruikers massaal een opname aanvragen
Het platform loopt meer kans om failliet te gaan of activa te verliezen
Hoe beheren we om een 100% niveau van reserves te behouden?
Als het totale aantal tokens dat door de beurs op de blockchain wordt beheerd, voldoet aan of groter is dan het totale saldo van alle gebruikersaccounts, zoals vastgelegd in een momentopname, behoudt het platform een marge van 100% voor die tokens
Eigendom van de portemonnee
Wanneer u hot of cold wallets gebruikt, draagt u een willekeurig toegewezen bedrag over naar de door het auditbedrijf aangewezen adressen om uw eigendom van de portemonnee te bewijzen.
Het auditbedrijf zal het saldo van de relevante adressen optellen om het totale bedrag van de transactie te berekenen (inclusief gebruikersactiva en eigen activa van het platform).
Hoe bouw je de Merkle-boom met gehashte gebruikers-ID en gebruikerssaldo?
De gehashte gebruikers-ID (UID) en gebruikerssaldi worden eerst geëxporteerd uit de database van Gate.
Elk paar gehashte UID en gebruikerssaldi wordt respectievelijk gehasht en vervolgens samengevoegd om het onderliggende datablock te vormen.
Voor elk datablock wordt dezelfde hashfunctie toegepast om de bladknopen van de Merkle-boom te genereren. De resulterende gehashte gegevens worden vervolgens in paren samen gehasht om de ouderknopen van de bladknopen te creëren.
Dit proces gaat door totdat het resulteert in een enkele hash die bekend staat als de Merkle-wortel.
Raadpleeg de onderstaande afbeelding voor een illustratie. Nadat de Merkle-boom met succes is gebouwd, worden de bladknopen geëxporteerd naar een platte tekstbestand, dat samen met de Merkle-wortelhash door de auditor wordt gepubliceerd.
Wat is een Merkle-boom?
In cryptografie en informatica is een hashboom of Merkle-boom een boom waarin elke bladknoop is gelabeld met de cryptografische hash van een datablock. Elke niet-bladknoop is gelabeld met de hash van de labels van zijn kindknopen. Hashbomen maken efficiënte en veilige verificatie van de inhoud van grote datastructuren mogelijk.
Hoe gebruiken we een Merkle-boom om Bewijs van Reserves te leveren?
We slaan de hashwaarde van de accountactiva van elke gebruiker op als een bladknoop in de Merkle-boom. Vervolgens gebruiken we zk-SNARK technologie om te bevestigen dat we alle gebruikersactiva volledig in bezit hebben. Gedurende dit proces worden geen activagegevens bekendgemaakt. De stappen voor verificatie zijn als volgt:
1. zk-SNARK helpt bij het controleren dat het totale saldo van gebruikersactiva is opgeslagen als bladknopen in de Merkle-boom (d.w.z. gebruikersaccountsaldo). Voor elke bladknoop bevestigen we de volgende punten:
a. Het totale bedrag van de activa die door het platform worden beheerd, omvat het totale activasaldo van alle gebruikers.
b. Het netto saldo van elke gebruiker is groter dan of gelijk aan nul.
c. Wijziging van de activa van een gebruiker zal resulteren in wijziging van de Merkle-wortelhashwaarde.
2. Gebruikersverificatie: Gebruikers kunnen de authenticiteit van het bewijs verifiëren door de Merkle-wortelhashwaarde te verifiëren met behulp van zk-SNARK. De technologie stelt ons in staat om de 100% reserve-audit efficiënt en veilig af te ronden, terwijl de risico's van privacy- of bedrijfsgeheimenlekken worden vermeden, wat zal helpen om onze toewijding aan transparante operaties te realiseren en het vertrouwen van klanten te vergroten.
Wat zijn zk-SNARKs?
zk-SNARK, wat staat voor Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, is een baanbrekend hulpmiddel geworteld in cryptografie. Door gebruik te maken van geavanceerde wiskundige algoritmen, kan het efficiënt de reservehoeveelheid valideren zonder specifieke activadetails bekend te maken. zk-SNARK vergemakkelijkt niet alleen snelle activaverificatie, maar elimineert ook privacy-inbreukrisico's. Dankzij deze voordelen, gecombineerd met zijn niet-interactieve aard en hoge schaalbaarheid, vindt het uitgebreide toepassingen in gebieden zoals on-chain transactieverificatie, gegevensprivacybescherming en identiteitsverificatie.
Verificatieproces.
1. Installeer het programma en download gegevens:
1) Download het verificatieprogramma:
Download eerst het verificatieprogramma via de verstrekte link of ga naar GitHub om het verificatieprogramma te downloaden. Hernoem het vervolgens naar main.
2) Download vereiste gegevens:
Ga naar de Auditpagina en zoek de batch die u moet verifiëren. Klik op [Download Merkle Tree] en [Download User Config] om de gegevens te downloaden.
Pak het zkmerkle_cex_xxx.tar.gz gecomprimeerde bestand uit, plaats het main programma in deze map en plaats het user_config.json bestand in de config map.
De programmamap is nu
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
proof.csv
zkpor864.vk.save
main
2. Activaverificatie:
Gebruik vanaf cmd of terminal het cd-commando om naar de gedownloade map te navigeren, zoals cd ~/Downloads/zkmerkle_cex_xxx.
(Voordat u het programma uitvoert, moet u mogelijk chmod 777 main uitvoeren om machtigingen te verlenen of beveiligingsitems in te stellen.)
Voer het volgende commando uit om de verificatie te starten.
./main verify cex
Na succesvolle verificatie wordt het bericht weergegeven.
All proofs verify passed!!!
Raadpleeg voor gedetailleerde technische documentatie en verificatieprincipes het GitHub open-source project
Gate.io PoR Implementation
Auditmaatschappij
HACKEN
Audit tijd
January 3, 2024
Auditor
Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski
Repositories
Auditrapport
Gate.io PoR Implementation