Запущен Ironwood, а Zcash закрывает Orchard и вынуждает пользователей перейти на новую платформу, что обойдется в 1,8 млрд долларов

Обновление NU6.3 вступило в силу 28 июля на высоте блока 3 428 143, введя отдельный защищенный пул Ironwood, новый формат транзакций и обязательную контрольную точку учета для средств, выводимых из Orchard. Теперь новые защищенные платежи направляются в Ironwood, а функция Orchard ограничена только выводом средств.

Это изменение стало следствием обнаружения критической криптографической уязвимости, которая оставалась в системе Orchard с момента запуска пула в мае 2022 года. Независимый исследователь в области безопасности Тейлор Хорнби обнаружил эту уязвимость 29 мая в ходе аудита с использованием искусственного интеллекта (ИИ), проводимого по контракту с Shielded Labs с применением модели Claude Opus 4.8 компании Anthropic.

Уязвимость, создающая риск подделки

Уязвимость затрагивала компонент скалярного умножения на эллиптической кривой в системе подтверждения транзакций Halo 2. Неполные ограничения схемы могли позволить злоумышленнику генерировать поддельные банкноты Orchard, которые выглядели бы действительными и содержали уникальные нуллификаторы, неотличимые от легитимных транзакций.

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

Существующая архитектура Zcash с механизмом «турникет» не позволила общему предложению превысить установленный протоколом лимит в 21 миллион ZEC. Тем не менее, эта уязвимость подорвала уверенность в том, что каждая монета, находящаяся в конфиденциальном обращении внутри Orchard, была создана законным образом.

Разработчики Zcash отреагировали в течение нескольких дней. В результате экстренного «мягкого форка» деятельность Orchard была временно ограничена, а в начале июня был проведен «жесткий форк» NU6.2, который исправил схему и восстановил функциональность. Ironwood стал долгосрочным решением, позволяющим не оставлять сеть зависимой от исправленной версии того же пула.

Ironwood создает новую границу учета

Ironwood поддерживает отдельное дерево обязательств по банкнотам, набор нуллификаторов, историю цепочки и пул стоимости. Старый пул Orchard не может создавать новые выходы или обрабатывать внутренние переводы, в результате чего оставшиеся средства выходят через общедоступный «турникет» протокола.

Эта контрольная точка гарантирует, что общая сумма, покидающая Orchard, не может превышать сумму, законно поступившую в него. Любые гипотетические поддельные банкноты, созданные с помощью старой уязвимости, останутся заблокированными, поскольку они не смогут перейти в Ironwood без нарушения публично установленного учетного лимита.

Такая архитектура позволяет операторам узлов проверять объем Zcash в обращении, анализируя остатки в Ironwood, Sapling, Sprout и оставшуюся проверенную стоимость Orchard. По мере миграции легитимных пользователей баланс Orchard должен сокращаться, создавая все более узкий верхний предел для любых потенциальных скрытых нарушений.

По имеющимся данным, на момент активации в Orchard хранилось от 3,6 до 3,76 млн ZEC, стоимость которых по тогдашним ценам составляла примерно от 1,7 до 1,9 млрд долларов. Ironwood начинал с нулевого баланса, хотя ранние данные мониторинга показывали, что вскоре после активации в новый пул поступили десятки тысяч ZEC.

Формальная верификация и квантовое восстановление

Проект Tachyon и другие участники применили формальную верификацию, независимые аудиты и анализ с использованием искусственного интеллекта к критическим схемам Ironwood и вспомогательным библиотекам. Целью этой работы было математически исключить категорию неограниченных криптографических операций, которые стали причиной уязвимости Orchard.

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

Поставщики кошельков, биржи и операторы узлов должны обновить своё программное обеспечение для поддержки NU6.3. Zodl, Cake Wallet и другие сервисы выпустили или запланировали выпуск инструментов для миграции, в то время как операторам инфраструктуры было рекомендовано перейти на программный стек Z3 на базе Zebra, поскольку поддержка устаревшего клиента zcashd была прекращена.

Курс ZEC снижается, но годовой рост сохраняется

После активации ZEC торговался вблизи отметки 466 долларов, снизившись на 4,8% за 24 часа, на 14,1% за семь дней и на 15,7% за 14 дней. Криптовалюта сохранила рост на 19,2% за 30 дней и более чем на 1 000% за год, что подчеркивает разрыв между краткосрочными продажами и её долгосрочным ростом.

Снижение цены опустило ZEC ниже отметки в 500 долларов на фоне ослабления криптовалютного рынка в целом в преддверии решения Федеральной резервной системы по денежно-кредитной политике 29 июля. Объем торгов остался на уровне около 300 млн долларов, что свидетельствует скорее об активной перерасстановке позиций, чем о коллапсе ликвидности.

Ironwood не изменяет модель конфиденциальности Zcash или максимальный объем эмиссии. Непосредственным испытанием для него станет то, смогут ли кошельки, биржи и пользователи беспрепятственно перенести остатки с Orchard, сохранив при этом конфиденциальность. Его более широкое значение зависит от того, смогут ли формальные методы и публичный учет по принципу «турникет» укрепить доверие к частным цифровым деньгам без ущерба для секретности, которую призваны обеспечивать эти системы.