28 июля сеть Zcash активировала обновление Ironwood и заменила приватный пул Orchard, где в мае нашли уязвимость для подделки монет. Разработчики утверждают, что теперь вывести из сети больше ZEC, чем туда реально внесли, математически невозможно. Для монеты, главная ценность которой заключается в конфиденциальности транзакций, сама возможность незаметно напечатать лишние монеты стала экзистенциальной угрозой.
Что активировала сеть 28 июля
NU6.3, кодовое название Ironwood, заменила Orchard, приватный пул, который скрывает суммы и адреса в транзакциях ZEC. В нем лежало примерно 3,7 миллиона монет, это около $1,7 млрд по текущему курсу. Старая версия остается в сети, но только для вывода. Закрыть позицию в Orchard еще можно, а завести новую уже нет.
Приватные пулы в Zcash менялись и раньше. Сеть стартовала в 2016 году со схемой Sprout, в 2018-м перешла на Sapling, а в 2022-м ввела Orchard вместе с новой системой доказательств Halo 2. Каждый переход требовал миграции средств между пулами, и Ironwood продолжает эту традицию уже в четвертый раз.
За разработку отвечают сразу две структуры: некоммерческий Zcash Foundation и компания Electric Coin Company, которая создала протокол еще в 2016 году. Project Tachyon, команда, которая непосредственно писала код Ironwood, работает под их эгидой. Сообщество обсуждало переход еще в начале месяца, когда встал вопрос, успеют ли биржи и кошельки подготовиться к дедлайну, и в итоге обновление активировали день в день с планом.
В чем была угроза для приватных ZEC?
В мае исследователь безопасности Тейлор Хорнби нашел в коде Orchard баг, которому было четыре года. Теоретически он позволял чеканить ZEC из воздуха. Из-за закрытой природы приватных транзакций проверить, воспользовался ли кто-то этим, было невозможно.
Хорнби сообщил об уязвимости приватно, по стандартной процедуре ответственного раскрытия, и дал командам разработчиков время подготовить исправление до публикации деталей. Это объясняет, почему между обнаружением бага в мае и полным техническим решением прошло почти три месяца.
Цена монеты упала на 38% за несколько дней после новости, хотя еще весной ZEC показывал один из лучших результатов среди ведущих криптовалют за год. Разработчики Zcash и команда Project Tachyon сразу начали работать над Ironwood, и уже в июне курс восстановил половину потерь, добавив около $2,5 млрд капитализации на одних ожиданиях исправления.
Как turnstile не дает появиться поддельным монетам?
В сердце Ironwood работает механизм, который разработчики назвали turnstile, буквально турникет. Он считает баланс на уровне всей сети и не позволяет вывести из пула ни одной монеты сверх той суммы, которую туда проверенно внесли.
В прежних версиях Zcash баланс проверялся только внутри каждого отдельного доказательства с нулевым разглашением, и именно там мог прятаться пропущенный случай. Turnstile добавляет еще один уровень, а именно учет на уровне всей сети, который не зависит от корректности каждого отдельного доказательства. Это похоже на систему двойного контроля в банках, где одна проверка ловит ошибки алгоритма, а другая следит за самими деньгами, которые входят и выходят.
Даже если где-то в коде спрятался еще один баг, подделать ZEC через него уже не выйдет. Общий учет просто не пропустит поддельную монету мимо турникета.
- Учет баланса: сеть проверяет сумму на входе и выходе из пула на каждом блоке.
- Новые монеты не могут появиться без соответствующего депозита в старом или новом пуле.
- Переход кошельков из Orchard в Ironwood происходит постепенно, без принудительного дедлайна для пользователей.
- Публичная часть транзакции остается открытой для аудита, а приватная часть защищена доказательством с нулевым разглашением.
- Блокчейн-эксплореры теперь показывают балансы старого и нового пула отдельно, чтобы облегчить аудит перехода.
Почему 2700 математических доказательств имеют значение?
Команда Project Tachyon привлекла три группы исследователей. За месяц работы они составили более 2700 машинно проверенных теорем на языке Lean, который раньше применяли в основном математики для доказательства теорем, а не разработчики криптовалют.
Это формальное доказательство того, что код Ironwood делает ровно то, что описано в спецификации, ни больше и ни меньше. Такой уровень проверки принят в авиации или ядерной энергетике, но проверка целого пула на 2700 теорем стала новым уровнем для всей криптоиндустрии. Похожие независимые доказательства уже начали применять и другие проекты с доказательствами с нулевым разглашением, хотя ни один пока не публиковал настолько объемный пакет теорем.
Авторы проекта отмечают, что доказательства касаются целостности баланса, а не приватности самих транзакций. Это разные вещи, и второй пункт формальной верификации пока не поддается.
Что делать владельцам ZEC сейчас?
Переход в новый пул несет побочный эффект. Пока кошелек переводит средства из Orchard в Ironwood, часть метаданных, вроде IP-адреса или примерного баланса, может стать видимой посторонним наблюдателям. Разработчики советуют на время миграции пользоваться Tor или VPN, если приватность критична.
Биржи вроде Binance тоже обновляют поддержку Ironwood со своей стороны, поэтому перевод ZEC на горячий кошелек биржи во время миграции стоит отложить на несколько дней, пока сеть не стабилизируется. Полный переход всех средств из Orchard в Ironwood, по оценкам команды, займет несколько месяцев, ведь часть кошельков еще не обновила поддержку нового пула.
Для крупных сумм стоит хранить ключи в аппаратном кошельке вроде Ledger, а сам перевод в новый пул проводить частями. Bitcoin работает на прозрачном реестре, где все транзакции видны сразу. Zcash по замыслу скрывает эти данные, и любое изменение протокола затрагивает именно тот механизм, ради которого монету покупают. В первые часы после активации курс ZEC заметно не изменился, и трейдеры восприняли это как признак доверия к новому коду.
Комментарии
Ваш e-mail адрес не будет опубликован. Обязательные поля отмечены *