zkVM (zero-knowledge virtual machine) — это виртуальная машина, архитектура и формат исполнения программ которой изначально спроектированы так, чтобы по результатам работы можно было эффективно строить криптографические доказательства корректности вычислений (validity proofs).
В отличие от zkEVM, которая фокусируется на совместимости с EVM и экосистемой Ethereum, zkVM — более общий класс: она может иметь собственный набор инструкций (ISA), формат памяти и окружение, не привязанные к EVM, но удобные для zero-knowledge-доказательств.
Зачем нужны zkVM
Классический блокчейн и EVM работают так:
- каждый валидатор повторно исполняет все транзакции;
- корректность обеспечивается консенсусом и повторением вычислений.
zkVM предлагают другой подход:
- программа исполняется один раз в контексте zkVM;
- результат работы упаковывается в validity proof;
- другие участники сети лишь проверяют доказательство, не повторяя всё вычисление.
Это открывает несколько сценариев:
- масштабирование (например, ZK-rollup или L2 над Ethereum);
- «zk-coprocessor» — вынесенные off-chain-вычисления с ончейн-проверкой;
- безопасные мосты и кросс-чейн-коммуникация;
- лёгкие (light) клиенты для проверки целых цепочек через короткие proof’ы.
Отличие zkVM от zkEVM и обычной EVM
Чтобы не путаться, полезно развести три уровня:
- EVM — виртуальная машина Ethereum:
- стековая модель;
- 256-битные слова;
- опкоды и gas-модель, заданные протоколом Ethereum.
- zkEVM — попытка сделать ZK-доказуемую версию EVM, максимально совместимую с существующими смарт-контрактами и тулчейном.
Цель: запустить обычные EVM-dApp в ZK-rollup’ах с минимальными изменениями.
- zkVM — виртуальная машина, спроектированная «с нуля» под zero-knowledge:
- может иметь RISC-подобный набор инструкций;
- удобные для ZK форматы памяти и регистров;
- иногда ориентирована на исполнение произвольных программ (C, Rust и т.п.), а не только смарт-контрактов.
Главное:
- zkEVM = “ZK-обёртка вокруг EVM” (комфорт для Ethereum-разработчиков);
- zkVM = “ZK-ориентированная VM общего назначения” (комфорт для построения доказательств и произвольных вычислений).
При желании EVM можно запускать внутри zkVM (как «гостевую» машину), но это уже слой поверх базовой zkVM.
Базовая архитектура zkVM
Конкретные реализации различаются, но большинство zkVM имеют общие элементы:
- Набор инструкций (ISA)
Часто используется упрощённая RISC-модель:
- фиксированная длина инструкций;
- ограниченный набор операций;
- минимум «особых случаев».
Это упрощает zk-схемы: каждая инструкция легко описывается системой ограничений.
- Модель памяти и регистров
zkVM обычно оперирует:
- небольшим числом регистров;
- простой моделью памяти (например, мерклифицированной или со специальными таблицами доступа),
чтобы легко доказывать корректность чтения/записи.
- Система трассировки (execution trace)
При исполнении программы zkVM формирует «трассу» — последовательность шагов, которая затем кодируется в полиномиальные/табличные представления для построения proof’а.
- Prover и verifier
Как и в zkEVM-системах, есть:
- prover — тяжёлый компонент, который строит доказательства;
- verifier — лёгкая часть (иногда смарт-контракт), проверяющая proof по итогам исполнения.
Где используется zkVM
zkVM можно встретить в разных архитектурных ролях.
ZK-rollup и L2-сети
Часть ZK-rollup’ов строится именно вокруг zkVM:
- транзакции «компилируются» в формат программ для zkVM;
- zkVM исполняет их и строит доказательство;
- на L1 (часто Ethereum) попадает только proof и компактные данные.
Это может быть:
- rollup общего назначения (dApp пишутся под эту VM);
- специализированный rollup (например, только обмены, только данные, только вычисления).
В отличие от zkEVM, здесь менее важна бинарная совместимость с EVM, но больше возможностей для оптимизации производительности и новых языков.
zk-coprocessor и off-chain-вычисления
В контексте Ethereum DeFi и Web3 в целом zkVM часто используется как «ZK-копроцессор»:
- тяжёлое вычисление (агрегация данных, машинное обучение, поиск по индексам и т.п.) делается off-chain внутри zkVM;
- для смарт-контракта на Ethereum или L2 готовится короткий proof, что «результат X действительно получился из входных данных Y по заданной программе»;
- контракт проверяет proof и использует результат, не пересчитывая всё внутри EVM.
Такой паттерн позволяет:
- значительно разгрузить L1/L2;
- проверять сложные вычисления внутри DeFi, oracle-схем и других протоколов;
- не доверять централизованным провайдерам вычислений.
Light-клиенты и доказуемые цепочки
Ещё один сценарий — zk-light-клиенты:
- вместо хранения всей цепочки блоков (или заголовков) устройство может:
- проверять короткий proof того, что «цепочка корректна»;
- или что «определённый блок/событие принадлежит корректной цепочке»;
- zkVM используется как инструмент, чтобы формализовать и доказать:
- правила консенсуса;
- корректность переходов состояния;
- выполнение условий безопасности.
Это важно для:
- мобильных/встроенных устройств;
- межсетевых мостов;
- децентрализованных RPC/дата-провайдеров.
Плюсы и минусы zkVM-подхода
Преимущества:
- Гибкость.
Можно выбирать язык высокого уровня (C/Rust и др.), компилировать в формат zkVM и доказывать произвольные вычисления.
- ZK-эффективность.
ISA и модель памяти проектируются под минимизацию числа zk-ограничений и размера proof’ов.
- Межсетевость.
Одну и ту же zkVM-обвязку можно использовать над разными L1/L2 (Ethereum, другие EVM-сети, Bitcoin-ориентированные решения и др.).
Ограничения:
- Меньше готовой совместимости с EVM.
Если цель — просто перенести существующие смарт-контракты Ethereum, zkEVM может быть удобнее.
- Сложность стека.
Добавляется новый уровень:
- язык → компилятор → zkVM → proving-система → смарт-контракты-проверки;
- на каждом уровне нужны аудит и поддержка.
- Крутая кривая обучения.
Командам нужно разбираться и в криптографии, и в VM-дизайне, и в безопасном ончейн-интегрировании proof’ов.
zkVM в экосистеме Ethereum и L2
В экосистеме Ethereum zkVM уже используется и как:
- ядро некоторых ZK/L2-сетей общего назначения;
- инфраструктура для zk-coprocessor’ов в DeFi и широком Ethereum DeFi-стеке;
- компонент ZK-light-клиентов и мостов.
Часто можно встретить комбинированную архитектуру:
- на L2 работает zkEVM или EVM-совместимый rollup;
- рядом существует zkVM-подсистема, которая:
- принимает сложные входные данные;
- выполняет вычисления;
- отдаёт в EVM только proof и результат.
Такой гибридный подход позволяет:
- не ломать привычный EVM-стек;
- но при этом использовать преимущества zkVM для тяжёлых задач.
FAQ по zkVM
Чем zkVM отличается от zkEVM простыми словами? zkEVM — это «EVM, обёрнутая в ZK», чтобы существующие смарт-контракты Ethereum работали в ZK-rollup’ах. zkVM — это виртуальная машина, специально созданная для ZK-доказательств, не обязательно похожая на EVM. Она подходит для любых вычислений, не только для смарт-контрактов.
Можно ли поверх zkVM запускать EVM-код? Да, теоретически можно реализовать EVM как «гостевую VM» поверх zkVM: тогда zkVM доказывает корректность работы EVM-интерпретатора. Но это добавляет накладные расходы и сложность схем — проще использовать zkEVM, когда нужен именно Ethereum-совместимый rollup.
Где zkVM полезнее всего? Там, где нужны:
- тяжёлые off-chain-вычисления с ончейн-проверкой;
- кросс-чейн-мосты и проверка чужих цепочек;
- ZK-light-клиенты;
- специальные L2/rollup’ы, не завязанные жёстко на EVM.
Нужен ли обычному DeFi-пользователю deep dive в zkVM? Не обязательно. Но понимание того, что «доказуемые вычисления» часто реализованы именно через zkVM, помогает лучше оценивать риски и архитектуру протоколов, которые обещают «ZK-подтверждение» главных операций.