Централізована торгова платформа керує реєстром для запису активів користувачів у базі даних. Таким чином, платформи стикаються з проблемою доведення того, що вони мають повне зберігання всіх активів користувачів у належному стані.

Gate впровадив дерево Merkle для вирішення цієї проблеми, зберігаючи хеш-значення активів рахунку кожного користувача в листових вузлах дерева Merkle. Кожен користувач може перевірити загальну суму активів користувачів, що зберігаються в листових вузлах дерева Merkle, і перевірити, чи включені його кошти через кваліфіковане стороннє аудиторське агентство.

Якщо активи, що зберігаються в дереві Merkle, перевірені як більші або рівні 100%, це означає, що активи користувачів повністю зберігаються на платформі, тобто платформа надає 100% підтвердження резервів для активів користувачів.

Чому 100% підтвердження резервів таке важливе?

Платформа надає 100% підтвердження резервів

Платформа фінансово стабільна

Підвищення довіри користувачів

Гарантія безпеки активів користувачів

100% виведення коштів при масовому виведенні

Без зобов'язання 100% підтвердження резервів

Активи користувачів ризикують бути привласненими

Затримка або неможливість виведення активів

Платформа може постраждати від паніки, якщо користувачі масово запитують виведення

Платформа має більше шансів збанкрутувати або зазнати втрати активів

Як нам вдається підтримувати 100% рівень резервів?

Якщо загальна кількість токенів, якими керує біржа на блокчейні, відповідає або перевищує сукупний баланс усіх рахунків користувачів, як зафіксовано в знімку, платформа підтримує 100% маржу для цих токенів

Право власності на гаманець

Коли ви використовуєте гарячі або холодні гаманці, ви переказуєте випадково призначену суму на адреси, визначені аудиторською компанією, щоб довести своє право власності на гаманець.

Аудиторська компанія підсумує баланс відповідних адрес для розрахунку загальної суми, задіяної в транзакції (включаючи активи користувачів та власні активи платформи).

Як побудувати дерево Merkle з хешованим ідентифікатором користувача та балансом користувача?

Спочатку з бази даних Gate експортуються хешований ідентифікатор користувача (UID) та баланси користувачів.

Кожна пара хешованого UID та балансів користувачів буде відповідно хешована, а потім об'єднана для формування базового блоку даних.

Для кожного блоку даних буде застосована та сама хеш-функція для генерації листових вузлів дерева Merkle. Отримані хешовані дані потім хешуються попарно для створення батьківських вузлів листових вузлів.

Цей процес продовжується, поки не буде отримано єдиний хеш, відомий як корінь merkle.

Будь ласка, зверніться до діаграми нижче для ілюстрації. Після успішної побудови дерева merkle, листові вузли будуть експортовані в текстовий файл, який буде опублікований разом з хешем кореня merkle аудитором.

Що таке дерево Merkle?

У криптографії та комп'ютерних науках хеш-дерево або дерево Merkle - це дерево, в якому кожен листовий вузол позначений криптографічним хешем блоку даних. Кожен не листовий вузол позначений хешем міток його дочірніх вузлів. Хеш-дерева дозволяють ефективну та безпечну перевірку вмісту великих структур даних.

Як ми використовуємо дерево Merkle для підтвердження резервів?

Ми зберігаємо хеш-значення активу рахунку кожного користувача як листовий вузол у дереві Merkle. Потім ми використовуємо технологію zk-SNARK для підтвердження того, що ми повністю володіємо всіма активами користувачів. Протягом цього процесу жодні дані про активи не розкриваються. Кроки перевірки такі:

1. zk-SNARK допомагає в аудиті того, що загальний баланс активів користувачів зберігається як листові вузли в дереві Merkle (тобто баланс рахунку користувача). Для кожного листового вузла ми підтверджуємо наступні пункти:

a. Загальна сума активів, якими керує платформа, включає загальний баланс активів усіх користувачів.

b. Чистий баланс кожного користувача більший або дорівнює нулю.

c. Зміна активів будь-якого користувача призведе до зміни значення хешу кореня Merkle.

2. Перевірка користувача: Користувачі можуть перевірити достовірність доказу, перевіряючи значення хешу кореня Merkle за допомогою zk-SNARK. Технологія дозволяє нам завершити аудит 100% резерву ефективно та безпечно, уникаючи ризиків витоку конфіденційності або комерційної таємниці, що допоможе виконати наше зобов'язання щодо прозорих операцій та підвищити довіру клієнтів.

Що таке zk-SNARKs?

zk-SNARK, що означає Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (Стислий неінтерактивний аргумент знання з нульовим розголошенням), є революційним інструментом, що базується на криптографії. Використовуючи передові математичні алгоритми, він може ефективно перевіряти суму резерву без розкриття конкретних деталей активів. zk-SNARK не тільки полегшує швидку перевірку активів, але й усуває ризики порушення конфіденційності. Завдяки цим перевагам, а також його неінтерактивній природі та високій масштабованості, він знаходить широке застосування в таких областях, як перевірка транзакцій в мережі, захист конфіденційності даних та аутентифікація особистості

Процес перевірки

1. Встановіть програму та завантажте дані:

1)Завантажте програму перевірки:

Спочатку завантажте програму перевірки за наданим посиланням або зайдіть на GitHub, щоб завантажити програму перевірки. Потім перейменуйте її на main.

Локальне завантаження

Mac OS

Локальне завантаження

Linux

Локальне завантаження

Windows

2)Завантажте необхідні дані:

Перейдіть на Сторінку аудиту та знайдіть партію, яку потрібно перевірити. Натисніть на [Завантажити дерево Merkle] та [Завантажити конфігурацію користувача], щоб завантажити дані.

Розархівуйте стиснутий файл zkmerkle_cex_xxx.tar.gz, помістіть програму main всередину цієї папки та покладіть файл user_config.json всередину папки config.

Папка програми тепер

zkmerkle_cex_xxx

Config

cex_config.json

user_config.json

proof.csv

zkpor864.vk.save

main

2. Перевірка активів:

З cmd або терміналу використовуйте команду cd для переходу в завантажену папку, наприклад cd ~/Downloads/zkmerkle_cex_xxx.

(Перед запуском програми вам може знадобитися виконати chmod 777 main для надання дозволів або встановити елементи безпеки.)

Виконайте наступну команду, щоб почати перевірку.

./main verify cex

Після успішної перевірки з'явиться повідомлення.

All proofs verify passed!!!

Для детальної технічної документації та принципів перевірки, будь ласка, перевірте проект з відкритим кодом на GitHub

Gate PoR Implementation

Аудиторська фірма

HACKEN

Час аудиту

January 3, 2024

Аудитор

Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski

Репозиторії

https://github.com/gateio/proof-of-reserves

Звіт аудиту

Gate PoR Implementation

Підтвердження 100% резервів

Gate - перша основна платформа, що зобов'язується забезпечити 100% резервів

Gate PoR

Що таке 100% підтвердження резервів?

Чому 100% підтвердження резервів таке важливе?

Платформа надає 100% підтвердження резервів

Без зобов'язання 100% підтвердження резервів

Як нам вдається підтримувати 100% рівень резервів?

Право власності на гаманець

Як побудувати дерево Merkle з хешованим ідентифікатором користувача та балансом користувача?

Спочатку з бази даних Gate експортуються хешований ідентифікатор користувача (UID) та баланси користувачів.

Кожна пара хешованого UID та балансів користувачів буде відповідно хешована, а потім об'єднана для формування базового блоку даних.

Цей процес продовжується, поки не буде отримано єдиний хеш, відомий як корінь merkle.

Що таке дерево Merkle?

Як ми використовуємо дерево Merkle для підтвердження резервів?

Що таке zk-SNARKs?

Gate PoR Implementation