1.
Intro
2.
Usage
2.1.
Quickstart
2.2.
Installing
2.3.
Guests and Hosts
2.3.1.
Guests
2.3.2.
Hosts
2.4.
Allocators
2.5.
Standard Library
2.6.
WASM Support
2.7.
Troubleshooting
3.
Contributors
3.1.
How it works
3.1.1.
Architecture overview
3.1.1.1.
Instruction lookups
3.1.1.2.
Read-write memory
3.1.1.3.
Bytecode
3.1.1.4.
R1CS constraints
3.1.2.
M extension
3.1.3.
Sparse constraint systems
3.2.
Background
3.2.1.
Sumcheck
3.2.2.
Multilinear Extensions
3.2.3.
Eq Extension
3.2.4.
Batched Polynomial Openings
3.2.5.
Memory Checking
3.2.6.
GKR
3.2.7.
Binius
3.2.7.1.
Multiplicative Generator
3.2.8.
RISC-V
3.3.
Dev
3.3.1.
Install
3.3.2.
Tools
3.4.
Roadmap
3.4.1.
Improvements to Jolt since initial release
3.4.2.
Proof size details (no recursion/composition)
3.4.3.
Zero Knowledge
3.4.4.
On-chain verifier (no recursion/composition)
3.4.5.
Groth16 Recursion
3.4.6.
Precompiles
3.4.7.
Prover space control
3.4.7.1.
Folding
3.5.
People
Light (default)
Rust
Coal
Navy
Ayu
JoltBook
Core contributors
Michael Zhu
Sam Ragsdale
Arasu Arun
Noah Citron
Justin Thaler
Srinath Setty
Formal verification efforts
Carl Kwan
Quang Dao