Хакен публикует тематическое исследование решения Gate Proof of Reserves и делится результатами аудита безопасности

04-02-2024 04:24 (UTC)
15 099 просмотры

Когда мы впервые запустили нашу программу подтверждения резервов (PoR) в 2020 году, это ознаменовало нашу самую значительную приверженность прозрачности и подотчетности за всю историю, позволяя пользователям независимо проверять, что их балансы BTC и ETH обеспечены 1:1 реальными активами. С тех пор мы укрепили это обязательство за счет более регулярной отчетности, технологий с нулевым разглашением и охвата более 170 активов — больше, чем на любом обмене.

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

Хакен: Оценка безопасности Gate Proof of Reserves: повышение стандартов криптографии и доверия

Одна из крупнейших криптовалютных бирж в мире Gate недавно обновила свое доказательство резервов (PoR), включив в него технологию с нулевым разглашением, что означает важный шаг на пути к повышению финансовой прозрачности. Хакен провел независимую стороннюю оценку новейшей реализации Gate Proof of Reserves, тщательно проверив ее на наличие уязвимостей к известным атакам или вредоносному коду.

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

Технология и реализация

Первоначальная реализация PoR Gate, созданная на основе «zkmerkle-proof-of-solvency» Binance, с 2020 года претерпела значительные изменения в структуре, управлении зависимостями и криптографических платформах.
Наиболее важным улучшением стало добавление проверки zk-SNARK, которая устранила недостатки предыдущей реализации. это могло бы позволить включить сфабрикованные счета с отрицательным балансом, что потенциально могло бы повлиять на точность данных.
В проекте используются следующие криптографические фреймворки и структуры:
- Ответвление GNARK – для построения криптографических схем.
- Хеш-функция Poseidon с кривой BN254 – для хеширования пользовательских данных и структуры разреженного дерева Меркла (SMT).
- Библиотека BSMT – для реализации SMT с максимальной глубиной 28, что позволяет системе Proof Of Solvency обслуживать более 250 миллионов пользователей.
См. реализацию доказательства резервов Gate на GitHub или узнайте больше об этом [здесь](https://www.gate.io /доказательство-резервов/ "здесь").

Выводы и рекомендации


Оценка Хакена

Группа оценки

Оценку безопасности реализации резервов проводил Лучано Чиатталья, директор по обслуживанию Hacken и известный эксперт в области криптологии, а также ведущие аудиторы Софиан Акермун, Нино Липартия и Бартош Барвиковски.

Метод

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

Выводы

Оценка команды Hacken не выявила уязвимостей критического, высокого, среднего или низкого уровня серьезности. Мы обнаружили несколько информативных проблем:
- Целостность хеша корня Merkle: было рекомендовано, чтобы корень Merkle был подписан доверенным сторонним аудитором или опубликован в блокчейне для возможности проверки.
- Устаревшая версия GNARK: настоятельно рекомендуется обновить до последней версии GNARK, чтобы снизить риски безопасности и снизить эффективность.

Оценка

В целом, проект является свидетельством прочной основы криптографической реализации и исключительной организации кода. Его текущее состояние отражает хорошо продуманный баланс между функциональностью и сложностью, предлагая пользователям комплексную настройку с подробной документацией и примерами данных. Существующая структура и функции проекта уже вносят значительный вклад в эту область, демонстрируя четкое понимание и применение ключевых принципов технологии блокчейн и криптографических систем.
Полный отчет является общедоступным и доступен по адресу https://hacken.io/audits/gate.io.

Выводы

Реализация PoR Gate устанавливает новый стандарт в индустрии блокчейнов и криптовалют. Он демонстрирует приверженность прозрачности и доверию для всех своих 14+ миллионов пользователей. Обязательство 100% Proof of Reserves, а также последующая сторонняя оценка безопасности реализации предлагают основу для других бирж цифровых активов для повышения их безопасности и целостности.

Gateway to Crypto Trade over 1,700 cryptocurrencies safely, quickly, and easily on Gate

Download Gate App / Web Client now>>>
Follow us on Gate X (Twitter) to get more bonuses>>>
Join our Telegram to discuss hot topics>>>
Join our Global Community to get more updates>>>
We provide 100% proof of reserve>>>
Зарегистрируйтесь, чтобы насладиться макс. $6666 в виде вознаграждений исключительно для новых пользователей
Получите 40% комиссии от рефералов

Команда Gate
4 февраля 2024 г.