BitVM: что это за парадигма проверки вычислений на биткоине, как работает BitVM2 и зачем она мостам и роллапам
3 недели назад Комментарии к записи BitVM: что это за парадигма проверки вычислений на биткоине, как работает BitVM2 и зачем она мостам и роллапам отключены
BitVM — это парадигма проверки произвольных вычислений на биткоине без изменения консенсуса сети: вычисление выполняется вне цепи, а любой несогласный может оспорить результат игрой «вызов-ответ» с fraud-доказательствами внутри Taproot-скриптов. BitVM (2023) и его развитие BitVM2 (2024) легли в основу trust-minimized мостов и zk-роллапов на биткоине.
Раздел глоссария: Блокчейн и сети · все термины от А до Я
Коротко о главном
- BitVM представил в октябре 2023 года Робин Линус (ZeroSync): оптимистичная модель «считаем честным, пока не доказан обман» — на существующем биткоине, без софтфорка.
- Фундамент — Taproot (2021): логика спора прячется в деревьях скриптов, а в блокчейн попадают только короткие ветки-доказательства.
- BitVM2 (2024) сделал оспаривание разрешительным: челленджером может стать любой, операторы вносят облигации, а конфликтующие Lamport-подписи сами служат fraud-доказательством.
- Ончейн-след BitVM2 сокращён на порядки: споры помещаются в обычные транзакции биткоина — whitepaper «BitVM2: Bridging Bitcoin to Second Layers» цитируется десятками работ.
- Главные применения — двусторонние BTC-мосты без федераций и zk-роллапы с оптимистичной безопасностью выхода: Citrea, Bitlayer, ZeroSync и проекты BitVM Alliance.
- У BitVM нет и не планируется токена: это открытое исследование и открытый код — любые «BitVM-токены» на биржах являются подделками.
Проблема: биткоин не умеет проверять вычисления
Script биткоина намеренно ограничен: ни тьюринг-полноты, ни ковенантов (BIP-119 CTV годами не принят), ни сложных условий расходов. Поэтому «нативный роллап» в эфиреумовском смысле на биткоине не построить, а классические мосты приходится доверять федерациям multisig — Liquid, PowPeg, подписанты sBTC. BitVM предлагает третий путь: не исполнять вычисления на биткоине, а проверять их результаты — и наказывать обман.
Как работает BitVM: оптимизм и игры в Taproot
- Оператор выполняет вычисление вне цепи (например, валидирует транзакции сайдчейна) и публикует обязательство результата вместе с облигацией в BTC.
- Вычисление представляется булевой схемой, а логика спора компилируется в огромное дерево Taproot-скриптов — в блокчейне виден только хеш-коммитмент.
- Открывается период оспаривания: любой наблюдатель, считающий результат неверным, начинает челлендж.
- Спор идёт интерактивной игрой «вызов-ответ»: бинарный поиск находит конкретный ошибочный шаг, и каждая сторона раскрывает обязательства по шагам.
- Финальная проверка одного шага исполняется скриптом биткоина: обманщик теряет облигацию в пользу честной стороны.
- Если споров нет — результат считается принятым: как в оптимистичных роллапах Ethereum, только средствами Taproot.
BitVM перенёс логику оптимистичных роллапов на биткоин: вместо «исполнить на цепи» — «доказать обман на цепи», и всё это без единого изменения консенсуса.
BitVM2: челленджер без разрешения
Первый BitVM требовал заранее назначенного комитета операторов и челленджеров (N-из-M, permissioned setup) — доверие уменьшалось, но не исчезало. BitVM2 убрал его: оспаривать может кто угодно, оператор лишь вносит облигацию и подписывает обязательства Lamport-ключами. Попытка провести два конфликтующих состояния сама становится доказательством: предъявив конфликтующие подписи, челленджер выигрывает спор мгновенно. Побочный эффект — резкое сокращение ончейн-данных: споры умещаются в стандартные транзакции.
Что BitVM даёт экосистеме биткоина
- Двусторонние мосты без федераций: ввод и вывод BTC в сайдчейны/роллапы с экономическим наказанием обмана вместо доверия подписантам.
- Zk-роллапы биткоина: Citrea строит выход и оспаривание на BitVM2-логике — «настоящий роллап» становится возможным без софтфорка.
- Валидиумы и сопроцессоры: ZeroSync и подобные проекты проверяют тяжёлые вычисления (включая ZK-доказательства) через оптимистичные игры.
- Стандарт L2 без политики: путь масштабирования, не требующий согласия всех участников сети на изменения консенсуса.
Ограничения и статус в 2026 году
- Ранняя стадия: промышленные внедрения единичны (Citrea, Bitlayer), код библиотек — версии 0.x.
- Liveness-допущение: модель оптимистична — нужны активные наблюдатели; если все спят, некорректный вывод пройдёт.
- Капитал операторов: облигации должны быть крупнее выгоды от обмана — это дорогой ресурс.
- Данные вне цепи: доступность данных обеспечивают внешние комитеты/DA-слои — биткоин её не хранит.
- Сложность компиляции: превращение произвольной программы в Taproot-дерево — тяжёлый инженерный стек.
| Преимущества | Ограничения и риски |
|---|---|
| Не требует софтфорка: работает на сегодняшнем биткоине через Taproot | Технология молода: продакшн-внедрений мало, библиотеки версии 0.x |
| Trust-minimized: обман экономически наказуем, федерации не нужны | Оптимистичная модель требует активных наблюдателей-челленджеров |
| BitVM2: оспаривание без разрешения, компактные ончейн-споры | Облигации операторов — дорогой связанный капитал |
| Открывает путь роллапам и мостам биткоина нового поколения | Доступность данных остаётся вне биткоина (комитеты, DA-слои) |
| Открытый код и исследования без токена — нет рентных стимулов | Долгие окна оспаривания замедляют вывод средств |
Частые вопросы
Итог
BitVM — парадигма проверки вычислений на биткоине без софтфорка: оптимистичные fraud-доказательства внутри Taproot-скриптов. BitVM (2023) требовал комитета, BitVM2 (2024) сделал оспаривание разрешительным и компактным — основу для trust-minimized мостов и zk-роллапов вроде Citrea и Bitlayer. Токена у BitVM нет: это открытый стандарт, а продакшн-внедрения относятся к 2025–2026 годам.
Связанные термины
Теги по теме
Источники и полезные ссылки
Автор новостного раздела сайта cryptonews.website. Работа над написанием обзоров для сайта (обзоры криптовалютных бирж и альткоинов).