Fedezeti bizonyíték

Igazolás arról, hogy minden Binance-fiók egyenlege teljes mértékben – 1:1 arányban – fedezett.

Audit Time

Ellenőrzési mechanizmus:

Merkle-gyökér hash:

Mi az a Proof of Reserves (PoR)?

„Fedezeti bizonyíték” alatt konkrétan azokat az eszközöket értjük, amelyeket a felhasználóink részére letétben kezelünk. Ez azt jelenti, hogy bizonyítékot szolgáltatunk arról, hogy a Binance rendelkezik a szükséges pénzeszközökkel a felhasználói eszközök 1:1 arányú fedezéséhez, plusz még tartaléka is van.

Amikor egy felhasználó letétbe helyez egy Bitcoint, a Binance-tartalékok egy Bitcoinnal növekednek, így az ügyféli pénzeszközök teljes mértékben fedezettek.

Ez azt jelenti, hogy a Binance minden felhasználói eszközt 1:1 arányban tart, beleértve a tartalékokat is. A Binance tőkestruktúrája teljesen adósságmentes, és vészhelyzeti alapot (Biztonságos Eszköz Alap a Felhasználók Számára – SAFU) tartunk fenn a rendkívüli esetekre, például hackertámadásokra vagy adatbiztonsági incidensekre.

Olvass tovább, és még többet megtudhatsz arról a funkcióról, amellyel a felhasználók ellenőrizhetik, hogy a pénzeszközeik biztonságban vannak a Binance-nél.

A közösségünk iránti elkötelezettségünk nem változott

Transzparencia

Mindig átláthatóak leszünk a felhasználóinkkal

Biztonság

Számunkra a felhasználóink pénzeszközeinek biztonsága kiemelten fontos

Védett

A pénzeszközeid védve vannak

Merkle-fa

Mit építettünk?

Annak érdekében, hogy bemutassuk: a Binance minden felhasználói eszközt 1:1 arányú fedezettel biztosít, egy Merkle-fát hoztunk létre és alkalmazunk (lásd alább), amellyel a felhasználók igazolhatják, hogy az eszközeik szerepelnek az összesített nettó számlaegyenlegben. Célunk, hogy minden felhasználó a saját Merkle-hash-/rekordazonosítója segítségével ellenőrizhesse az eszközei teljes (1:1 arányú) fedezetét.

Mi az a Merkle-fa?

A Merkle-fa egy kriptográfiai eszköz, amellyel nagy mennyiségű adat vonható össze egyetlen hash-értékbe. Ez az egyetlen hash-érték, amelyet Merkle-gyökérnek nevezünk, kriptográfiai pecsétként szolgál, és „összegzi” az összes bevitt adatot. Emellett a Merkle-fák segítségével a felhasználók ellenőrizhetik azt is, hogy bizonyos tartalmak valóban szerepelnek-e egy adott, „lezárt” adattömegben. A Merkle-fa ezen jellemzőit használjuk a fedezeti bizonyítékok értékelése során, ellenőrizve, hogy az egyes fiókok szerepelnek-e a zk-SNARKs mechanizmussal validált kötelezettségjelentésben.

zk-SNARKs

Mit építettünk?

A zk-SNARK használatával egy kriptotőzsde bizonyítani tudja, hogy a Merkle-fa összes levélcsomópontjának egyenlegkészlete (azaz a felhasználói számlák egyenlegei) szerepel a tőzsde állítólagos teljes felhasználói eszközegyenlegében. A felhasználók könnyedén hozzáférhetnek a saját levélcsomópontjaikhoz, mivel benne voltak a folyamatban. Minden felhasználó egyenlegkészletére (Merkle-fa levélcsomópontja) a körünk biztosítja, hogy:

1. A felhasználói egyenleget a rendszer figyelembe veszi a Binance-en található teljes nettó számlaegyenleg összegének számításánál.

2. A számla teljes nettó egyenlege nagyobb vagy egyenlő, mint nulla.

3. A Merkle-fa gyökerének változása érvényes (azaz nem hamisított információ felhasználásával történt), miután egy fiók adatait frissítették a levélcsomópont hash-értékére.

Íme néhány hasznos forrás:

blog

technikai specifikáció

és

a forráskódunk

a körhöz (korlátozások) a megvalósítás részleteihez.

Mi az a zk-SNARK?

zk-SNARK

(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) egy olyan bizonyítási protokoll, amely a korábban vázolt zéróismeretes elveket követi. A

zk-SNARK

segítségével bebizonyíthatod, hogy ismered az eredeti hashelt értéket (erről bővebben alább) anélkül, hogy felfednéd magát az értéket. Egy

tranzakció

érvényességét is bizonyíthatod anélkül, hogy bármilyen információt felfednél a konkrét összegekről, értékekről vagy címekről.

Hogyan működik?

Hogyan ellenőrizhetem a saját tranzakcióimat?

Jelentkezz be a Binance-fiókodba a weboldalon

-> Kattints a „Tárca” gombra

-> Kattints a „Hitelesítés” gombra

Az oldalon megtalálhatod a Merkle-leveled és a bejegyzésazonosítód.

Válaszd ki az ellenőrizni kívánt hitelesítés dátumát. Ezután megerősítő adatokat olvashatsz a következőkkel kapcsolatban: a hitelesítés típusa, a bejegyzésazonosítód (amely a fiókodhoz és ehhez a konkrét hitelesítéshez kapcsolódik), a bevont eszközök, valamint a hitelesítés időpontjában érvényes eszközegyenlegeid.

A rekordazonosító/Merkle-levél lehetővé teszi, hogy az általunk kínált önellenőrzési módszer segítségével önállóan ellenőrizd, hogy az egyenleged szerepel‑e a kötelezettségjelentésében.

Ellenőrzési folyamat

1. A cím tulajdonjogának igazolása

A tartalékok ellenőrzésére használt eszközök esetében biztosítani kell, hogy a tárca tulajdonjoga a Binance tulajdonában legyen (beleértve a hideg- és melegtárcát is).

2. Pillanatkép a felhasználói egyenlegekről

A pillanatfelvétel értékét az ügyfélszámla egyenlegében a pillanatfelvétel napján és időpontjában lévő eszközállomány alapján számítjuk ki.

3. zk-SNARKs bizonyíték generálása

A felhasználók számára zk-SNARKs proof fájlokat állítunk elő, hogy minden felhasználó könnyen hozzáférhessen a levélcsomópontjához, átláthatóságot biztosítva minden felhasználó számára.

4. Merkle-fa generálása

A mögöttes adatblokkot az egyes felhasználók hashelt UID-jének és egyenlegének összekapcsolásával hozzuk létre. Ezután létrehozunk egy Merkle-fát az összes felhasználó adatai alapján. A Merkle-gyökér megváltozik, ha a levélcsomópontban bármelyik számla azonosítója vagy egyenlege megváltozik. Minden felhasználó ellenőrizheti, hogy az eszközei szerepelnek-e a levélcsomópontban.