Bevis på reserver

Verifiera att alla Binance-kontobalanser är fullt säkrade 1:1.

Audit Time

Verifieringsmekanism:

Merkle Root Hash:

Vad är reservbevis?

När vi säger reservbevis hänvisar vi specifikt till de tillgångar som vi håller i förvar för användare. Detta innebär att vi visar evidens och bevis på att Binance har tillgångar som täcker alla våra användares tillgångar 1:1, samt vissa reserver.

När en användare sätter in en Bitcoin ökar Binances reserver med en Bitcoin för att säkerställa att klientmedel är fullt säkrade.

Detta innebär att Binance håller alla användartillgångar 1:1, inklusive reserver. Binance har inga skulder i vår kapitalstruktur och vi har en nödfond (SAFU-fond) för extrema situationer, till exempel vid hackerattacker eller säkerhetsintrång.

Läs mer för att få ytterligare information om vad vi har byggt för att ge användare möjlighet att verifiera att deras tillgångar är säkra hos Binance.

Engagemanget för vår community förblir detsamma som alltid

Transparens

Vi kommer alltid att vara transparenta med våra användare

Säkerhet

Säkerheten för våra användares tillgångar är en prioritet för oss

Skyddad

Dina tillgångar är skyddade

Merkle-träd

Vad har vi byggt?

För att visa att Binance har alla användartillgångar säkrade 1:1 har vi byggt och implementerat ett Merkle-träd (visas nedan) som gör det möjligt för användare att verifiera att deras tillgångar ingår i samlad nettokontobalans. Vårt mål är att varje användare ska kunna verifiera 1:1-säkring av sina tillgångsinnehav med hjälp av sin egen genererade Merkle-hash/post-ID.

Vad är ett Merkle-träd?

Ett Merkle-träd är ett kryptografiskt verktyg som gör det möjligt att slå samman stora mängder data till en enda hash. Denna enda hash, kallad Merkle-rot, fungerar som ett kryptografiskt sigill som sammanfattar all inmatad data. Dessutom ger Merkle-träd användare möjlighet att verifiera att specifikt innehåll ingår i en viss uppsättning av 'förseglad' data. Vi använder dessa egenskaper hos Merkle-träd i våra bevis på reserver-bedömningar för att verifiera att individuella konton ingår i skuldrapporten, vilket valideras av vår zk-SNARKs-mekanism.

zk-Snarks

Vad har vi byggt?

Genom att använda en zk-Snark kan en kryptobörs bevisa att alla Merkle-träd-bladnoders balansuppsättningar (dvs. balanser på användarkonton) bidrar till börsens påstådda totala balans med användartillgångar. Varje användare kan enkelt komma åt sin bladnod som har inkluderats i processen. För varje användares balansuppsättning (Merkle-trädets bladnod) säkerställer vår krets att:

En användares kontobalans ingår i beräkningen av summan av de totala nettokontobalanser hos Binance.

2. Den totala nettobalansen på kontot är större än eller lika med noll.

3. Ändringen av Merkle-trädets rot är giltig (dvs. utan förfalskad information) efter att ett kontos information har uppdaterats till bladnodshashen.

Här är några användbara resurser:

blogg

teknisk specifikation

och

vår källkod

för kretsen (begränsningar) för implementeringsuppgifter.

Vad är en zk-Snark?

zk-Snark

(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) är ett bevisprotokoll som följer de nollkunskapsprinciper som tidigare beskrivits. Med en

zk-Snark

kan du bevisa att du känner till det ursprungliga hashade värdet (vi går igenom detta mer nedan) utan att avslöja vad det värdet är. Du kan också bevisa giltigheten av en

transaktion

utan att avslöja någon information om de specifika belopp, värden eller adresser som är inblandade.

Så här fungerar det

Hur kan jag verifiera mina egna transaktioner?

Logga in på Binance-webbplatsen

-> Klicka på " Plånbok"

-> Klicka på ”Verifiering”

Du kan hitta ditt Merkle Leaf och Record ID på sidan.

Välj det verifieringsdatum du vill kontrollera. Du hittar sedan en bekräftelse på verifieringstypen, ditt post-id (specifikt för ditt konto och just denna verifiering), de tillgångar som täcktes och dina tillgångsbalanser vid tidpunkten för verifieringen.

Record ID/Merkle-blad gör det möjligt för dig att självständigt verifiera att din kontobalans har inkluderats i skuldrapporten genom vår självverifieringsmetod.

Verifieringsprocess

1. Verifiera ägarskap för adress

För tillgångar som används för att verifiera reserver måste vi se till att ägandet av plånboken tillhör Binance (inklusive kall och het plånbok).

2. Ögonblicksbild av användarsaldon

Beräkningen av värdet från ögonblicksbilden baseras på tillgångsinnehavet i kundens kontobalanser vid datumet och tiden för ögonblicksbilden.

3. Skapa ZK-SNARKS-bevis

Vi genererar ZK-SNARKS-korrekturfiler för användare så att alla användare enkelt kan komma åt sin bladnod, vilket ger transparens för alla användare.

4. Skapa ett Merkle-träd

Vi genererar det underliggande datablocket genom att länka hashat UID och saldo för respektive användare. Vi genererar sedan ett Merkle-träd baserat på alla användares data. Merkle-roten ändras om något konto-id eller saldo i blad-noden ändras. Varje användare kan kontrollera om deras tillgångar ingår i blad-noden.