Gate.io PoR
Последнее время аудита:
(UTC+0)
Избыточное резервное значение:
$ B
Алгоритм:
Merkle Tree + zk-SNARKs
Общее соотношение резервов:
Merkle Root Hash:
Чистый Баланс Клиента
$
Баланс Кошелька Gate
$
Избыточное резервное значение
$
Not Data
Что такое 100% подтверждение резервов?
Централизованная торговая платформа ведет бухгалтерскую книгу в базе данных для учета активов пользователей. Таким образом, платформы сталкиваются с проблемами доказательства того, что они сохраняют активы всех пользователей в хорошем состоянии и в полном объеме.
Gate.io реализовала дерево Меркла для решения этой проблемы путем сохранения хэш-значения активов учетной записи каждого пользователя в конечных узлах дерева Меркла. Каждый пользователь может провести аудит общей суммы активов пользователей, хранящихся в конечных узлах дерева Меркла, и проверить, включены ли его средства через квалифицированное стороннее аудиторское агентство.
Если проверено, что активы, хранящиеся в дереве Меркла, больше или равны 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.
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
HACKEN
Аудиторская фирмаВремя аудита
January 3, 2024
Аудитор
Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski
Отчет аудитора
Gate.io PoR Implementation
