Зуко Уилкокс говорит, что предложение Zcash (ZEC) подтверждаемо: как Ironwood блокирует тайную инфляцию
2026/08/02 13:00:00
Обновление Ironwood Zcash изменило дискуссию о том, остается ли предложение ZEC проверяемым после обнаружения критической уязвимости в отключенном защищенном пуле Orchard. Хотя известных доказательств эксплуатации на мейннете нет, защита конфиденциальности Orchard не позволяет исследователям однозначно доказать, что поддельные банкноты никогда не были созданы. Сооснователь Zcash Зуко Уилкокс говорит, что пользователи теперь могут независимо проверить предложение протокола. Сделав Orchard только для выхода, отслеживая балансы пула и направляя выводы через Zcash turnstile, Ironwood предотвращает циркуляцию или утечку гипотетической избыточной стоимости в более широкую экономику Zcash. Однако обновление укрепляет текущую целостность предложения ZEC, не доказывая, что уязвимость Orchard никогда не была эксплуатирована.
Зуко Уилкокс говорит, что предложение Zcash можно проверить локально
Сооснователь Zcash Зуко Уилкокс заявил, что пользователи могут самостоятельно проверить объем ZEC на локальном компьютере после обновления сети Ironwood, которое было активировано 28 июля 2026 года. В посте от 29 июля на X он сообщил, что полностью синхронизированная нода показала снимок цепочки-предложения в размере 16 848 458 ZEC, или около 80,23% фиксированной максимальной величины предложения Zcash — 21 миллион. Эта цифра не является окончательной, поскольку награды за майнинг продолжают добавлять новые ZEC в соответствии с графиком эмиссии протокола.
Ironwood сделал исходный защищённый пул Orchard только для выхода, запретив новые депозиты и обычные переводы внутри пула. Средства, покидающие Orchard, должны проходить через механизм учёта на уровне протокола, ограничивающий выводы суммой ZEC, которая была проверяемо внесена. Запустив полностью синхронизированную ноду Zcash и используя RPC getblockchaininfo, пользователи могут проверить поля chainSupply и valuePools, не полагаясь на разработчиков, биржи или сторонних Проводников.
Цепная масса, сообщаемая нодой, может отличаться от оценок рыночной обращаемой массы, поскольку протокольный учет может включать выпущенные ZEC, находящиеся в ограниченных или отложенных пулах, в то время как поставщики данных могут исключать активы, которые они считают недоступными для торговли. Следовательно, цифра Уилкокса должна восприниматься как локально проверяемый снимок блокчейна, а не сумма ZEC, активно обращающихся на рынке.
Как Ironwood и Zcash Turnstile блокируют секретную инфляцию ZEC
Обновление Zcash Ironwood устраняет конкретную уязвимость, созданную предыдущей архитектурой Orchard: поддельная заметка теоретически могла существовать и продолжать передаваться в частном порядке внутри защищенного пула, даже если сеть препятствовала переносу избыточной стоимости в другой пул. Ironwood решает эту проблему, сочетая строгие ограничения на активность Orchard с правилами публичного учета Zcash turnstile. В результате формируется протокольная граница, которая препятствует сохранению гипотетических поддельных ZEC в экономически активном состоянии внутри Orchard или их проникновении в более широкую экономику Zcash.
Ironwood превращает Orchard Shielded Pool в систему только для выхода
До выпуска Ironwood Orchard функционировал как активный защищённый пул, в котором пользователи могли получать средства, совершать частные платежи и переводить стоимость, не раскрывая отдельные суммы или адреса. Эта конфиденциальность зависела от надёжности нулевого знания схемы Orchard, позже обнаруженной как содержащей недостаточно ограниченный элемент, который теоретически мог принимать поддельные банкноты как действительные. Ironwood изменяет роль Orchard на уровне консенсуса, а не полагается исключительно на исправленную схему. Новая стоимость больше не может попадать в старый пул, награды за добычу блоков не могут создавать выходы Orchard, а обычные межадресные платежи внутри Orchard отключены. Законные владельцы всё ещё могут выводить свои средства, включая транзакции, требующие изменения, направленного на себя, но Orchard больше не может функционировать как независимая частная экономика, в которой ZEC многократно циркулирует между различными пользователями. Новая защищённая активность направляется в отдельный пул Ironwood, позволяя остаточному балансу Orchard постепенно снижаться, предотвращая при этом поступление дополнительных средств или вновь выпущенных ZEC в устаревшую систему.
Как Zcash Turnstile ограничивает выводы Orchard
Zcash-поворо́т — это механизм учёта в цепочке, который отслеживает совокупную стоимость, поступающую в каждый защищённый пул и покидающую его, не раскрывая частных транзакций, происходящих внутри него. Индивидуальные балансы, адреса и переводы в Orchard остаются скрытыми, но перемещения через границу пула создают публично проверяемые изменения его общей стоимости.
Каждая полная нода поддерживает баланс цепочки и отклоняет блок, если транзакция пытается вывести больше ZEC из Orchard, чем сумма, которая легитимно поступила через зафиксированные депозиты и протокольно авторизованные потоки. Поворотный механизм не должен определять, какие отдельные заметки являются легитимными или поддельными. Вместо этого он устанавливает совокупный лимит на вывод для всего пула. Если гипотетическая поддельная ZEC была создана благодаря уязвимости в Orchard, этот избыточный объем не будет иметь соответствующего депозита в публичном учетном регистре и, следовательно, не сможет быть переведен в Ironwood, Sapling или прозрачный пул после достижения законного лимита на вывод. Это различие важно, потому что поворотный механизм существовал до Ironwood, но пользователи Orchard ранее могли продолжать частично переводить заметки внутри пула. Ironwood закрывает этот внутренний маршрут циркуляции, превращая поворотный механизм в единственный экономически значимый путь вперед.
Почему Ironwood не требует от каждого держателя Orchard перейти
Защита от тайной инфляции ZEC не зависит от того, что каждый легитимный баланс Orchard перейдет в Ironwood. Как только новые ограничения консенсуса вступили в силу, Orchard больше не мог принимать депозиты или поддерживать обычные платежи между разными пользователями, а его единственный выход оставался подчиненным проверенному лимиту на вывод через поворотный механизм. Любые ZEC, которые никогда не мигрируют — будь то из-за утерянных закрытых ключей, заброшенных кошельков, тестовых средств или неэкономичных балансов пыли — остаются изолированными в пуле, который не может расширяться или функционировать как активная платежная сеть. По этой причине миграция из Orchard в Ironwood может никогда не достичь буквально 100%, но неполная миграция не позволяет избыточной стоимости циркулировать. Прогресс миграции все еще может предоставить полезные доказательства относительно ранее существовавшей уязвимости: постоянный поток легитимных выводов без достижения поворотным механизмом своего лимита укрепил бы оценку того, что масштабная подделка, вероятно, не происходила. Если требования на вывод в конечном итоге превысили проверенные депозиты пула, сеть отклонила бы избыток и выявила бы измеримое несоответствие. Такие доказательства были бы важны, но они отличаются от немедленной защиты предложения, созданной, когда Orchard стал доступным только для вывода.
Ironwood создает отдельный и независимо учитываемый защищенный пул
Ironwood не наследует внутреннее состояние Orchard или историю скрытых заметок. Он был создан как отдельный защищённый пул со своим собственным балансом ценностей цепочки, деревом коммитов заметок, набором нуллификаторов и историей транзакций, что создало чёткую бухгалтерскую границу между устаревшей системой и будущей частной активностью ZEC. Средства, поступающие в Ironwood, должны приходить через транзакцию, авторизованную консенсусом, стоимость которой отражается в публичной бухгалтерии пула, предотвращая тайное переносить неверифицированную стоимость Orchard. Новый пул использует исправленную схему на основе Orchard вместе с дополнительным анализом безопасности и формальной верификацией, ориентированными на целостность баланса. Эта многоуровневая архитектура означает, что сеть Zcash не полагается исключительно на предположения о том, был ли ранее обнаруженный баг эксплуатирован. Вместо этого Ironwood ограничивает старый пул, подвергает каждый выход учету по накопительной системе поворотных ворот и фиксирует новую защищённую стоимость в отдельно отслеживаемой системе. В соответствии с правилами консенсуса сети и заявленными криптографическими допущениями, гипотетические поддельные заметки Orchard не могут тайно стать тратимыми ZEC где-либо ещё — это центральный механизм, с помощью которого Ironwood защищает целостность предложения ZEC.
Что доказывает Ironwood о баге Orchard, миграции ZEC и оставшихся рисках
Ironwood обеспечивает перспективную гарантию целостности предложения Zcash, но не восстанавливает назад каждую частную транзакцию Orchard и не может с уверенностью установить, что ранее существовавшая уязвимость никогда не была использована. Понимание этого различия крайне важно при оценке уязвимости Orchard, цели миграции ZEC и мер безопасности, введенных с помощью формальной верификации. Наиболее точный вывод заключается в том, что Ironwood предотвращает сохранение любой гипотетической избыточной стоимости Orchard в доступной экономике Zcash, тогда как исторический вопрос о том, были ли созданы поддельные банкноты до устранения уязвимости, остается нерешенным.
Был ли когда-либо эксплуатирован баг Zcash Orchard?
На данный момент нет известных доказательств того, что уязвимость Orchard была использована на мейннете Zcash, и организации, участвовавшие в расследовании, заявили, что предыдущее использование выглядит маловероятным. Исследователь безопасности Тейлор Хорнби продемонстрировал, что уязвимость реальна, создав рабочий эксплойт в локальной среде regtest, но успешный тест не подтверждает, что другая сторона обнаружила или применила тот же метод к рабочей сети. Разработчики не зафиксировали подтвержденных случаев несанкционированного создания ценности, потерь пользователей или компрометации конфиденциальности, связанных с этой уязвимостью. Наблюдаемая активность Orchard также не показала агрессивных выводов, характерных для криптовалютных эксплойтов, когда злоумышленники пытаются конвертировать фальшивые активы в ликвидную стоимость до устранения уязвимости. Эти наблюдения поддерживают вывод о том, что эксплуатация, вероятно, не происходила, но они остаются косвенными доказательствами, а не криптографическим доказательством. Поскольку Orchard скрывала суммы транзакций, отправителей, получателей и связи между приватными заметками, исследователи не могут воспроизвести ее полную внутреннюю экономическую историю и однозначно определить, создал ли злоумышленник фальшивые заметки, которые никогда не были выведены или публично монетизированы.
Что на самом деле доказывает формальная верификация Ironwood
Проект Tachyon опубликовал машинно-проверенную формальную верификацию целостности балансов Ironwood 28 июля 2026 года. Работа содержит более 2 700 теорем Lean и потребовала усилий трех команд исследователей и криптографов, работавших более месяца. В ней проверяется, обеспечивают ли система доказательств и правила реестра Ironwood условия, необходимые для предотвращения необнаружимой подделки. Это включает в себя доказательство того, что корректные расходы соответствуют ранее созданным записям, значения остаются в разрешенном диапазоне, нуллификаторы предотвращают многократное расходование одной и той же записи, а скрытые входы и выходы остаются сбалансированными по отношению к публично заявленной величине, поступающей в пул или покидающей его. Верификация также анализирует знаниевую надежность системы доказательств с нулевым разглашением Ironwood, связывая принятые доказательства с корректными базовыми свидетельствами при заданных криптографических предположениях. Это значительно сильнее, чем обычный обзор программного обеспечения, поскольку свойства безопасности выражены математически и проверены с помощью помощника по доказательствам, а не зависят исключительно от человеческого анализа или ограниченного набора тестовых случаев.
Формальная верификация должна, тем не менее, описываться в соответствии с её реальным масштабом. Завершенная работа сосредоточена на целостности балансов и устойчивости к подделкам, а не на всех возможных свойствах сети Zcash. Она не доказывает гарантии конфиденциальности Ironwood, не устраняет операционные ошибки в кошельках и не гарантирует, что все будущие программные решения будут свободны от ошибок реализации. Доказательство также опирается на признанные криптографические предположения, связанные с дискретными логарифмами, моделированием случайных оракулов и нефоргируемостью подписей. Проект Tachyon утверждает, что отклонения реализации от формально проанализированного верификатора оставят публично воспроизводимые доказательства, поскольку принятые доказательства записываются в блокчейн, но это не означает, что все риски безопасности исчезли. Функция Ironwood ZIP 2005 также должна описываться внимательно: она создает квантово-восстанавливаемые записи заметок, предназначенные для поддержки будущего восстановления средств, если текущая криптография будет ослаблена, но она не делает Zcash полностью устойчивым к квантовым вычислениям сегодня.
Что может показать миграция с Orchard на Ironwood
Активность миграции может предоставить дополнительные доказательства того, была ли эксплуатирована уязвимость Orchard, хотя она не может дать идеальный исторический ответ. Примерно 176 000 ZEC, тогда стоивших около 81 миллиона долларов, поступили в Ironwood в первый день, что составляет примерно 5% от баланса Orchard на момент активации. Постоянные выводы легитимными держателями уменьшают сумму, оставшуюся в Orchard, и проверяют, могут ли признанные требования быть обработаны без конфликта в учете. Если значительные остатки успешно перемещаются со временем и ни одна попытка не превышает допустимую мощность вывода из пула, уверенность в том, что масштабная подделка не происходила, должна возрастать. Напротив, если действительные на вид требования на вывод в конечном итоге превысят сумму, доступную в пределах учетного лимита Orchard, отклоненные излишки предоставят публично наблюдаемые доказательства того, что существовало больше частных требований, чем могли бы поддерживать легитимные депозиты.
Процесс миграции не может однозначно доказать, что каждая запись Orchard была легитимной, поскольку некоторые балансы, вероятно, никогда не будут перемещены. Приватные ключи могут быть утеряны, кошельки — заброшены, а небольшие балансы могут оставаться невыгодными для перевода. Гипотетический злоумышленник также может оставить поддельные записи нетронутыми, чтобы не рисковать раскрытием несоответствия. Следовательно, данные миграции следует рассматривать как развивающийся источник доказательств, а не как обратный отсчет до момента, когда историческая неопределенность исчезнет. Статьи не должны утверждать, что сообщество Zcash получит однозначное заключение, когда миграция достигнет 100%, поскольку полная миграция может никогда не произойти. Более обоснованная интерпретация заключается в том, что упорядоченная миграция может сократить практическую неопределенность и укрепить уверенность в легитимных балансах Orchard, не переписывая частную историю транзакций пула.
Оставшиеся риски для держателей Orchard и пользователей кошелька
Наиболее серьезным оставшимся теоретическим риском является возможность восстановления легитимных балансов Orchard в случае подделки до устранения уязвимости. Shielded Labs считает этот сценарий маловероятным, но если поддельные средства существовали и были выведены до вывода легитимными пользователями, последующие держатели могут в конечном итоге столкнуться с лимитом на вывод из пула. Протокол не может отличить поддельную запись от легитимной на основе истории владения, поскольку обе были приняты в рамках прежней уязвимой схемы; он может лишь ограничивать общую сумму, разрешенную к выводу. В настоящее время нет никаких доказательств того, что держатели Orchard сталкиваются с таким исходом, и ранняя активность по миграции не выявила дефицита в учете. Тем не менее, описание этого риска крайне необходимо, поскольку «отсутствие доказательств эксплуатации» и «доказательство того, что эксплуатация никогда не происходила» — это принципиально разные выводы.
Пользователи также сталкиваются с практическими рисками миграции, связанными с совместимостью кошельков, доступностью сервисов и конфиденциальностью. Кошелек должен поддерживать правила сети Ironwood и процесс миграции из Orchard в Ironwood, прежде чем средства можно будет безопасно перевести. Биржи, кастодианы и провайдеры кошельков могут временно приостановить депозиты или выводы ZEC во время обновления своей инфраструктуры, что может сделать баланс временно недоступным, не указывая при этом, что средства были утеряны. Миграция также раскрывает сумму и время перемещения стоимости между пуловами, хотя закрытые транзакции внутри каждого пула остаются конфиденциальными. Удаленный сервис кошелька может дополнительно связать запрос на миграцию с IP-адресом пользователя, создавая риск утечки конфиденциальности на уровне сети. Пользователям следует проверить официальную поддержку кошельков, защитить информацию для восстановления, сохранить надежные резервные копии и использовать средства для сохранения конфиденциальности сети, такие как Tor или Nym, если они поддерживаются. Ironwood значительно усиливает целостность предложения ZEC, но безопасная миграция по-прежнему зависит от надежного программного обеспечения кошельков, внимательного поведения пользователей и прозрачной поддержки со стороны более широкой экосистемы Zcash.
Заключение
Заявление Зуко Вилкса о том, что предложение Zcash уже подлежит проверке, отражает наиболее важный результат обновления Ironwood: пользователям больше не нужно полностью полагаться на заверения разработчиков или ждать миграции всех балансов Orchard перед оценкой надежности доступного запаса ZEC. Ironwood создает чистый защищенный пул, изолирует неопределенность, связанную с Orchard, и применяет консенсусные правила, препятствующие продолжению функционирования гипотетически избыточной стоимости в качестве обращающихся ZEC. Его формально верифицированные свойства целостности баланса обеспечивают дополнительную уверенность в том, что новый пул спроектирован для предотвращения типа невидимой уязвимости подделки, обнаруженной в Orchard.
Точным выводом является не то, что Ironwood доказывает, будто уязвимость Orchard никогда не использовалась. Историческое использование остается неизвестным, хотя на данный момент нет доказательств того, что поддельные ZEC были созданы на мейннете. То, что доказывает Ironwood, — это то, что любая гипотетическая избыточная стоимость Orchard не может продолжать тайно циркулировать или свободно перемещаться в остальную экосистему Zcash. Данные о миграции могут постепенно укрепить доверие к легитимным балансам, но совместимость кошельков, риск раскрытия приватности и теоретический риск восстановления при поздних выводах из Orchard все еще требуют внимания. Для держателей ZEC это обновление представляет собой значительное улучшение в проверяемости предложения, а также демонстрирует, почему точная формулировка, независимая верификация и осторожные практики безопасности остаются важными в системах криптовалют с акцентом на приватность.
|
KuCoin отмечает свою 9-ю годовщину специальной кампанией на платформе с эксклюзивными наградами, торговыми активностями и ограниченными по времени предложениями. Не упустите возможность принять участие и воспользоваться преимуществами, пока биржа отмечает девять лет роста и инноваций. Посетите официальную страницу кампании сейчас:
|
Часто задаваемые вопросы
Является ли Ironwood новым токеном Zcash или отдельной криптовалютой?
Нет. Ironwood — это новый защищенный пул стоимости, введенный через обновление сети Zcash NU6.3, а не отдельная криптовалюта, блокчейн или заменяющий токен. ZEC остается нативным активом сети Zcash, и его тикер, денежная политика и правила владения не изменились. Владельцам не нужно обменивать ZEC на «токен Ironwood», получать аирдроп или отправлять средства на контракт токена. Любые веб-сайты или аккаунты в социальных сетях, предлагающие специальную конверсию в токен Ironwood, следует воспринимать с осторожностью, поскольку легитимная миграция происходит через совместимое программное обеспечение кошелька Zcash.
Каким держателям ZEC необходимо выполнить миграцию с Orchard на Ironwood?
Миграция актуальна в первую очередь для пользователей, хранящих ZEC внутри устаревшего защищенного пула Orchard. ZEC, хранящийся в прозрачном пуле, Sapling, на кастодиальном платформенном аккаунте или в кошельке, уже использующем Ironwood, не требует той же процедуры миграции Orchard. Пользователи с самостоятельным хранением должны проверить разбивку баланса по пулу в своем кошельке до принятия действий, поскольку один кошелек может содержать средства в нескольких пулах стоимости Zcash. Средства Orchard остаются привязанными к своим законным владельцам, но обновленный кошелек должен поддерживать транзакцию миграции, прежде чем эти средства можно будет перевести в Ironwood.
Должны ли пользователи кастодиальных платформ вручную выполнить миграцию ZEC?
Пользователи,持有的 ZEC через централизованную торговую платформу или кастодиана, как правило, не выполняют техническую миграцию с Orchard на Ironwood самостоятельно, поскольку сервис контролирует базовую инфраструктуру кошелька. Поставщик несет ответственность за обновление своих нод, программного обеспечения кошелька и систем депозита или вывода. Однако пользователям следует проверить текущий статус сети Zcash на платформе перед переводом средств, так как депозиты и выводы могут быть временно приостановлены во время обновления инфраструктуры. Приостановка сервиса не означает автоматически потерю средств, но пользователям следует подождать официального подтверждения поддержки транзакций Ironwood перед инициацией вывода.
Есть ли срок для вывода ZEC из Orchard?
Дизайн Ironwood не устанавливает универсальный срок, автоматически конфискующий или аннулирующий легитимные балансы Orchard. Миграция является добровольной и может продолжаться в течение длительного периода, поскольку провайдеры кошельков, кастодианы и отдельные держатели будут перемещаться с разной скоростью. Некоторые средства могут оставаться неограниченно долго, поскольку их закрытые ключи были утеряны или балансы слишком малы для экономически целесообразного перевода. Тем не менее, Orchard больше не является текущим назначением для обычной защищенной активности, поэтому держатели, желающие использовать свои средства, должны в конечном итоге выполнить миграцию через поддерживаемое программное обеспечение кошельков, а не полагаться на то, что каждое старое программное обеспечение кошелька будет работать неограниченно долго.
Как пользователям проверить, поддерживает ли кошелек Zcash Ironwood?
Пользователям следует ознакомиться с официальными заметками о выпуске или документацией по поддержке разработчика кошелька для явных упоминаний поддержки NU6.3, Ironwood или миграции ZIP 318 Orchard. Кошелек следует загружать или обновлять только через его проверенный веб-сайт, официальную страницу в магазине приложений или аутентифицированный программный репозиторий. Совместимая версия может отображать отдельные балансы Orchard и Ironwood или предоставлять встроенную опцию миграции. Перед перемещением ZEC пользователям следует убедиться, что их фраза восстановления или резервная копия кошелька безопасны, и при возможности протестировать процесс на меньшем балансе. Существующие адреса Zcash могут оставаться работоспособными, но правильная маршрутизация в Ironwood зависит от обновленной реализации кошелька.
Изменяет ли Ironwood прозрачные или Sapling балансы ZEC?
Нет. Прозрачные, Sapling, Orchard и Ironwood — это отдельные пулы значений внутри одной блокчейн-цепочки Zcash, и обновление Ironwood не преобразует автоматически и не делает недействительными ZEC, хранящиеся в других пулах. Прозрачные балансы продолжают функционировать с публично видимыми деталями транзакций, в то время как Sapling остается более старым вариантом защищенных транзакций. Однако поддержка кошельков и сервисов может различаться между пулами, поэтому пользователям следует проверить, какие типы транзакций поддерживаются их выбранным программным обеспечением. Перемещение ZEC из одного пула в другой является транзакцией в блокчейне, а не изменением базового актива.
Отказ от ответственности: эта статья предназначена исключительно для информационных целей и не является финансовой или инвестиционной консультацией. Цены на криптовалюты крайне волатильны, поэтому читателям следует проверять актуальные данные и проводить независимое исследование перед принятием финансовых решений.
Отказ от ответственности: Эта страница была переведена для вашего удобства с использованием технологии искусственного интеллекта. Для получения наиболее точной информации обратитесь к оригинальной английской версии.