Zcash завершил обновление сети Ironwood, заменив уязвимый защищенный пул Orchard на формально верифицированную альтернативу, предназначенную для предотвращения необнаруживаемой подделки, начав миграцию защищенных средств в новый пул.
Резюме
- Zcash активировал обновление Ironwood и заменил Orchard новым формально верифицированным защищенным пулом.
- Ironwood добавляет новые гарантии эмиссии, в то время как Orchard теперь поддерживает только вывод средств.
- Исследователи завершили машинную проверку доказательства, подтверждающую, что Ironwood не может создавать необнаруживаемые поддельные ZEC в рамках своих проектных допущений.
- Более 40 000 ZEC уже перемещены в Ironwood, в то время как около 3,6 миллиона ZEC остаются в Orchard.
Согласно Project Tachyon и команде разработчиков Zcash, Ironwood активировался по расписанию на высоте блока 3 428 143 в рамках обновления сети NU6.3 во вторник, представив новый защищенный пул, который, по словам разработчиков, восстанавливает доверие к целостности эмиссии Zcash после опасений, связанных с Orchard.
Активация последовала за месяцами работы нескольких организаций Zcash после того, как исследователи раскрыли уязвимость, которая теоретически могла позволить создавать поддельные ZEC без публичного обнаружения.
Хотя Ironwood теперь активен, Orchard перешел в фазу только вывода. Пользователи по-прежнему могут выводить средства из старого защищенного пула по своему усмотрению, но он больше не принимает новую защищенную активность. Данные трекера миграции Zcash показывают, что примерно 40 207 ZEC уже перемещены в Ironwood, в то время как почти 3,6 миллиона ZEC остаются в Orchard в ожидании миграции.
ZEC (ZEC) кратковременно упал примерно на 9% до около $460 после обновления, прежде чем восстановиться до примерно $475, согласно странице цен crypto.news. Токен уже испытал значительную волатильность после того, как уязвимость Orchard стала публичной, потеряв более половины своей стоимости, прежде чем позже восстановиться с примерно $45 в сентябре прошлого года до почти $700 к концу года.
Ironwood добавляет новую границу учета
Новый защищенный пул заменяет Orchard после того, как исследователи выявили то, что стало известно как ошибка Orchard «бесконечность». Согласно Shielded Labs, исследователь Тейлор Хорнби обнаружил уязвимость в конце мая внутри схемы с нулевым разглашением Orchard. Разработчики заявили, что проблема теоретически могла позволить злоумышленнику создавать поддельные ZEC без немедленного обнаружения, хотя они также заявили, что не нашли доказательств того, что уязвимость когда-либо была использована.
Экстренные обновления в начале июня временно отключили Orchard, прежде чем разработчики развернули исправленный код схемы через хардфорк NU6.2. Даже после исправления уязвимости разработчики заявили, что модель конфиденциальности Zcash не позволяет никому с уверенностью доказать, что скрытая инфляция никогда не происходила, что побудило к работе над заменой защищенного пула вместо того, чтобы полагаться исключительно на исправленную реализацию Orchard.
Ironwood вводит отдельную систему учета с собственным деревом обязательств заметок, набором нуллификаторов и пулом цепочки стоимости, позволяя узлам отслеживать новый защищенный пул независимо. Согласно технической документации проекта, обновление также устанавливает публичную контрольную точку учета, известную как турникет, позволяющую средствам покидать Orchard, предотвращая при этом выход большей стоимости, чем было легитимно внесено в старый пул.
Разработчики заявили, что механизм предназначен для удержания любых гипотетических поддельных монет внутри Orchard, позволяя при этом независимо проверять, что циркулирующая эмиссия Zcash продолжает соблюдать лимит сети в 21 миллион ZEC.
Формальная верификация укрепила модель безопасности Ironwood
Наряду с активацией сети, Project Tachyon объявил, что исследователи завершили проверенную машиной математическую проверку целостности баланса Ironwood, что обеспечивает дополнительную гарантию того, что новый защищенный пул не может создавать стоимость сверх той, которая публично поступила в него в соответствии с заявленными криптографическими предположениями.
По словам Project Tachyon, доказательство было написано на языке программирования Lean и состоит из более чем 2700 теорем, разработанных за более чем месяц тремя командами исследователей и криптографов.
Исследователи заявили, что их работа формально проверяет компоненты, необходимые для целостности баланса, включая систему доказательств с нулевым разглашением Ironwood, правила схемы и бухгалтерский учет на уровне реестра. Они также уточнили, что проверка не распространяется на отдельные гарантии конфиденциальности Ironwood.
Комментируя работу, сооснователь Zcash Шон Боу сказал, что совместные усилия команд устранили источники необнаруживаемых ошибок подделки из нового протокола Ironwood.
Новый защищенный пул также включает заметки ZIP 2005 с квантовым восстановлением, что позволяет использовать будущий механизм восстановления, если достижения в области квантовых вычислений в конечном итоге ослабят текущую криптографическую защиту. Согласно спецификации ZIP, эта функция не делает текущие транзакции Zcash квантово-безопасными, поскольку отдельный протокол восстановления все еще должен быть разработан и активирован в будущем.
Команды экосистемы координировали развертывание
Ironwood был разработан в сотрудничестве между Shielded Labs, Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group и Zcash Foundation.
Shielded Labs, сооснованная создателем Zcash Зуко Уилкоксом, первоначально предложила заменить Orchard для восстановления проверяемого учета поставок после того, как уязвимость стала общедоступной.
Тем временем исполнительный директор ZODL Джош Свихарт заявил на X, что инженеры его организации внесли 82% объединенных изменений в репозитории протокола и кошелька Zcash в ходе замены Orchard. Свихарт добавил, что Orchard был исправлен в течение пяти дней, прежде чем разработчики завершили процесс замены примерно за 60 дней.
Обновление NU6.3 также завершает еще один давно запланированный переход в сети. По данным Zcash Foundation, более старое программное обеспечение узла zcashd больше не поддерживает новые правила консенсуса, что делает Zebra обязательной реализацией узла после активации.
До того, как Ironwood достиг сети, исполнительный директор Shielded Labs Джейсон МакГи предупреждал, что биржи, поставщики кошельков и майнинговые пулы одновременно готовятся к миграции с zcashd на новый программный стек Z3, а также к обновлению для Ironwood. МакГи сказал, что некоторым операторам инфраструктуры потребовалось дополнительное время, хотя в конечном итоге не было принято решение об отсрочке обновления сети.
Теперь, когда Ironwood запущен и миграция Orchard продолжается, внимание переключилось на перемещение оставшихся защищенных средств через турникет, в то время как сеть постепенно выводит из эксплуатации старый пул в рамках новой модели учета.
