Теоретический изъян в одном из важнейших механизмов конфиденциальности Zcash заставил его разработчиков перейти в режим, который некоторые описывали как «военное время». Результатом стало обновление Zcash Ironwood — формально верифицированный заменяющий защищённый пул, который активировался на высоте блока 3 428 143 в рамках сетевого обновления NU6.3 и стал одной из самых значимых переработок системы безопасности за всю историю сети.
Summary
Ключевые выводы
- Обновление Zcash Ironwood активировалось на высоте блока 3 428 143 через хардфорк NU6.3, заменив уязвимый защищённый пул Orchard формально верифицированной альтернативой.
- Исследователь Тейлор Хорнби обнаружил баг «бесконечности» в Orchard в конце мая, который теоретически мог позволить незаметное создание поддельных ZEC.
- Машинно проверенное математическое доказательство, состоящее более чем из 2 700 теорем, подтверждает, что Ironwood не может создавать незаметные поддельные ZEC при соблюдении его проектных допущений.
- На данный момент примерно 40 207 ZEC уже мигрировали в Ironwood, в то время как около 3,6 миллиона ZEC остаются в Orchard, который теперь ограничен только выводом средств.
- Обновление делает Zebra обязательной реализацией узла, прекращая поддержку старого программного обеспечения zcashd.
Что вынудило Zcash пойти на этот шаг
История начинается в конце мая, когда Тейлор Хорнби, исследователь из Shielded Labs, обнаружил то, что сообщество Zcash впоследствии назвало багом «бесконечности» в Orchard — изъян глубоко внутри схемы доказательств с нулевым разглашением Orchard, который создавал теоретический риск чеканки поддельных ZEC без каких-либо публично обнаруживаемых следов. Доказательств эксплуатации уязвимости не появилось, но одного лишь факта её существования оказалось достаточно, чтобы нанести ущерб: после раскрытия информации стоимость ZEC упала более чем вдвое.
Аварийные патчи, развернутые в начале июня, временно отключили Orchard, а исправленная схема была внедрена через хардфорк NU6.2 в течение пяти дней. Но одного исправления схемы было недостаточно. Из‑за особенностей модели конфиденциальности Zcash разработчики заявили, что математически невозможно с полной уверенностью доказать, что скрытая инфляция никогда не происходила внутри старого пула. Это ограничение сделало полную замену — а не просто исправление — единственным путём к восстановлению проверяемой целостности предложения монет.
От патча до полной замены за 60 дней
Решение не латать и двигаться дальше, а полностью списать и перестроить стало ключевым стратегическим шагом. Сооснователь Shielded Labs Зуко Уилкокс изначально предложил полностью заменить Orchard, и далее последовали примерно 60 дней скоординированной разработки со стороны Shielded Labs, Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group и Zcash Foundation.
Исполнительный директор ZODL Джош Суайхарт заявил, что инженеры его организации внесли 82% объединённых изменений в репозитории протокола и кошельков Zcash в ходе работ по замене. Исполнительный директор Shielded Labs Джейсон Макги отмечал, что операторы инфраструктуры — биржи, провайдеры кошельков, майнинговые пулы — одновременно переходили с zcashd на новый программный стек Z3 и параллельно готовились к Ironwood, хотя в итоге перенос сроков объявлен не был.
Как Ironwood меняет модель безопасности Zcash
Ironwood — это не просто исправленная версия Orchard. Он вводит полностью отдельную систему учёта с собственным деревом коммитментов заметок (note commitment tree), набором нулификаторов и пулом стоимости в цепочке, что позволяет любому узлу отслеживать новый защищённый пул независимо от всего, что было до него.
Обновление также устанавливает публичную контрольную точку учёта — описываемую проектом как турникет. Средства могут покидать Orchard через этот турникет, но механизм математически предотвращает вывод из старого пула большего объёма стоимости, чем было туда легитимно внесено. Задуманный эффект прост: любые гипотетические поддельные монеты, отчеканенные внутри Orchard до или во время окна уязвимости, будут навсегда заперты там и не смогут «заразить» систему учёта предложения Ironwood.
Квантово-восстанавливаемые заметки и задел на будущее
Наряду с гарантиями целостности предложения новый пул включает квантово-восстанавливаемые заметки ZIP 2005. Эта функция не делает транзакции Zcash квантово-защищёнными уже сегодня — отдельный протокол восстановления всё ещё предстоит спроектировать и активировать в будущем, — но она закладывает криптографический фундамент для такого механизма на случай, если прогресс в квантовых вычислениях со временем ослабит текущие средства защиты.
Обновление NU6.3 также завершает давно запланированный переход, делая Zebra обязательной реализацией узла и прекращая поддержку старого программного обеспечения zcashd по всей сети.
Формальная верификация: гарантия из 2 700 теорем
Наиболее технически отличительной частью запуска Ironwood является машинно проверенное математическое доказательство, выполненное Project Tachyon совместно с разработчиками Zcash. Написанное на языке программирования Lean, оно состоит более чем из 2 700 теорем, разработанных в течение более чем месяца тремя командами исследователей и криптографов, — и формально подтверждает, что Ironwood не может создавать незаметные поддельные ZEC при заявленных проектных допущениях.
Доказательство охватывает компоненты, необходимые для целостности баланса: систему доказательств с нулевым разглашением Ironwood, её правила схемы и учёт на уровне реестра. Сооснователь Zcash Шон Боу описал эту работу предельно ясно: «Совместная работа нескольких команд навсегда изменила историю Zcash, устранив все источники багов, позволяющих незаметное подделывание монет, из нового протокола Ironwood».
Важно понимать одно ограничение: формальная верификация охватывает целостность баланса, но не распространяется на отдельные гарантии конфиденциальности Ironwood. Надёжность предложения и конфиденциальность транзакций — это разные свойства, и доказательство касается только первого.
Статус миграции и что будет с Orchard
Orchard сейчас находится в режиме только выхода. Пул больше не принимает новую защищённую активность, но пользователи всё ещё могут по своему усмотрению выводить средства. Согласно трекеру миграции Zcash, примерно 40 207 ZEC уже перешли в Ironwood с момента активации. Гораздо большая сумма — около 3,6 миллиона ZEC — остаётся внутри Orchard в ожидании миграции и представляет собой основную часть того, что когда‑то было главным конфиденциальным пулом сети.
В своём пике Orchard приходилось почти на 88% защищённого предложения токенов Zcash, по данным The Block, в то время как старые пулы Sapling и Sprout составляли остальную часть. Масштаб этой наследуемой позиции означает, что миграция займёт время, а её темпы, вероятно, станут одним из наиболее наглядных индикаторов того, насколько сильно пользователи восстановили доверие к инфраструктуре конфиденциальности Zcash после истории с уязвимостью.
С установленным турникетом и формальной верификацией, лежащей в основе модели предложения нового пула, инженерная работа завершена. Остаётся вопрос, насколько быстро более широкая экосистема Zcash сократит разрыв между 40 000 ZEC, которые уже переместились, и 3,6 миллионами, всё ещё ожидающими по другую сторону.
FAQ
Что такое обновление Zcash Ironwood?
Ironwood — это обновление сети Zcash, которое заменило уязвимый защищённый пул Orchard формально верифицированным защищённым пулом, усилив безопасность предложения и сохранив конфиденциальность. Оно активировалось на высоте блока 3 428 143 в рамках хардфорка NU6.3.
Почему обновление Ironwood было необходимо?
Обновление потребовалось из‑за обнаруженного в конце мая бага «бесконечности» в пуле Orchard, который создавал теоретический риск незаметного создания поддельных ZEC. Поскольку модель конфиденциальности Zcash делала невозможным доказать, что баг никогда не эксплуатировался, разработчики полностью заменили Orchard, а не стали полагаться только на патч.
Может ли Ironwood всё ещё создавать поддельные ZEC?
Согласно машинно проверенному математическому доказательству, выполненному Project Tachyon и разработчиками Zcash и состоящему более чем из 2 700 теорем, написанных на Lean, Ironwood не может создавать незаметные поддельные ZEC при соблюдении его проектных допущений. Доказательство охватывает целостность баланса, но не распространяется на отдельные гарантии конфиденциальности Ironwood.
Что происходит со средствами, которые всё ещё находятся в пуле Orchard?
Orchard перешёл в режим только выхода. Пользователи всё ещё могут выводить из него средства, но пул больше не принимает новые защищённые транзакции. Около 3,6 миллиона ZEC остаются в Orchard в ожидании миграции в Ironwood, в то время как примерно 40 207 ZEC уже были переведены.
{«@context»:»https://schema.org»,»@type»:»FAQPage»,»mainEntity»:[{«@type»:»Question»,»name»:»Что такое обновление Zcash Ironwood?»,»acceptedAnswer»:{«@type»:»Answer»,»text»:»Ironwood — это обновление сети Zcash, которое заменило уязвимый защищённый пул Orchard формально верифицированным защищённым пулом, усилив безопасность предложения и сохранив конфиденциальность. Оно активировалось на высоте блока 3 428 143 в рамках хардфорка NU6.3.»}},{«@type»:»Question»,»name»:»Почему обновление Ironwood было необходимо?»,»acceptedAnswer»:{«@type»:»Answer»,»text»:»Обновление потребовалось из‑за обнаруженного в конце мая бага «бесконечности» в пуле Orchard, который создавал теоретический риск незаметного создания поддельных ZEC. Поскольку модель конфиденциальности Zcash делала невозможным доказать, что баг никогда не эксплуатировался, разработчики полностью заменили Orchard, а не стали полагаться только на патч.»}},{«@type»:»Question»,»name»:»Может ли Ironwood всё ещё создавать поддельные ZEC?»,»acceptedAnswer»:{«@type»:»Answer»,»text»:»Согласно машинно проверенному математическому доказательству, выполненному Project Tachyon и разработчиками Zcash и состоящему более чем из 2 700 теорем, написанных на Lean, Ironwood не может создавать незаметные поддельные ZEC при соблюдении его проектных допущений. Доказательство охватывает целостность баланса, но не распространяется на отдельные гарантии конфиденциальности Ironwood.»}},{«@type»:»Question»,»name»:»Что происходит со средствами, которые всё ещё находятся в пуле Orchard?»,»acceptedAnswer»:{«@type»:»Answer»,»text»:»Orchard перешёл в режим только выхода. Пользователи всё ещё могут выводить из него средства, но пул больше не принимает новые защищённые транзакции. Около 3,6 миллиона ZEC остаются в Orchard в ожидании миграции в Ironwood, в то время как примерно 40 207 ZEC уже были переведены.»}}]}
Статья подготовлена при содействии искусственного интеллекта и проверена редакционной командой.
