Редакция | Grok и другие

Zcash, известный проект в сфере криптовалют, славится своей мощной функциональностью защищенных транзакций (shielded transactions). Эти транзакции используют технологию нулевых знаний (Zero-Knowledge Proof, ZKP), позволяя пользователям осуществлять переводы без раскрытия конкретных сумм, адресов и других деталей, тем самым защищая конфиденциальность.

В апреле-май 2026 года цена ZEC показала значительный рост, подскочив на целых 150%, а рыночная капитализация достигла уровня в десятки миллиардов долларов. С учетом ужесточения глобального регулирования и повышения прозрачности на блокчейне, у пользователей возросли опасения по поводу "можно конфисковать/можно отслеживать" активов. Защитный пул Zcash (особенно пул Orchard) предлагает опциональную защиту конфиденциальности, привлекая инвесторов, ищущих активы, устойчивые к "цензуре и конфискации". Такие компании, как Multicoin Capital, четко позиционируют ZEC как возвращение к идеалам киберпанка, подчеркивая, что в эпоху on-chain финансов конфиденциальность станет ключевым требованием. Этот нарратив резонирует с более широкой рыночной обстановкой (например, обсуждениями потенциального налога на богатство), что способствует притоку капитала.

Cypherpunk Technologies (при поддержке Winklevoss) резко увеличила свои вложения в ZEC, теперь владея около 1.7%-2% от общего предложения, став важным институциональным держателем. Близнецы Winklevoss (основатели Gemini) долгое время поддерживают Zcash, делали множество пожертвований и увеличивали свои доли через свои структуры. Foundry Digital запустила институциональный пул для майнинга ZEC; Maelstrom Fund (связанный с Артуром Хейзом) также увеличил свою долю. Grayscale подала заявку на преобразование Zcash Trust в первый в США физический ETF для конфиденциальных монет (потенциальный тикер ZCSH). Если будет одобрено, это обеспечит соответствующий вход для институциональных средств, ожидается, что будет привлечено миллиарды.

Однако на днях в последнем пуле конфиденциальности Zcash, Orchard, была обнаружена серьезная уязвимость, вызвавшая резкие колебания на рынке. Команда быстро приняла экстренные меры, временно отключив соответствующие транзакции через мягкий форк, а затем исправив через хард-форк. Весь процесс не выявил признаков фактической эксплуатации, но особенности дизайна конфиденциальности также поставили под сомнение проверку целостности поставок. Эта статья основана на официальных объявлениях, форумах разработчиков и надежных новостных источниках, чтобы предоставить подробную временную шкалу и объяснить ключевые профессиональные термины.

Что такое пул Orchard? Почему он так важен?

Orchard — это последний защищенный пул (shielded pool), который был запущен Zcash в мае 2022 года через обновление сети NU5. В отличие от ранних пулов Sprout и Sapling, Orchard основан на системе доказательства Halo 2, которая является передовой технологией доказательства с нулевым знанием без необходимости доверенной настройки (trusted setup), что значительно повышает эффективность конфиденциальности и масштабируемость.

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

Суть уязвимости: Подробности о Soundness Bug

Эта уязвимость представляет собой уязвимость soundness (целостности), находящуюся в цепи Orchard Action (цепи доказательства с нулевым знанием, обрабатывающей действия защищенных транзакций). Конкретно, это недостаток ограничений (under-constrained) в цепи, позволяющий генерировать недействительные, но принимаемые сетью доказательства.

Простое объяснение: в системе доказательства с нулевым знанием "soundness" гарантирует, что только легитимные транзакции могут пройти проверку. Если soundness подводит, злоумышленник теоретически может подделать доказательства, реализуя двойное расходование (double-spending) в пуле Orchard или создавать поддельный ZEC, не будучи обнаруженным. Этот уязвимость скрывалась почти 4 года с момента запуска Orchard в 2022 году.

Важно отметить, что из-за механизма turnstile Zcash (системы учета между пулами), даже если в пуле Orchard произойдут аномалии, общее предложение не будет бесконечно расширяться — turnstile будет ограничивать выходящую из пула ценность не более, чем ценность, вошедшая в пул. Однако конфиденциальные особенности делают внешний аудит 100% криптографически доказанным о том, что пул никогда не использовался, затруднительным.

Процесс обнаружения уязвимости (29 мая)

29 мая 2026 года: независимый исследователь по безопасности Тейлор Хорнби (бывший инженер по безопасности Electric Coin Company, нанятый Shielded Labs для проведения аудита протокола) обнаружил эту уязвимость в ходе планового аудита. Он использовал недавно выпущенную модель ИИ Claude Opus 4.8 для анализа цепи и успешно создал полный эксплойт (exploit) в локальной тестовой среде, генерируя неограниченное количество поддельного ZEC.

Хорнби в тот же день сообщил о проблеме в Zcash Open Development Lab (ZODL) и Zcash Foundation. Команда немедленно начала процедуру экстренной реакции, координируя действия майнеров, бирж и операторов узлов.

Первая фаза экстренной реакции: мягкий форк отключает Orchard (1–2 июня)

Закулисная координация началась вечером 31 мая. Первая попытка мягкого форка столкнулась с проблемами координации развертывания, команда быстро итеративно доработала.

2 июня 2026 года (примерно 2:00 UTC, высота блока основной сети 3,363,426): развернуты экстренные обновления, такие как Zebra 4.5.3, активация экстренного мягкого форка. Сеть требует от узлов и майнеров отклонять все транзакции и блоки, содержащие действия Orchard, временно отключая транзакции Orchard (транзакции Sapling и прозрачные не затрагиваются). Эта мера направлена на предотвращение потенциальной эксплуатации в течение периода исправления.

В переходный период сеть испытывала кратковременную нестабильность, возникло множество конкурентных цепей и孤块. Функции ZEC в кошельках, таких как Cake Wallet, временно были ограничены, но общая цепь продолжала работать.

Вторая фаза экстренной реакции: исправление хард-форком NU6.2 (3 июня)

3 июня 2026 года (примерно 00:05 EDT, высота блока основной сети 3,364,600): активация хард-форка NU6.2, поддерживаемого Zebra 5.0.0. Это обновление развернуло исправленный Orchard Action, введя новые ключи проверки (per-circuit verifying key), что вновь включило транзакции Orchard.

С момента раскрытия до полного восстановления прошло всего около 5 дней, что является вторым случаем обновления протокола Zcash, обусловленным безопасностью. ZODL и фонд подтвердили: без потери средств, без несанкционированного создания ценности, механизм turnstile не обнаружил аномалий, конфиденциальность пользователей и безопасность средств сохранены.

Рынок реагирует и влияние на сообщество

После раскрытия информации о уязвимости цена ZEC резко колебалась, упав с пика на 40%-50%, что привело к потере десятков миллиардов долларов в рыночной капитализации. Некоторые известные личности (такие как Артур Хейс) распродали свои активы, а объем коротких позиций по производным увеличился. Однако с завершением исправления цена несколько стабилизировалась.

Основные темы обсуждения в сообществе включают: влияние приостановки конфиденциального пула на децентрализованный нарратив, роль ИИ в безопасности аудита, проблемы обслуживания двойных узлов (zcashd + Zebra) и предстоящее обновление NU7 (более быстрые блоки, поддержка защищенных активов и т.д.). Shielded Labs также предложили дальнейшие обновления для усиления проверки поставок с новыми пулами и turnstile.

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

Но двусмысленная природа дизайна конфиденциальности также напоминает индустрии: сложные zk-системы требуют постоянного усиления формальной проверки, многопрофильного аудита и инструментов на основе ИИ. Zcash, как пионер в области конфиденциальности, последующие миграции узлов (переход на Zebra), оптимизация управления и возможности для институциональных инвестиций (например, потенциальный ETF) определят его долгосрочное восстановление доверия.

Знаковый случай аудита безопасности с помощью ИИ

В инциденте с уязвимостью soundness пула Zcash Orchard одним из самых обсуждаемых моментов стало то, что исследователь безопасности Тейлор Хорнби с помощью недавно выпущенной модели ИИ Claude Opus 4.8 успешно обнаружил и подтвердил этот серьезный недостаток, который скрывался почти 4 года. Этот процесс не только подчеркивает мощный потенциал ИИ в сложных криптографических аудиторских работах, но и предоставляет важные идеи для всей области безопасности блокчейна.

Anthropic официально выпустил Claude Opus 4.8 28 мая 2026 года, это последняя флагманская модель их серии Opus. Эта модель достигла передовых уровней в области кодирования, агентных задач (agentic tasks), длинного контекстного вывода и профессиональных навыков, поддерживает контекстное окно до 1M токенов и вводит новые функции, такие как "динамические рабочие процессы" (Dynamic Workflows) и "контроль усилий" (effort controls).

Хорнби, как независимый инженер по безопасности, нанятый Shielded Labs, начал постоянный обзор протокола Zcash в апреле 2026 года. На следующий день после выпуска Claude Opus 4.8 (29 мая), он объединил его с пользовательской рамкой аудита ИИ для целенаправленного анализа цепи Orchard Action.

С помощью мощных возможностей понимания кода и сложного вывода, Хорнби не только выявил проблему недостаточной ограниченности (under-constrained) в цепи, но и успешно написал полный эксплойт (exploit). В локальной тестовой среде regtest этот эксплойт мог генерировать неограниченное, не подлежащее обнаружению поддельное ZEC, которое было невозможно отличить от законного ZEC в конфиденциальном пуле.

Этот процесс объединил традиционные методы исследования безопасности с новейшими инструментами ИИ: Opus 4.8 помог проанализировать логику математической проверки эллиптической кривой, сгенерировать тестовые случаи и содействовать созданию кода для генерации доказательств, значительно ускорив цикл от теоретического обнаружения до фактической проверки. Хорнби затем ответственно сообщил о проблеме в Zcash Open Development Lab (ZODL), чтобы избежать любых рисков для основной сети.

Этот инцидент рассматривается как знаковый случай аудита безопасности с помощью ИИ. За последние несколько лет, несмотря на многоразовые ручные аудиты и формальные проверки, сложные цепи с нулевым знанием (особенно реализация Orchard на основе Halo 2) все еще имеют слепые зоны, которые трудно охватить для человека. Вмешательство Claude Opus 4.8 продемонстрировало уникальные преимущества передовых больших моделей в обработке больших объемов кода и выявлении тонких недостатков в ограничениях.

Применение Claude Opus 4.8 в обнаружении уязвимости Zcash знаменует собой переход ИИ от вспомогательного инструмента к основной силе безопасности. Это не только ускорило реакцию (от раскрытия до исправления всего за несколько дней), но и установило новую парадигму "белых шляп" в криптоиндустрии. В будущем, с появлением более передовых моделей, таких как серия Anthropic Mythos, эффективность аудита блокчейн-протоколов может значительно увеличиться.