Доказателство за резерви

Потвърдете, че всички баланси по акаунта в Binance са напълно подкрепени 1:1.

Audit Time

Механизъм за проверка:

Хеш на корен на Merkle:

Какво е доказателство за резерви (PoR)?

Когато казваме Доказателство за резерви, ние конкретно имаме предвид тези активи, които държим на попечителство за потребителите. Това означава, че показваме доказателства, че Binance разполага със средства, които покриват всички активи на нашите потребители 1:1, както и някои резерви.

Когато потребител депозира един Биткойн, резервите на Binance се увеличават с един Биткойн, за да гарантират, че средствата на клиентите са напълно подкрепени.

Това означава, че Binance съхранява всички потребителски активи в съотношение 1:1, включително и резервите. Структурата на капитала на Binance е без дългове и разполагаме с авариен фонд (фонд SAFU) за извънредни случаи, като хакерски атаки или пробиви в сигурността.

Прочетете още, за да откриете допълнителна информация относно това, което сме създали, за да позволим на потребителите да се уверят, че средствата им са в безопасност в Binance.

Нашият ангажимент към нашата общност остава същият, какъвто е бил винаги

Прозрачност

Ние винаги ще бъдем прозрачни с нашите потребители

Безопасност

Безопасността на средствата на нашите потребители е приоритет за нас

Защитен

Вашите средства са защитени

Дърво на Merkle

Какво изградихме?

За да докажем, че всички активи на потребителите в Binance са подкрепени 1:1, изградихме и внедрихме дърво Merkle (показано по-долу), което позволява на потребителите да проверят дали техните активи са включени в общия нетен баланс на акаунта. Нашата цел е всеки потребител да може да се увери в 1:1 подкрепата на своите активи, използвайки собствения си генериран хеш Merkle/идентификатор на запис.

Какво е дърво на Merkle?

Дървото Merkle е криптографски инструмент, който позволява консолидирането на големи количества данни в един хеш. Този единствен хеш, наречен корен на Merkle, служи като криптографски печат, който „обобщава“ всички въведени данни. Освен това дърветата на Merkle дават възможност на потребителите да проверят дали конкретна информация е включена в определен набор от „запечатани“ данни. Тези свойства на дърветата на Merkle използваме по време на нашите оценки за Доказателство за резерви, за да потвърдим, че индивидуалните акаунти са включени в отчета за пасиви, валидирано от нашия механизъм за доказателства Zk-Snark.

zk-SNARK-ове

Какво изградихме?

Чрез използване на zk-SNARK, крипто борсата може да докаже, че всички балансови набори на листови възли на дървото на Merkle (т.е. баланси на потребителски акаунти) допринасят за заявения общ баланс на активите на борсата. Всеки потребител може лесно да получи достъп до своя листов възел, тъй като е бил включен в процеса. За набор от баланси на всеки потребител (листов възел на Merkle), нашата схема гарантира, че:

1. Балансите по акаунта на потребителя са включени в изчислението на сумата на общите нетни баланси по акаунти в Binance.

2. Общият нетен баланс на акаунта е по-голям или равен на нула.

3. Промяната на корена на дървото Merkle е валидна (т.е. не се използва фалшифицирана информация) след актуализиране на информацията за акаунта към хеша на листния възел.

Ето някои полезни ресурси:

блог

техническа спецификация

нашия изходен код

за веригата (ограничения) за подробности за внедряването.

Какво е доказателство zk-SNARK?

zk-SNARK

(Кратък неинтерактивен аргумент за нулево знание) е доказателствен протокол, който следва принципите за нулеви знания, посочени по-рано. С

доказателство zk-SNARK

, можете да докажете, че знаете оригиналната хеширана стойност (обсъдена по-долу), без да разкривате каква е тази стойност. Можете също така да докажете валидността на

трансакция

, без да се разкрива каквато и да е информация за конкретните суми, стойности или адреси.

Как работи това

Как мога да проверя собствените си трансакции?

Влезте в уебсайта на Binance

-> Щракнете върху „Портфейл“

-> Щракнете върху „Верификация“

Ще можете да намерите вашия лист на Merkle и ИД на запис в рамките на страницата.

Изберете датата на верификация, която искате да проверите. След това ще намерите потвърждение за типа верификация, вашия ID на запис (специфичен за вашия акаунт и тази конкретна верификация), активите, които са били обхванати, и вашите баланси на активи към момента на верификацията.

Идентификаторът на записа/листът на Merkle ви позволява самостоятелно да проверите дали балансът по вашия акаунт е включен в отчета за пасиви чрез нашия метод за самопроверка.

Процес на проверка

1. Потвърдете собствеността върху адреса

За активи, които се използват за потвърждение на резервите, ние трябва да гарантираме, че собствеността върху портфейла принадлежи на Binance (включително студен и горещ портфейл).

2. Моментна снимка на потребителските баланси

Стойността на моментната снимка се изчислява въз основа на притежаваните активи в балансите по акаунта на клиента към датата и часа на моментната снимка.

3. Генериране на доказателства zk-SNARK

Ние генерираме zk-SNARK доказателствени файлове за потребителите, така че всеки потребител да има лесен достъп до своя листов възел, осигурявайки прозрачност за всички потребители.

4. Генериране на дърво на Merkle

Ние генерираме основния блок от данни, като свързваме хеширания UID и баланса на всеки потребител. След това генерираме дърво на Merkle въз основа на данните на всички потребители. Коренът на Merkle ще се промени, ако някой идентификатор на сметка или баланс в листовия възел се промени. Всеки потребител може да провери дали неговите активи са включени в листовия възел.