a16z crypto, криптовалютное подразделение Andreessen Horowitz, продолжает развивать Jolt — свою открытую zkVM (zero-knowledge virtual machine) для верифицируемых вычислений. Проект собрал уже более 1 000 звезд на GitHub и 320 форков, а его кодовая база насчитывает 3 350 коммитов. Это одна из самых быстрых zkVM на рынке — и единственная, построенная вокруг идеи lookup-аргументов.
Jolt расшифровывается как Just One Lookup Table. В отличие от конкурентов, которые строят схему доказательства через арифметизацию произвольных вычислений (RISC Zero, SP1) или используют доменно-специфичные языки (Cairo от StarkWare), Jolt опирается на технику Lasso — lookup-аргумент, позволяющий «смотреть» значения из таблицы вместо того, чтобы каждый раз пересчитывать сложные схемы.
Почему это важно для Web3
zkVM — это виртуальная машина, которая не просто выполняет код, но и производит криптографическое доказательство (proof) корректности этого выполнения. Для блокчейнов это означает радикальное снижение нагрузки: вместо того чтобы каждый узел сети перезапускал одну и ту же транзакцию, один узел создаёт доказательство, а остальные верифицируют его за миллисекунды.
Сфера применения zkVM выходит далеко за пределы L2-роллапов. Возможные сценарии включают кроссчейн-мосты, ZK-сопроцессоры для смарт-контрактов, верификацию облачных вычислений и даже доказательство корректности компиляции бинарных файлов (mitigation supply-chain атак).
По данным Ethereum Foundation, внедрение real-time proving (RTP) на основе zkVM — один из приоритетов дорожной карты. Если zkVM смогут доказывать блоки Ethereum быстрее, чем за 12 секунд, это откроет путь к полной верификации цепочки без повторного выполнения — «конец масштабирования, каким мы его знаем».
Архитектура Jolt
Ключевое новшество Jolt — отказ от арифметических схем в пользу lookup-аргументов. В традиционных SNARK (Groth16, Plonk) программа преобразуется в систему алгебраических уравнений, каждое из которых доказывается через полиномиальные обязательства. Jolt и Lasso заменяют этот процесс таблицей поиска: доказательство просто указывает, что определённое значение содержится в предопределённой таблице.
Это даёт два преимущества. Первое — скорость: lookup доказывается быстрее, чем арифметическое уравнение. Второе — простота расширения: добавить новую инструкцию RISC-V означает просто добавить строку в таблицу, а не проектировать новую арифметическую схему. Jolt поддерживает RV64IMAC — 64-битный RISC-V с расширениями для умножения, атомарных операций и сжатых инструкций.
Исходный код проекта опубликован под двойной лицензией Apache-2.0/MIT. Официальный сайт проекта — jolt.a16zcrypto.com, где доступна документация (The Jolt Book), быстрый старт и бенчмарки.
Обновление: нативная приватность с нулевым разглашением
В марте 2026 года a16z выпустила значительное обновление Jolt — нативную поддержку zero-knowledge (доказательства с нулевым разглашением) через схему NovaBlindFold. До этого Jolt, как и большинство zkVM, использовал термин «zero-knowledge» для обозначения краткости (succinctness) доказательств, а не приватности данных проавера.
Проблема заключалась в том, что стандартная конструкция SNARK доказывает корректность вычисления, но раскрывает все промежуточные состояния. Чтобы добавить приватность, разработчикам приходилось «заворачивать» доказательство в ещё одно — рекурсивно доказывать верификацию первого доказательства внутри другой схемы, что удваивало вычислительные затраты.
NovaBlindFold решает это иначе: схема «ослепляет» sum-check-сообщения проавера на уровне самого доказательства, добавляя всего ~3 КБ к размеру proof и практически не увеличивая время генерации. Это делает Jolt пригодным для конфиденциальных приложений — onchain-кредитования, KYC-верификации без раскрытия данных, голосований и аукционов.
Обновление также сопровождалось критикой индустриального мисьюза термина «ZK»: как отметили авторы блога a16z, «большинство zkVM на самом деле не zero-knowledge — если только не применить дорогую процедуру "заворачивания"». Это терминологическое замечание стало предметом дискуссий в профессиональном сообществе.
Конкурентная среда
Jolt работает не в вакууме. Рынок zkVM быстро консолидируется вокруг нескольких архитектур:
- RISC Zero — первая коммерчески доступная zkVM, использует STARK proving system, поддерживает GPU-ускорение. Ориентирована на composable и succinct proofs.
- SP1 от Succinct Labs — zkVM на основе Plonky3, делает упор на скорость доказательства. Основной конкурент Jolt по бенчмаркам.
- Nexus — использует Hypernova proof system, фокус на модульность и поддержку нескольких бэкендов.
- Cairo от StarkWare — не zkVM в строгом смысле, а доменно-специфичный язык для STARK-доказательств. Доминирует в экосистеме StarkNet.
- zkWasm — zkVM для WebAssembly, что открывает доступ к языкам, компилируемым в WASM.
По данным независимого бенчмаркинга от Fenbushi Capital (июнь 2025), Jolt показывает лучшее время проавера на задачах с интенсивным использованием памяти, но уступает SP1 на вычислительных задачах с простой логикой. Разрыв сокращается с каждым обновлением: версия Twist and Shout (август 2025) дала ускорение в 6x, а 64-битное доказательство (октябрь 2025) расширило применимость.
Что дальше
Jolt остаётся в альфа-версии и не рекомендован для production-использования. Однако темп развития говорит о том, что a16z рассматривает zkVM не как исследовательский проект, а как стратегический инфраструктурный слой. Факт, что венчурный фонд — а не команда разработчиков — поддерживает open-source zkVM с 3 350 коммитами и собственным CI-бенчмаркингом, сам по себе симптом зрелости сектора.
Для институциональных инвесторов и Web3-разработчиков сигнал очевиден: инфраструктура верифицируемых вычислений становится стандартом, а не экспериментальной технологией. Выбор между Jolt, SP1 и RISC Zero будет определяться не столько техническими характеристиками, сколько экосистемой и developer experience — и именно этот выбор определит, какая архитектура станет «стандартным слоем доказательства» для следующего цикла блокчейнов.
