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
How it works
Architecture overview
Instruction lookups
Read-write memory
R1CS constraints
Bytecode
M-extension
Sparse constraint systems