Gate.io PoR
Избыточная сумма резервов：
$ 0B
Время последнего аудита:
(UTC+0)
Общий коэффициент резервов:
Алгоритм:
Merkle Tree + zk-SNARKs
Корневой хеш Меркла:
Чистый баланс клиента
$ 0
Баланс кошелька Gate
$ 0
Избыточная сумма резервов
$ 0
Нет данных
Что такое доказательство 100% резервов?
Централизованная торговая платформа управляет реестром для записи активов пользователей в базе данных. При этом платформы сталкиваются с проблемой доказательства того, что они имеют полное хранение всех активов пользователей в хорошем состоянии.
Gate.io внедрил дерево Меркла для решения этой проблемы, сохраняя хеш-значение активов каждого пользовательского аккаунта в листовых узлах дерева Меркла. Каждый пользователь может проверить общую сумму активов пользователей, хранящихся в листовых узлах дерева Меркла, и проверить, включены ли его средства, через квалифицированное стороннее аудиторское агентство.
Если активы, хранящиеся в дереве Меркла, проверены как большие или равные 100%, это означает, что активы пользователей полностью хранятся на платформе, т.е. платформа предоставляет 100% доказательство резервов для активов пользователей.
Почему доказательство 100% резервов так важно?
Платформа предоставляет доказательство 100% резервов
Платформа финансово устойчива
Повышает доверие пользователей
Гарантирует безопасность активов пользователей
100% вывод средств при массовом выводе
Без обязательства доказательства 100% резервов
Активы пользователей подвержены риску незаконного присвоения
Задержка или невозможность вывода активов
Платформа может пострадать от набега, если пользователи массово запросят вывод средств
Платформа с большей вероятностью обанкротится или понесет потери активов
Как нам удается поддерживать 100% уровень резервов?
Если общее количество токенов, управляемых биржей в блокчейне, соответствует или превышает совокупный баланс всех пользовательских аккаунтов, зафиксированный в снимке, платформа поддерживает 100% маржу для этих токенов
Владение кошельком
Когда вы используете горячие или холодные кошельки, вы переводите случайно назначенную сумму на адреса, указанные аудиторской компанией, чтобы доказать свое владение кошельком.
Аудиторская компания суммирует баланс соответствующих адресов для расчета общей суммы, участвующей в транзакции (включая активы пользователей и собственные активы платформы).
Как построить дерево Меркла с хешированным ID пользователя и балансом пользователя?
Хешированный ID пользователя (UID) и балансы пользователей сначала экспортируются из базы данных Gate.
Каждая пара хешированного UID и балансов пользователей будет хешироваться соответственно, а затем объединяться для формирования базового блока данных.
Для каждого блока данных будет применяться одна и та же хеш-функция для генерации листовых узлов дерева Меркла. Полученные хешированные данные затем хешируются попарно для создания родительских узлов листовых узлов.
Этот процесс продолжается до получения единственного хеша, известного как корень меркла.
Пожалуйста, обратитесь к диаграмме ниже для иллюстрации. После успешного построения дерева меркла листовые узлы будут экспортированы в текстовый файл, который будет опубликован вместе с хешем корня меркла аудитором.
Что такое дерево Меркла?
В криптографии и информатике хеш-дерево или дерево Меркла - это дерево, в котором каждый листовой узел помечен криптографическим хешем блока данных. Каждый нелистовой узел помечен хешем меток его дочерних узлов. Хеш-деревья позволяют эффективно и безопасно проверять содержимое больших структур данных.
Как мы используем дерево Меркла для предоставления доказательства резервов?
Мы сохраняем хеш-значение актива каждого пользовательского аккаунта как листовой узел в дереве Меркла. Затем мы используем технологию zk-SNARK для подтверждения того, что мы полностью владеем всеми активами пользователей. В течение этого процесса никакие данные об активах не раскрываются. Шаги проверки следующие:
1. zk-SNARK помогает в проверке того, что общий баланс активов пользователей хранится как листовые узлы в дереве Меркла (т.е. баланс пользовательского аккаунта). Для каждого листового узла мы подтверждаем следующие пункты:
a. Общая сумма активов, управляемых платформой, включает общий баланс активов всех пользователей.
b. Чистый баланс каждого пользователя больше или равен нулю.
c. Изменение активов любого пользователя приведет к изменению значения хеша корня Меркла.
2. Проверка пользователя: Пользователи могут проверить подлинность доказательства, проверив значение хеша корня Меркла с помощью zk-SNARK. Технология позволяет нам завершить аудит 100% резервов эффективным и безопасным способом, избегая рисков утечки конфиденциальности или коммерческой тайны, что поможет выполнить наше обязательство по прозрачным операциям и повысить доверие клиентов.
Что такое zk-SNARK?
zk-SNARK, что означает Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (Краткое неинтерактивное доказательство знания с нулевым разглашением), - это революционный инструмент, основанный на криптографии. Используя продвинутые математические алгоритмы, он может профессионально проверять сумму резервов без раскрытия конкретных деталей активов. zk-SNARK не только облегчает быструю проверку активов, но и устраняет риски нарушения конфиденциальности. Благодаря этим преимуществам, в сочетании с его неинтерактивной природой и высокой масштабируемостью, он находит широкое применение в таких областях, как проверка транзакций в сети, защита конфиденциальности данных и аутентификация личности
Процесс проверки.
1. Установите программу и загрузите данные:
1)Загрузите программу проверки:
Сначала загрузите программу проверки по предоставленной ссылке или получите доступ к GitHub для загрузки программы проверки. Затем переименуйте ее в main.
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
Gate.io PoR Implementation
Аудиторская фирма
HACKEN
Время аудита
January 3, 2024
Аудитор
Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski
Репозитории
Отчет об аудите
Gate.io PoR Implementation