Bevis for reserver

Verificer, at alle Binance-kontosaldi er fuldt opbakket 1:1.

Audit Time

Verificeringsmekanisme:

Merkle-rodhash:

Hvad er Proof of Reserves (PoR)?

When we say Proof of Reserves, we are specifically referring to those assets that we hold in custody for users. This means that we are showing evidence and proof that Binance has funds that cover all of our users assets 1:1, as well as some reserves.

Når en bruger foretager en indbetaling af én bitcoin, øges Binances reserver med én bitcoin for at sikre, at kundernes midler er fuldt opbakket.

Det betyder, at Binance opbevarer alle brugeraktiver 1:1, inklusive reserver. Binance har ingen gæld i vores kapitalstruktur, og vi har en nødfond (Secure Asset Fund for Users – forsikringsfond for brugere) til ekstreme tilfælde, som f.eks. hackerangreb eller sikkerhedsbrud.

Læs mere for yderligere oplysninger om, hvad vi har udviklet, så brugere kan verificere, at deres midler er sikre hos Binance.

Vores fællesskab er fortsat så vigtigt for os, som det altid har været

Gennemsigtighed

Vi vil altid være gennemsigtige over for vores brugere

Sikkerhed

Sikkerheden af vores brugeres midler er en prioritet for os

Beskyttet

Dine midler er beskyttet

Merkle-træ

Hvad har vi bygget?

For at vise, at Binance har alle brugeraktiver opbakket 1:1, har vi opbygget og implementeret et Merkle-træ (vist nedenfor), så brugere kan verificere, at deres aktiver er inkluderet i den samlede nettokontobeholdning. Vores mål er, at enhver bruger skal kunne verificere 1:1-opbakningen af deres aktivbeholdning ved hjælp af deres egen genererede Merkle-hash/record-id.

Hvad er et Merkle-træ?

Et Merkle-træ er et kryptografisk værktøj, der muliggør sammenlægning af store datamængder i én enkelt hash. Denne enkeltstående hash, kaldet en Merkle Root, fungerer som en kryptografisk forsegling, der "opsummerer" alle de indtastede data. Merkle-træer giver desuden brugerne mulighed for at verificere, at bestemt indhold er inkluderet i et specifikt sæt af "forseglede" data. Vi anvender disse egenskaber ved Merkle-træer under vores bevis for reserver-vurderinger til at verificere, at individuelle konti indgår i forpligtelsesrapporten, valideret af vores zk-SNARKs-mekanisme.

zk-SNARK'er

Hvad har vi bygget?

Ved at bruge en zk-SNARK kan en kryptobørs bevise, at alle Merkle-træbladsnodernes saldosæt (dvs. brugerkontosaldi) bidrager til børsens påståede samlede brugeraktivsaldo. Hver bruger kan nemt få adgang til sin bladnode som værende inkluderet i processen. For hver brugers saldosæt (Merkle-træbladsnode) sikrer vores kredsløb følgende:

1. En brugers kontosaldi indgår i beregningen af summen af de samlede nettokontosaldi hos Binance.

2. Den samlede nettosaldo for kontoen er større end eller lig med nul.

3. Ændringen af Merkle-træets rod er gyldig (dvs. der anvendes ikke falske oplysninger), efter at en kontos oplysninger er opdateret til bladnode-hash.

Her er nogle nyttige ressourcer:

blog

teknisk specifikation

vores kildekode

til kredsløbet (begrænsninger) for implementeringsoplysninger.

Hvad er en zk-SNARK?

zk-SNARK

(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) er en bevisprotokol, der følger de tidligere beskrevne nul-viden-principper. Med en

zk-SNARK

kan du bevise, at du kender den oprindelige hashværdi (beskrevet nærmere nedenfor) uden at afsløre, hvad denne værdi er. Du kan også bevise gyldigheden af en

transaktion

uden at afsløre nogen oplysninger om de specifikke beløb eller værdier eller de adresser, der er involveret.

Sådan fungerer det

Hvordan kan jeg verificere mine egne transaktioner?

Log på Binance-websitet

-> Klik på "Wallet"

-> Klik på "Verificering"

Du vil kunne finde dit Merkle-blad og dit registrerings-id på siden.

Vælg den verificeringsdato, du vil tjekke. Du finder derefter en bekræftelse af verificeringstypen, dit registrerings-id (specifikt for din konto og denne særlige verificering), de aktiver, der var omfattet, og dine aktivsaldi på tidspunktet for verificeringen.

Fortegnelses-id'et/Merkle-bladet gør det muligt at verificere uafhængigt, at din saldo er inkluderet i rapporten over forpligtelser via vores selvverificeringsmetode.

Verifikationsproces

1. Verificer ejerskab af adressen

For aktiver, der bruges til at verificere reserver, skal vi sikre, at ejerskabet af walletten tilhører Binance (herunder cold og hot wallet).

2. Øjebliksbillede af brugersaldi

Øjebliksbilledværdien beregnes ud fra aktivbeholdningen i kundens kontosaldi på datoen og tidspunktet for øjebliksbilledet.

3. Generér zk-SNARK-bevis

Vi genererer zk-SNARK-bevisfiler for brugere, så hver bruger nemt kan tilgå sin bladnode, hvilket giver gennemsigtighed for alle brugere.

4. Generering af Merkle-træ

Vi genererer den underliggende datablok ved at sammenkæde hver brugers hashede UID og saldo. Vi genererer derefter et Merkle-træ baseret på alle brugernes data. Merkle-roden ændres, hvis et konto-id eller en kontosaldo i bladnoden ændres. Alle brugere kan verificere, om deres aktiver er med i bladnoden.