Только одна таблица поиска.

Jolt — это zkVM (виртуальная машина с нулевым знанием) для RISC-V, созданная как самая простая, быстрая и расширяемая универсальная машина своего рода. В настоящее время этот репозиторий содержит реализацию Jolt для 64-битного базового целочисленного набора инструкций RISC-V + стандартного расширения M для умножения и деления целых чисел + стандартного расширения для атомарных операций + стандартного расширения C для сжатых инструкций (RV64IMAC). Contributors приветствуются!

Ресурсы

Docs

Книга Джолт

• 🚧 в настоящее время проходит обновления 🚧

Газеты

Jolt: SNARK для виртуальных машин через поиск \ Арасу Арун, Сринат Сетти, Джастин Талер

Twist and Shout: Более быстрая проверка аргументов в памяти с помощью one-hot адресации и инкрементов \ Сринат Сетти, Джастин Талер

Разблокировка сингулярности поиска с помощью Lasso \ Сринат Сетти, Джастин Талер, Риад Вахби

Блог-посты

Первоначальный запуск:

• Выпуск Jolt
• Часто задаваемые вопросы о первоначальной реализации Jolt

Обновления:

• Блог-видео от 12 ноября 2024 года
• Блог 18 августа 2025 года (обновление Twist and Shout)
• Блог от 15 октября 2025 года (64-битная проверка для Jolt)

Предыстория

• Доказательства, аргументы и нулевое знание

Быстрый старт

[! ПРИМЕЧАНИЕ]

Jolt

Just One Lookup Table.

Jolt is a zkVM (zero-knowledge virtual machine) for RISC-V, built to be the simplest, fastest, and most extensible general-purpose of its kind. This repository currently contains an implementation of Jolt for the RISC-V 64-bit Base Integer Instruction Set + M Standard Extension for Integer Multiplication and Division + A Standard Extension for Atomic Operations + C Standard Extension for Compressed Instructions (RV64IMAC). Contributors are welcome!

Resources

Docs

The Jolt Book

• 🚧 currently undergoing updates 🚧

Papers

Jolt: SNARKs for Virtual Machines via Lookups
Arasu Arun, Srinath Setty, Justin Thaler

Twist and Shout: Faster memory checking arguments via one-hot addressing and increments
Srinath Setty, Justin Thaler

Unlocking the lookup singularity with Lasso
Srinath Setty, Justin Thaler, Riad Wahby

Blog posts

Initial launch:

• Releasing Jolt
• FAQ on Jolt’s initial implementation

Updates:

• Nov 12, 2024 blog video
• Aug 18, 2025 (Twist and Shout upgrade) blog
• Oct 15, 2025 (64-bit Proving for Jolt) blog

Background

• Proofs, Arguments, and Zero-Knowledge

Quickstart

[!NOTE] Jolt is in alpha and is not suitable for production use at this time.

For developers looking to build using Jolt, check out the Quickstart guide.

For developers looking to contribute to Jolt, follow the instructions below.

Installation

You will need the Rust toolchain pinned in rust-toolchain.toml.

If you have rustup installed, you do not need to do anything as it will automatically install the correct toolchain and any additional targets on the first cargo invocation.

Clone this repo:

git clone [email protected]:a16z/jolt.git

To check if rustup has picked the right version of Rust run rustup show inside the cloned repository.

cd jolt; rustup show.

Install the Jolt CLI:

cargo install --path .

Build

This repository uses workspaces, and each workspace can be built individually, e.g.

cargo build -p jolt-prover

For faster incremental builds, use the build-fast profile:

cargo build --profile build-fast -p jolt-prover

Test

Unit and end-to-end tests for the prover can be run using the following command: