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.
Jolt
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.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.3.
Dev
3.3.1.
Install
3.3.2.
Tools
3.4.
Roadmap
3.4.1.
Optimizations
3.4.2.
Zero Knowledge
3.4.3.
Groth16 Recursion
3.4.4.
Precompiles
3.4.5.
Continuations
Light (default)
Rust
Coal
Navy
Ayu
JoltBook
How it works
Jolt
Instruction lookups
Read-write memory
R1CS constraints
Bytecode