Gate.io Proof-of-Reserves Assessment Report

Gate.io PoR

Последнее время аудита:

2024-09-29 00:00:00(UTC+0)

Избыточное резервное значение:

$ 1.09B

Алгоритм:

Merkle Tree + zk-SNARKs

Общее соотношение резервов:

120.22%

Merkle Root Hash:

171cfd97a75b5cdff1b511f6e447b1d35c8cca7a2172d11e1c145a89fbf23a99

Чистый Баланс Клиента

$ 5,405,986,360

Баланс Кошелька Gate

$ 6,499,212,860

Избыточное резервное значение

$ 1,093,226,500

BTCКоэффициент резервирования

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Чистый Баланс Клиента

16,788.90

Баланс Кошелька Gate

20,070.00

Баланс Кошелька Gate USD

$ 1,321,705,835

USDTКоэффициент резервирования

0
1
2
3
4
5
6
7
8
9
0
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Чистый Баланс Клиента

900,460,369.70

Баланс Кошелька Gate

950,199,170.00

Баланс Кошелька Gate USD

$ 950,199,170

ETHКоэффициент резервирования

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Чистый Баланс Клиента

218,945.56

Баланс Кошелька Gate

275,530.00

Баланс Кошелька Gate USD

$ 737,152,962

DOGEКоэффициент резервирования

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Чистый Баланс Клиента

1,999,007,092.09

Баланс Кошелька Gate

2,218,526,583.00

Баланс Кошелька Gate USD

$ 284,135,573

ETH2Коэффициент резервирования

0
1
2
3
4
5
6
7
8
9
0
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Чистый Баланс Клиента

87,580.12

Баланс Кошелька Gate

88,183.00

Баланс Кошелька Gate USD

$ 236,418,623

KASКоэффициент резервирования

0
1
2
3
4
5
6
7
8
9
0
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Чистый Баланс Клиента

1,051,604,689.28

Баланс Кошелька Gate

1,060,501,647.00

Баланс Кошелька Gate USD

$ 176,817,439

Что такое 100% подтверждение резервов?

Централизованная торговая платформа ведет бухгалтерскую книгу в базе данных для учета активов пользователей. Таким образом, платформы сталкиваются с проблемами доказательства того, что они сохраняют активы всех пользователей в хорошем состоянии и в полном объеме.

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

Если проверено, что активы, хранящиеся в дереве Меркла, больше или равны 100%, это означает, что активы пользователей хранятся на платформе в полном объеме, т.е. Платформа обеспечивает 100% подтверждение резервов активов пользователей.

Fullscreen Exit fullscreen

Play Pause

00:00 00:00

Replay

Почему так важно 100% подтверждение резервов?

Платформа обеспечивает 100% подтверждение резервов

Платформа является финансово надежной

Повышение доверия пользователей

Гарантия безопасности активов пользователей

100% вывод при загруженном выводе средств

Если платформа не обеспечивает 100% подтверждению резервов

Активы пользователей подвергаются риску незаконного присвоения

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

Платформа может пострадать, если пользователи соберутся большим числом, чтобы запросить вывод средств

Платформа с большей вероятностью обанкротится или понесет потерю активов

Как нам удается поддерживать 100% уровень резервов?

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

Владение кошельком

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

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

Как построить дерево Меркла с хэшированным идентификатором пользователя и пользовательским балансом?

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

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

Для каждого блока данных будет применена одна и та же хэш-функция для генерации конечных узлов дерева Меркла. Результат хэшированных данных впоследствии попарно хэшируется вместе для создания родительских узлов конечных узлов.

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

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

Что такое дерево Меркла?

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

Как мы используем Дерево Меркла для Подтверждения Резервов?

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

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

a. Общая сумма активов, управляемых платформой, включает в себя общий баланс активов всех пользователей.

b. Чистый баланс каждого пользователя больше или равен нулю.

c. Изменение активов любого пользователя приведет к изменению значения хэша корня Меркла.

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

Что такое zk-SNARK?

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

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

1. Установите программу и загрузите данные:

1)Скачайте программу проверки:

Сначала загрузите программу верификации по предоставленной ссылке или зайдите на GitHub, чтобы загрузить программу верификации. Затем переименуйте ее в main.

Локальная загрузка

Mac OS

Локальная загрузка

Linux

Локальная загрузка

Windows

2)Загрузите необходимые данные:

Перейдите на страницу аудита и найдите часть, которую вам нужно проверить. Нажмите на [Загрузить дерево Меркла] и [Загрузить конфигурацию пользователя] , чтобы загрузить данные.

Распакуйте сжатый файл 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.

Реализация PoR Gate.io

Время аудита	Аудиторская фирма	Аудитор	Хранилища	Отчет аудитора
January 3, 2024	HACKEN	Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski	https://github.com/gateio/proof-of-reserves	Gate.io PoR Implementation

Время аудита

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

Аудитор

Хранилища

Отчет аудитора

January 3, 2024

HACKEN

Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski

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

Gate.io PoR Implementation

100% Подтверждение Резервов