Doklad o rezervách

Overte, že všetky zostatky účtov Binance sú plne zálohované v pomere 1:1.

Audit Time

Mechanizmus overenia:

Hash koreňa Merkle:

Čo je dôkaz o rezervách (PoR)?

Keď poukazujeme na dôkaz o rezervách, máme na mysli konkrétne aktíva, ktoré máme v úschove pre používateľov. To znamená, že poskytujeme doklady a dôkazy o tom, že spoločnosť Binance má fondy, ktoré pokrývajú všetky aktíva našich používateľov v pomere 1:1, ako aj určité rezervy.

Keď používateľ vloží jeden bitcoin, rezervy Binance sa zvýšia o jeden bitcoin, aby boli prostriedky klientov plne zálohované.

To znamená, že Binance drží všetky aktíva používateľov v pomere 1:1 vrátane rezerv. Binance nemá v našej kapitálovej štruktúre žiadny dlh a pre mimoriadne prípady (napríklad útoky alebo narušenie bezpečnosti) máme núdzový fond (fond SAFU) .

Prečítajte si viac a zistite ďalšie informácie o tom, čo sme vytvorili, aby si používatelia mohli overiť, že ich prostriedky sú na Binance v bezpečí.

Náš záväzok voči našej komunite zostáva nemenný

Transparentnosť

Voči našim používateľom sme vždy transparentní

Bezpečnosť

Bezpečnosť fondov našich používateľov je našou prioritou

Chránené

Vaše fondy sú chránené

Strom Merkle

Čo sme vybudovali?

Aby sme preukázali, že Binance má všetky aktíva používateľov zálohované v pomere 1:1, vytvorili a implementovali sme strom Merkle (zobrazený nižšie), ktorý umožňuje používateľom overiť, že ich aktíva sú zahrnuté v súhrnnom čistom zostatku na účte. Naším cieľom je, aby si každý používateľ mohol overiť, že jeho aktíva sú zalohované v pomere 1:1 použitím svojho vlastného vygenerovaného hodnoty hash Merkle/ID záznamu.

Čo je strom Merkle?

Strom Merkle je kryptografický nástroj, ktorý umožňuje zjednotiť veľké množstvo údajov do jediného hashu. Tento jediný hash (nazývaný koreň stromu Merkle) slúži ako kryptografická pečať, ktorá je „súhrnom“ všetkých vložených údajov. Stromy Merkle navyše používateľom umožňujú overiť, že konkrétny obsah bol zahrnutý do určitej skupiny „zapečatených“ údajov. Tieto vlastnosti stromov Merkle využívame počas našich hodnotení Dokladu o rezervách na overenie, že jednotlivé účty sú súčasťou správy o záväzkoch, overenej prostredníctvom nášho mechanizmu zk-SNARKs.

zk-SNARKs

Čo sme vybudovali?

Kryptomenová burza môže pomocou technológie zk-SNARK preukázať, že zostatkové množiny všetkých uzlov listov stromu merkle (t. j. zostatky na účtoch používateľov) prispievajú k uvádzanému celkovému používateľskému zostatku aktív burzy. Každý používateľ môže jednoducho získať prístup k svojmu uzlu listu ako k uzlu, ktorý bol zahrnutý do procesu. Pre sadu zostatkov každého používateľa (uzol listu stromu merkle) náš obvod zaistí, že:

Zostatky účtov používateľa sa započítavajú do výpočtu súčtu celkových čistých zostatkov účtov v Binance.

2. Celkový čistý zostatok na účte je vyšší alebo sa rovná nule.

3. Zmena koreňa Merkle stromu je platná (t. j. bez použitia sfalšovaných informácií) po aktualizovaní informácií účtu do hashu uzla listu.

Tu je niekoľko užitočných zdrojov ohľadom podrobností o implementácií.:

blog

technická špecifikácia

náš zdrojový kód

pre obmedzenia obvodu.

Čo je to protokol zk-SNARK?

zk-SNARK

(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) je dôkazový protokol, ktorý sa riadi princípmi nulových znalostí, ktoré boli načrtnuté vyššie. S protokolom

zk-SNARK

môžete dokázať, že poznáte pôvodnú hašovanú hodnotu (o ktorej sa hovorí nižšie), bez toho, aby ste prezradili, aká je táto hodnota. Môžete tiež preukázať platnosť

transakcie

bez uvedenia akýchkoľvek informácií o konkrétnych sumách, hodnotách alebo adresách.

Ako to funguje

Ako môžem overiť svoje vlastné transakcie?

Prihláste sa na webovú stránku Binance

-> Kliknite na „Peňaženka“

-> Kliknite na „Overenie“

Na stránke nájdete svoj list Merkle a ID záznamu.

Vyberte dátum overenia, ktorý chcete skontrolovať. Následne nájdete potvrdenie typu auditu, vaše ID záznamu (špecifické pre váš účet a toto konkrétne overenie), aktíva, ktoré boli pokryté, a zostatky vašich aktív v čase overenia.

ID záznamu/List stromu Merkle vám umožňuje nezávisle overiť, že váš zostatok na účte bol zahrnutý do správy o záväzkoch prostredníctvom našej metódy samooverenia.

Proces overenia

1. Overenie vlastníctva adresy

V prípade aktív, ktoré sa používajú na overenie rezerv, musíme zabezpečiť, aby vlastníctvo peňaženky patrilo spoločnosti Binance (vrátane studenej a horúcej peňaženky).

2. Snímka zostatkov používateľov

Hodnota snímky sa vypočíta na základe držby aktív v rámci zostatkov na účte klienta k dátumu a času snímky.

3. Vytvoriť dôkaz protokolu zk-SNARK

Súbory dôkazu protokolu zk-SNARK vytvárame pre používateľov, aby každý používateľ mal jednoduchý prístup k svojmu uzlu listu, čo poskytuje transparentnosť pre všetkých používateľov.

4. Generácia stromu Merkle

Podkladový dátový blok generujeme prepojením hashovaného UID a zostatku každého používateľa. Následne vygenerujeme strom Merkle na základe údajov všetkých používateľov. Koreň Merkle sa zmení, ak sa zmení akékoľvek ID účtu alebo zostatok v listovom uzle. Každý používateľ si môže overiť, či sú jeho aktíva obsiahnute v listovom uzle.