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

Генеральный директор Binance Чанпэн Чжао заявил, что улучшение было реализовано в соответствии с предложением соучредителя Ethereum Виталика Бутерина. В ноябре Бутерин изложил свои идеи по продвижению не требующих доверия централизованных бирж через прозрачные системы подтверждения резервов.

Binance впервые опубликовала свою систему PoR в ноябре 2022 года, поскольку пользователи начали требовать большей прозрачности от бирж после краха FTX. В то время Binance использовала криптографию дерева Меркла, чтобы пользователи могли проверять свои активы.

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

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

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

Binance сгенерирует и опубликует доказательство zk-SNARK для построения дерева Меркла, чтобы доказать свои резервы. Проверив доказательство Меркла, пользователи Binance могут проверить, включен ли их баланс в корень дерева Меркла. Пользователи могут проверить доказательство zk-SNARK, чтобы убедиться, что конструкция дерева Меркла не подверглась каким-либо изменениям.

Поскольку у Binance миллионы пользователей, невозможно получить ни одного доказательства построения дерева Меркла. Поэтому Binance разделит пользователей на группы по 864 человека в каждой. Создание доказательства zk для одной группы пользователей займет 110 секунд. Доказательство можно проверить менее чем за 1 миллисекунду.

Binance потребуется 2 часа, чтобы сгенерировать доказательства для всех учетных записей стоимостью около 1000 долларов США. Биржа работает над внедрением решений, предложенных Бутериным, для повышения эффективности процесса генерации доказательств, что должно снизить затраты и позволить предоставлять доказательства чаще.

Система PoR Binance в настоящее время поддерживает 13 криптовалют, к которым недавно были добавлены 4, и в ближайшие недели планируется добавить больше токенов.

Binance также делает код своей системы PoR открытым с целью обеспечения большей прозрачности для своих пользователей.