StarkWare верифицирует первое доказательство ZK-STARK в сети Bitcoin Signet — доказательства с нулевым разглашением приходят нативно в Bitcoin
Биткоин всегда был самым безопасным и децентрализованным блокчейном в мире, но при этом самым ограниченным в плане программируемости. Это противоречие постепенно исчезает. StarkWare, команда разработчиков сети Starknet (Layer 2), успешно верифицировала доказательство ZK-STARK в тестовой сети Bitcoin Signet, что стало важной вехой на пути внедрения криптографии с нулевым разглашением нативно в крупнейший в мире блокчейн.
Это достижение в сочетании с исследованиями ColliderVM, запуском основной сети Citrea и общим развитием инфраструктуры Bitcoin Layer 2 сигнализирует о том, что 2026 год может стать годом трансформации Биткоина из сети только для расчетов в программируемую финансовую платформу — без ущерба для его основных принципов.
Что именно доказали StarkWare в сети Signet
В ходе знаковой демонстрации StarkWare развернули верификатор STARK в тестовой сети Bitcoin Signet — контролируемой среде тестирования, которая имитирует поведение основной сети Биткоина. Верификатор, созданный в партнерстве с венчурной фирмой L2 Iterative (L2IV), успешно подтвердил вычисление 32-го числа в последовательности квадратов Фибоначчи с использованием доказательства с нулевым разглашением.
Технические детали имеют значение. Верификация заняла примерно 790 000 виртуальных байтов (vBytes) в сети Signet. Если бы это было воспроизведено в основной сети Биткоина с включенным OP_CAT и ставкой комиссии 2 сат/vByte, стоимость составила бы примерно 950 долларов за верификацию. Это дорого по стандартам Ethereum L2, но является доказательством концепции, которая ранее считалась невозможной в ограниченной среде сценариев Биткоина.
Ключевым фактором является OP_CAT — код операции конкатенации (объединения), изначально входивший в язык сценариев Биткоина. Сатоши Накамото отключил его в 2010 году из-за опасений по поводу возможных атак типа «отказ в обслуживании» (DoS). Его реактивация, теперь официально оформленная как BIP-347, позволит скриптам объединять два элемента стека — на первый взгляд простая операция, которая открывает мощные возможности, включая проверку дерева Меркла, обеспечение соблюдения ковенантов и, что критически важно, верификацию доказательств STARK.
От Signet к ColliderVM: устранение зависимости от OP_CAT
Хотя демонстрация в Signet опиралась на OP_CAT, исследователи StarkWare поняли, что ожидание софтфорка Биткоина может занять годы — или вообще никогда не произойти, учитывая осторожный подход сообщества к изменениям консенсуса. В апреле 2025 года соучредитель StarkWare Эли Бен-Сассон и исследователи из Института Вейцмана опубликовали работу о ColliderVM — протоколе, который позволяет выполнять вычисления с сохранением состояния (stateful computation) в Биткоине без каких-либо изменений протокола.
ColliderVM работает через схему обязательств на основе коллизий хеш-функций. Доказывающий (prover) должен предоставить входные данные, которые при обработке хеш-функцией выдают результат с заранее определенными характеристиками. Этот механизм позволяет многоэтапным вычислениям охватывать несколько транзакций Биткоина при сохранении криптографической целостности — и все это в рамках существующих ограничений Script.
Прирост эффективности огромен. По словам Бен-Сассона, ColliderVM «как минимум в 10 000 раз эффективнее» своего предшественника, ColliderScript. Хотя исследователи признают, что это все еще стадия НИОКР (R&D) и технология не готова к эксплуатации, документ демонстрирует, что ончейн-верификация доказательств STARK в Биткоине «почти практически осуществима» уже сегодня.
Это важно, потому что отделяет дорожную карту программируемости Биткоина от политически сложного процесса активации софтфорка. Независимо от того, будет ли когда-либо реактивирован OP_CAT, ColliderVM открывает путь к ZK-верификации в сети Биткоин.
Гонка за создание ZK-инфраструктуры для Биткоина
StarkWare не одиноки. Конкурентная экосистема проектов стремится внедрить возможности нулевого разглашения в Биткоин, причем каждый проект использует свой архитектурный подход.
BitcoinOS и BitSNARK
BitcoinOS вошли в историю 24 июля 2024 года, верифицировав первое в истории доказательство с нулевым разглашением в основной сети Биткоина на блоке 853 626. Их протокол BitSNARK позволяет выполнять верификацию zk-SNARK в Биткоине без изменения основного протокола, используя систему запросов и ответов (challenge-response) между двумя сторонами. BitcoinOS открыли исходный код BitSNARK v0.1 в сентябре 2024 года, став первым проектом, выпустившим криптографическую ZK-технологию с открытым исходным кодом для основной сети Биткоина.
Citrea: первый в промышленной эксплуатации ZK-роллап на Биткоине
Citrea активировала свою основную сеть 27 января 2026 года, став первым промышленным ZK-роллапом на Биткоине. Используя технологию zkEVM от RISC Zero, Citrea объединяет тысячи транзакций вне сети, генерирует доказательства с нулевым разглашением и записывает их в базовый уровень Биткоина. Мост Clementine, построенный на парадигме BitVM, обеспечивает передачу активов между Биткоином и роллапом с минимизацией доверия.
Citrea запустилась с ctUSD — обеспеченным фиатом стейблкоином, построенным на инфраструктуре M0 и MoonPay, ориентируясь на две основные категории продуктов: кредитование под залог BTC и структурированные продукты. Это представляет собой конкретное, применимое на практике использование ZK-технологии в Биткоине, а не просто доказательство концепции.
Botanix Labs и Spider Chain
Botanix стала первопроходцем в дизайне «spider chain» — инновационной архитектуре L2, обеспечивающей двусторонне привязанные сайдчейны с биткоином. Запущенная в начале 2025 года, Botanix предлагает совместимость с EVM, сохраняя при этом тесную связь с моделью безопасности биткоина, объединяя надежность биткоина с экосистемой смарт-контрактов Ethereum.
Амбиции Starknet по двойному сеттлменту
Возможно, самое амбициозное видение исходит от самого Starknet. Проект стремится стать первым решением Layer 2, которое одновременно проводит расчеты как в сети Bitcoin, так и в Ethereum — единая сеть, объединяющая две крупнейшие экосистемы блокчейнов.
Дорожная карта конкретна. Благодаря партнерству с Alpen Labs, Starknet планирует запустить мост с минимизированным доверием между биткоином и своей сетью к концу 2026 года. Платформа представила strkBTC для экранированных транзакций биткоина на Layer 2 в Ethereum и наметила планы по масштабированию биткоина с 7 транзакций в секунду до тысяч, при этом снизив комиссии с 2 долларов до 0,002 доллара и сократив время подтверждения блока с 10 минут до 2 секунд.
К концу 2026 года Starknet планирует масштабировать три столпа Web3: биткоин как «твердые деньги» через BTCFi и мосты с минимизированным доверием, конфиденциальность Zcash через Ztarknet и исполнение смарт-контрактов общего назначения через существующий Ethereum L2. В случае реализации это позиционирует Starknet как связующее звено между рыночной капитализацией биткоина в 1,4 триллиона долларов и экосистемой DeFi в Ethereum.
Почему ZK в биткоине меняет всё
Последствия нативной проверки ZK в сети Bitcoin выходят далеко за рамки масштабирования. Появляются три преобразующие возможности.
Бездоверительные Layer 2 решения без доказательств мошенничества. Текущие подходы L2 к биткоину, такие как Lightning Network или системы на базе BitVM, полагаются на доказательства мошенничества (fraud proofs) с периодами оспаривания — это означает, что пользователи должны ждать дни или недели для окончательного расчета, и кто-то всегда должен следить за нечестным поведением. ZK-доказательства обеспечивают мгновенную криптографическую финальность: либо доказательство валидно, либо нет. Никаких « сторожевых башен» (watchtowers), никаких периодов оспаривания, никаких предположений о доверии, кроме математики.
Конфиденциальность без изменения протокола. Доказательства с нулевым разглашением могут обеспечить приватные транзакции в биткоине без необходимости в новых кодах операций или изменениях консенсуса. Схемы Proof-of-Reserve позволяют кастодианам доказывать наличие активов биткоина выше определенного порога, не раскрывая адреса или фактические балансы. Это особенно актуально по мере ускорения институционального принятия, когда требования регуляторного соответствия должны сосуществовать с требованиями к конфиденциальности.
Квантовая устойчивость. По мере развития квантовых вычислений ZK-STARKs — которые полагаются на хэш-функции, а не на криптографию на эллиптических кривых — обеспечивают естественный квантово-устойчивый уровень проверки. Это позиционирует ZK-инфраструктуру биткоина как перспективно совместимую с требованиями постквантовой безопасности, что становится все более актуальной проблемой с каждым годом.
Вопрос OP_CAT
Главным нерешенным вопросом остается активация OP_CAT. Оформленная как BIP-347 в апреле 2024 года, ее реактивация радикально упростила бы ZK-проверку в сети Bitcoin и открыла бы путь для нового класса приложений биткоина, включая ковенанты (covenants), хранилища (vaults) и продвинутые схемы мультиподписи.
Но процесс софтфорка биткоина намеренно медленный и политизированный. Последний успешный софтфорк сообщества — Taproot — занял годы обсуждений перед активацией в ноябре 2021 года. Дебаты по OP_CAT переплелись с более широкими спорами о направлении развития биткоина, включая острые дискуссии об Ordinals, токенах BRC-20 и удалении лимита ретрансляции в 80 байт.
Гениальность таких проектов, как ColliderVM и BitSNARK заключается в том, что они не ждут разрешения. Работая в рамках существующих ограничений биткоина, они демонстрируют, что программируемость может быть достигнута за счет инженерной изобретательности, а не политического консенсуса. Если OP_CAT в конечном итоге активируется, эти системы станут значительно эффективнее. Е сли нет — они все равно будут работать.
Что дальше
Следующие 12 месяцев определят, превратится ли «ZK-момент» биткоина в значимое принятие. Ключевые этапы, за которыми стоит следить:
- Созревание ColliderVM от исследовательской работы до рабочего прототипа
- Реализация двойного сеттлмента Starknet для Bitcoin и Ethereum
- Рост экосистемы Citrea как первого рабочего ZK-роллапа на биткоине
- Траектория активации OP_CAT и более широкие дебаты о софтфорке
Ставки огромны. Биткоин удерживает примерно 55% общей капитализации крипторынка — более 1,4 триллиона долларов стоимости, которая в значительной степени была отрезана от возможностей DeFi, смарт-контрактов и программируемых финансов, которые другие сети считают само собой разумеющимися. Технология ZK — это ключ, который может разблокировать эту стоимость, не ставя под угрозу основные ценности биткоина: безопасность, децентрализацию и простоту.
Для создателей, разработчиков и поставщиков инфраструктуры посыл ясен: биткоин больше не является просто расчетным уровнем. Он становится программируемой платформой, и доказательства с нулевым разглашением — это технология, которая делает это возможным.
BlockEden.xyz предоставляет API-инфраструктуру блокчейна корпоративного уровня, поддерживающую несколько сетей, включая экосистемы Bitcoin и Ethereum. По мере появления биткоин-L2 на базе ZK, надежная инфраструктура нод становится критически важной для разработчиков, строящих на этом новом рубеже. Изучите наш маркетплейс API, чтобы создавать на фундаменте, рассчитанном на долголетие.