Sådan verificerer du din kontosaldo på Binance.

Binance er forpligtet til at sikre, at hver bruger har fuld gennemsigtighed i sikkerheden af deres aktiver. Du kan nu bruge zk-SNARKs og Merkle Tree til nøjagtigt at verificere Binances bevis på reserver og din kontosaldo.

Hvornår bliver Binances månedlige bevis for reserver frigivet?

Binances bevis for reserver bliver brugersnapshottet den 1. i hver måned kl. 00:00:00 UTC, og resultatet bliver frigivet den 7. i samme måned. 

Hvordan verificerer man sin kontosaldo ved hjælp af zk-SNARKs og Merkle Tree?

1. Besøg den officielle GitHub-hjemmeside, og download verificeringsværktøjet fra depotet.

2. Gå til Binance.com og log ind på din konto. Klik på [Profil] - [Wallet] - [Verifikation]. Klik derefter på pilen for at udvide verificeringsdataene.

3. Se efter selvverificerende Merkle Tree-poster, og sørg for, at [Verificeringstype] er "Merkle Tree + Zksnarks". Du vil se dataene for din konto. Klik på [Download Merkle Tree] for at gemme det på din computer.

Bemærk, at rapporten er et snapshot og ikke en visning af aktiver i realtid. Den matcher måske ikke dit nuværende antal aktiver.

4. Gå til mappen med verificeringsværktøjet. For at verificere root hashen skal du køre "./verifier_darwin_amd64" på MacOS, "./verifier_linux_amd64" på Linux eller "./verifier_windows_amd64.exe" på Windows. 

Forudsætning: 

Opret "config.json", "proof.csv" og "zkpor864.vk.save" i zip-filen, og placer dem i mappen "PathToVerifierTool/config".

Konfiguration:

• Opsæt "ProofTable" til at referere til zk-SNARKs proof-datafilen, der er genereret af prooferen;
• Indstil "ZkKeyName" til at pege på den verificeringsnøgle, der er downloadet i pakken;
• "CexAssetInfo" henviser til den samlede kundesaldo for alle de tokens, der er opført i Binance (inklusive alle verificerbare og ikke-verificerbare aktiver). Det kan verificeres ved hjælp af det anførte zk-SNARKs-bevis. Du kan krydstjekke med det verificerbare aktiv på Binances bevis for reserver. Alle saldi og priser er 10^8 undtagen for BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT, DOGE, PEPE, FLOKI, IDRT, BONK, DOGS, 1000SATS og NEIRO (10^2).

5. For at bekræfte dine kontooplysninger skal du bruge "./verifier_darwin_amd64 -user" på MacOS eller "./verifier_linux_amd64 -user" på Linux, "./verifier_windows_amd64.exe -user" på Windows.

Forudsætning: 

Download/opsæt "user_config.json". Den genereres specifikt baseret på en brugers kontodata under snapshotet. Du kan finde den i den zip-fil, du downloadede. Placer den i mappen "PathToVerifierTool/config".

Konfiguration:

• "AccountIndex": Placering af Merkle leaf i Merkle tree;
• "AccountIdHash" - "Record ID": Identificer hver brugers konto i Binance. Du kan finde oplysningerne om din konto på siden [Verifikation].
• "TotalEquity": Den samlede værdi af brugerens beholdning (i USD); Værdier er i 10^16
• "TotalDebt": Den samlede værdi af brugerens lån (i USD); Værdier er i 10^16
• "TotalCollateral": Den samlede værdi af brugerens beholdning placeret som sikkerhedsstillelse (i USD). Værdier er i 10^16
• "Aktiver": Brugerens aktiver i snapshottet. Du kan henvise til de aktiver, der svarer til indekserne i den liste over aktivskabeloner, der blev downloadet i trin 2 (se "Asset_List.csv" for at identificere tokenet ved hjælp af indekset). Alle saldi er 10^8 undtagen for BTTC, SHIB, LUNC, XEC, WIN, BIDR, SPELL, HOT, DOGE, PEPE, FLOKI, IDRT, BONK, DOGS, 1000SATS og NEIRO (10^2).
• "Root": Merkle root hash for verificeringsøvelsen. Det bruges til at kontrollere brugerens oplysninger med Merkle-stioplysninger fra de samme root hashes.
• "Bevis": Den Merkle-sti, der tilhører brugeren.

For mere information om, hvordan zk-SNARKs fungerer, se:

• Forbedring af krypto-gennemsigtighed med Zero-Knowledge Proof
• Hvordan zk-SNARKs forbedrer Binance's Proof-of-Reserves-system

Hvis du har nogle forslag, kan du sende din feedback til her.