Gate.io — провідна криптобіржа з понад 13 мільйонами користувачів і понад 1700 торговими парами. Як одна з найстаріших і найбільших торгових платформ у світі, Gate.io суворо дотримується галузевих норм і не бере участі в будь-яких маніпуляціях на ринку. Нашою місією завжди були відкритість, прозорість, рівність і співпраця. Ми використовуємо різноманітні централізовані та децентралізовані методи для забезпечення безпеки активів користувачів.

Ще в травні 2020 року компанія Gate першою запропонувала обмінний proof-of-reserve (PoR) і запросила відому американську аудиторську фірму Armanino LLP провести аудит своїх активів. Це одна з перших бірж у галузі, яка пропонує підтвердження резерву. 23 листопада 2023 року компанія Gate офіційно оголосила , що оновила свій PoR за допомогою технології з нульовим знанням, що дозволяє користувачам насолоджуватися кращим захистом конфіденційності та безпеки даних. Вона стала однією з перших бірж у галузі, яка прийняла PoR з підтвердженням нульового знання. У цій статті ви дізнаєтесь, як використовувати підтвердження резервування Gate для перевірки безпеки ваших коштів на Gate.io.

Попередній досвід

Що таке Proof-of-Reserve?

На централізованих біржах (CEX) активи кожного користувача реєструються в обліковій книзі бази даних платформи, що ускладнює користувачам перевірку того, чи було передано їхні активи та чи має біржа достатньо активів для покриття активів, внесених користувачами. Таким чином, біржам потрібен метод, щоб довести, що вони мають достатньо резервних активів для повного викупу коштів користувачів, що вимагає, щоб вартість резервних активів біржі була вищою за вартість активів, депонованих користувачами. Це підтвердження загальнодоступних активів називається Proof-of-Reserve. Пов’язаними даними з Proof-of-Reserve є коефіцієнт резервування, який є відношенням утримуваних активів біржі до депонованих активів користувача, помножених на 100%. Коли коефіцієнт резервування перевищує 100%, активи біржі можуть задовольнити звичайні потреби користувачів у знятті коштів. Чим вищий коефіцієнт резервування, тим сильніша здатність протистояти ризикам ліквідності.

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

Щоб дізнатися більше, _клацніть Як zk-SNARK покращує підтвердження резервів Gate.io._

Що таке доказ нульового знання?

Zero-Knowledge Proof (ZKP) — це метод шифрування, який дозволяє одній стороні (відомій як перевіряльник) довести іншій стороні (відомій як верифікатор), що певне твердження правдиве, не розкриваючи жодної додаткової інформації, яка б розкрила основу доказ. Цей процес не тільки захищає конфіденційність перевірника, але й гарантує, що верифікатор не зможе відтворити процес перевірки або отримати з нього будь-яку додаткову інформацію.

Щоб зрозуміти цю технологію, розглянемо простий приклад: користувач A знає номер телефону користувача B. Коли користувач C запитує користувача A, чи знає він номер телефону користувача B, користувач A може довести, що він справді володіє номером телефону, набравши номер B на місці, не повідомляючи про це Користувачеві C. Цей процес зберігає конфіденційність користувача, водночас надаючи відповідь, і це те, що ми називаємо «доказом нульового знання».

Щоб дізнатися більше, клацніть «Докладне пояснення доказів із нульовим знанням».

Поєднання доказів нульового знання з доказами резервів

zk-SNARK — це стисла, неінтерактивна технологія з нульовим знанням. Він виконує «довірене налаштування» заздалегідь, щоб створити загальний еталонний рядок (CRS), що дозволяє всім перевіркам отримувати до нього прямий доступ. Це схоже на систему підрахунку балів на іспиті, де zk-SNARK безпосередньо завантажує правильні відповіді та дозволяє учасникам перевірити свої відповіді (шляхом надсилання своїх рішень до серверної системи, яка забезпечить остаточний результат правильності). Він високоефективний.

Merkle Tree — це структура даних, схожа на «дерево». Дані на найнижчому рівні називаються «листовими вузлами», а дані в середньому можна назвати «проміжними вузлами». Значення проміжних вузлів обчислюються шляхом хешування значень двох дочірніх вузлів (будь-яке вхідне значення обробляється певним чином для отримання конкретного значення). Потім проміжні вузли ліворуч і праворуч хешуються, щоб отримати унікальне вихідне значення для проміжного вузла вищого рівня. Після обробки на кожному рівні виходить унікальний кореневий вузол (Root) дерева Меркла.

Gate.io поєднує технологію zk-SNARK із Merkle Tree, щоб розмістити всі депозити користувачів у Merkle Tree. Потім zk-SNARK використовується для підтвердження того, що всі баланси в дереві є невід’ємними (тобто біржа не підробила жодних облікових записів, які б заважали виводу дерева Merkle). Нарешті, генерується дерево Merkle, а відповідні хеші вузлів і кореневий хеш оприлюднюються для перевірки користувача.

Підручник з експлуатації

Frontend UI інтерфейс

Клацніть на посилання або перейдіть на веб-сайт Gate.io та прокрутіть униз. Натисніть кнопку «100% підтвердження запасів» , щоб отримати доступ до зовнішньої сторінки Gate Reserves.

Основна інформація про резерв

Після входу на зовнішню сторінку Gate.io Proof-of-Reserves користувачі можуть безпосередньо переглянути час останнього оновлення резерву. У наведеному нижче прикладі останній аудит було проведено 10 листопада 2023 року з використанням методу аудиту Markle Tree + zk-SNARK. Користувачі внесли активи на суму приблизно 2,77 мільярда доларів США, а активи, що зберігаються в гаманці Gate, перевищують депозити користувачів на 434 мільйони доларів США, що становить 3,206 мільярда доларів США. Загальний коефіцієнт резервування становить 115,69%.

Коефіцієнт резервування єдиної криптовалюти

Прокрутивши сторінку вниз, ви побачите конкретні суми та резервні коефіцієнти для різних криптовалют. Візьмемо як приклад першу криптовалюту, BTC, станом на 8 грудня 2023 року користувачі внесли 13,85 тис. BTC, тоді як гаманець Gate містить 17,10 тис. BTC, в результаті коефіцієнт резерву для BTC становить 123,52%.

Натисніть піктограму сторінки в нижньому правому куті зображення, щоб переглянути коефіцієнт резервування до 112 жетонів на Gate. Натисніть кнопку «Перевірити зараз» на зображенні, щоб відобразити підручник з перевірки. Дотримуючись підручника, ви можете перевірити, чи баланс вашого рахунку включено в розрахунок, таким чином підтвердивши, що коефіцієнт резервування відображає результати з належним обліком ваших коштів.

Інші сторінки зовнішнього дисплея

Існує ще один спосіб перевірити статус аудиту ваших активів, тобто перейти на сторінку «Мій обліковий запис» і перейти до розділу «Аудит». Тут ви можете переглянути свої історичні аудиторські записи та повну ситуацію щодо резервів Gate.

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

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

Користувачі можуть завантажити програму перевірки через Github або за посиланням на резервній сторінці та перейменувати її на [main]:

Користувачеві необхідно вибрати відповідну систему свого пристрою для завантаження.

2. Завантажте дані перевірки активів

Увійдіть на особисту сторінку аудиту , знайдіть пакет, який потребує перевірки, і натисніть «Завантажити Merkle Tree» і «Завантажити конфігурацію користувача» відповідно, щоб завантажити дані.

Після завантаження у вас буде стиснутий файл під назвою zkmerkle_cex_xxx.tar.gz. Помістіть основну програму (файл програми перевірки, згаданий раніше) у папку, а файл user_config.json — у папку config. Коли все буде зроблено, структура файлу буде такою, як показано на наступній схемі:

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

3. Перевірте активи обміну

Користувачі можуть безпосередньо ввести [cmd] або ввести команду [cd ~/Downloads/zkmerkle_cex_xxx] у [термінал], щоб увійти до попередньо налаштованого файлу zkmerkle_cex_xxx, згаданого вище.

Потім введіть:

Звичайний текст 
 ./main перевірити cex

Якщо перевірка пройшла успішно, буде виведено:

Звичайний текст 
 Усі докази перевірки пройдено!!!

4. Перевірте власні активи

Будь ласка, введіть таку команду, щоб підтвердити власні активи:

Звичайний текст 
 ./main перевірити користувача

Якщо активи користувача розраховані правильно, дані рахунку та балансу будуть листковим вузлом дерева Merkle. Тому буде виведено успішну перевірку.

Звичайний текст 
 merkle залишити хеш: 164bc38a71b7a757455d93017242b4960cd1fea6842d8387b60c5780205858ce 
 перевірити пропущено!!!

Якщо ви хочете дізнатися більше технічних деталей, ви можете натиснути посилання , щоб отримати доступ до Github і переглянути відкритий вихідний код.

Висновок

Увімкнення zk-SNARK є важливим оновленням Proof of Reserves Gate.io та важливим кроком у захисті безпеки активів користувачів. Завдяки видатним гарантіям безпеки та конфіденційності, це приносить користувачам більше впевненості та встановлює новий стандарт для всієї індустрії криптовалют.