Gate.io - ведущая криптовалютная биржа с более чем 13 миллионами пользователей и 1 700+ торговыми парами. Будучи одной из старейших и крупнейших торговых платформ в мире, Gate.io строго придерживается отраслевых правил и не участвует ни в каких рыночных манипуляциях. Открытость, прозрачность, равенство и сотрудничество всегда были нашей миссией. Мы используем различные централизованные и децентрализованные методы для обеспечения безопасности активов пользователей.

Уже в мае 2020 года Gate первыми предложили биржевой proof-of-reserve (PoR) и пригласили известную американскую аудиторскую фирму Armanino LLP для проверки своих активов. Это одна из самых первых бирж в отрасли, предложившая доказательство резервов. 23 ноября 2023 года компания Gate официально объявила о том, что она усовершенствовала свой PoR с помощью технологии доказательства нулевого знания, что позволит пользователям наслаждаться лучшей защитой конфиденциальности и безопасности данных. Она стала одной из первых бирж в отрасли, принявших PoR с доказательством нулевого знания. В этой статье Вы узнаете, как использовать Proof-of-Reserve от Gate для проверки безопасности Ваших средств на Gate.io.

Опыт

Что такое доказательство резерва?

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

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

Чтобы узнать больше, пожалуйста, _щелкните Как zk-SNARK улучшает Gate.io Proof of Reserves._.

Что такое доказательство нулевого знания?

Zero-Knowledge Proof (ZKP) - это метод шифрования, который позволяет одной стороне (известной как prover) доказать другой стороне (известной как verifier), что определенное утверждение истинно, не раскрывая никакой дополнительной информации, которая раскрыла бы основу доказательства. Этот процесс не только защищает конфиденциальность проверяющего, но и гарантирует, что проверяющий не сможет воспроизвести процесс доказательства или получить из него какую-либо дополнительную информацию.

Чтобы понять эту технологию, давайте рассмотрим простой пример: Пользователь A знает номер телефона пользователя B. Когда пользователь C спрашивает пользователя A, знает ли он номер телефона пользователя B, пользователь A может доказать, что он действительно знает номер телефона, набрав номер B на месте, не раскрывая его пользователю C. Этот процесс сохраняет конфиденциальность пользователя, но при этом предоставляет ответ, и это то, что мы называем "доказательством с нулевым знанием".

Чтобы узнать больше, пожалуйста, нажмите A Detailed Explanation of Zero-Knowledge Proofs.

Комбинирование доказательств нулевого знания с доказательствами резервов

zk-SNARK - это лаконичная, неинтерактивная технология доказательства с нулевым знанием. Он заранее выполняет "доверительную настройку", чтобы сгенерировать общую ссылочную строку (Common Reference String, CRS), которая позволяет всем проверяющим обращаться к ней напрямую. Это похоже на систему подсчета баллов на экзамене, где zk-SNARK напрямую загружает правильные ответы и позволяет экзаменуемым проверить свои ответы (отправляя свои решения в внутреннюю систему, которая и выдает окончательный результат правильности). Он очень эффективен.

Merkle Tree - это структура данных, похожая на "дерево". Данные на самом нижнем уровне называются "листовыми узлами", а данные в середине могут называться "промежуточными узлами". Значения промежуточных узлов вычисляются путем хэширования значений двух дочерних узлов (любое входное значение обрабатывается определенным образом, чтобы получить конкретное значение). Затем промежуточные узлы слева и справа хэшируются, чтобы получить уникальное выходное значение для промежуточного узла более высокого уровня. После обработки на каждом уровне получается уникальный корневой узел (Root) дерева Меркла.

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

Самоучитель по эксплуатации

Интерфейс пользовательского интерфейса Frontend

Щелкните по ссылке или перейдите на сайт Gate.io и прокрутите страницу до самого низа. Нажмите на кнопку 100% Proof of Reserves, чтобы перейти на внешнюю страницу Gate Reserves.

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

Зайдя на внешнюю страницу Gate.io Proof-of-Reserves, пользователи могут напрямую просмотреть время последнего обновления резерва. В приведенном ниже примере последний аудит был проведен 10 ноября 2023 года с использованием метода "Дерево Маркла + zk-SNARKs" в качестве метода аудита. Пользователи внесли на депозит активы на сумму около 2,77 миллиарда долларов США, а активы, хранящиеся в кошельке Gate, превышают депозиты пользователей на 434 миллиона долларов США, составляя в общей сложности 3,206 миллиарда долларов США. Общий коэффициент резервирования составляет 115,69%.

Единый коэффициент резервирования криптовалюты

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

Нажмите на значок страницы в правом нижнем углу изображения, чтобы просмотреть коэффициент резервирования до 112 жетонов на Gate. Нажмите на кнопку "Проверить сейчас" на изображении, чтобы отобразить учебник по проверке. Следуя этому руководству, Вы сможете проверить, включен ли остаток на Вашем счете в расчет, тем самым подтвердив, что коэффициент резервирования отражает результаты с надлежащим учетом Ваших средств.

Другие страницы отображения фронтенда

Есть и другой способ проверить статус аудита Ваших активов: зайдите на страницу "Моя учетная запись " и перейдите в раздел "Аудиты". Здесь Вы можете просмотреть свои исторические записи аудита и ситуацию с резервами Gate.

Процесс Верификации

1. Скачать программу верификации

Пользователи могут скачать программу проверки через Github или по ссылке для скачивания, указанной на странице резерва, и переименовать ее в [main]:

Пользователю необходимо выбрать соответствующую систему своего устройства для загрузки.

2. Загрузите данные проверки активов

Войдите на страницу персонального аудита, найдите партию, требующую проверки, и нажмите "Загрузить дерево Меркла" и "Загрузить пользовательскую конфигурацию" соответственно, чтобы загрузить данные.

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

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

3. Проверьте активы биржи

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

Затем введите:

Обычный текст
./main проверьте индекс

Если проверка прошла успешно, будет выведен результат:

Обычный текст
Все проверки пройдены!!!

4. Проверьте свои активы

Пожалуйста, введите следующую команду, чтобы проверить свои активы:

Обычный текст
./main Проверка пользователя

Если активы пользователя рассчитаны правильно, данные о счете и балансе будут листовым узлом дерева Меркла. Таким образом, будет выдана успешная проверка.

Обычный текст
merkle leave hash: 164bc38a71b7a757455d93017242b4960cd1fea6842d8387b60c5780205858ce
verify pass!!!

Если Вы хотите узнать больше технических деталей, Вы можете нажать на ссылку, чтобы получить доступ к Github и просмотреть открытый исходный код.

Заключение

Включение zk-SNARK - это важное усовершенствование системы Proof of Reserves от Gate.io и значительный шаг в защите безопасности пользовательских активов. Благодаря выдающимся гарантиям безопасности и конфиденциальности, он приносит пользователям больше уверенности и устанавливает новый стандарт для всей криптовалютной индустрии.