# Jolt

## Docs

- [Jolt zkVM](https://mintlify.wiki/a16z/jolt/introduction.md): A high-performance zero-knowledge virtual machine for RISC-V programs
- [Installation](https://mintlify.wiki/a16z/jolt/installation.md): Install Rust and the Jolt CLI to start building zkVM applications
- [Quickstart](https://mintlify.wiki/a16z/jolt/quickstart.md): Build your first zero-knowledge proof with Jolt in under 5 minutes
- [Guest and Host Architecture](https://mintlify.wiki/a16z/jolt/concepts/guests-and-hosts.md): Understanding the separation between guest programs and host environments in Jolt zkVM
- [The](https://mintlify.wiki/a16z/jolt/concepts/provable-macro.md): Learn how to use the provable macro to generate proving and verification functions
- [Runtime Advice](https://mintlify.wiki/a16z/jolt/concepts/runtime-advice.md): Provide non-deterministic hints to guest programs using the advice system
- [Preprocessing](https://mintlify.wiki/a16z/jolt/concepts/preprocessing.md): Understanding Jolt's preprocessing phases and their role in proof generation
- [CLI Overview](https://mintlify.wiki/a16z/jolt/cli/overview.md): Overview of the Jolt CLI and common usage patterns
- [jolt new](https://mintlify.wiki/a16z/jolt/cli/new.md): Create a new Jolt zkVM project
- [jolt build](https://mintlify.wiki/a16z/jolt/cli/build.md): Build guest programs for the Jolt zkVM
- [jolt run](https://mintlify.wiki/a16z/jolt/cli/run.md): Run ELF binaries on the Jolt emulator
- [jolt generate](https://mintlify.wiki/a16z/jolt/cli/generate.md): Generate target specifications and linker scripts for custom memory layouts
- [Profiling](https://mintlify.wiki/a16z/jolt/development/profiling.md): Performance profiling tools for Jolt zkVM
- [Debugging](https://mintlify.wiki/a16z/jolt/development/debugging.md): Debugging tools and techniques for Jolt zkVM guest programs
- [Troubleshooting](https://mintlify.wiki/a16z/jolt/development/troubleshooting.md): Common issues and solutions when working with Jolt zkVM
- [How Jolt Works](https://mintlify.wiki/a16z/jolt/architecture/how-it-works.md): High-level explanation of how Jolt zkVM proves RISC-V program execution
- [Architecture Overview](https://mintlify.wiki/a16z/jolt/architecture/overview.md): Detailed architecture and 7-stage prover pipeline for Jolt zkVM
- [RISC-V Emulation](https://mintlify.wiki/a16z/jolt/architecture/emulation.md): Learn how Jolt's tracer emulates RISC-V programs to generate execution traces
- [R1CS Constraint System](https://mintlify.wiki/a16z/jolt/architecture/r1cs-constraints.md): Understand Jolt's uniform R1CS constraints and equality-conditional structure
- [Spartan IOP](https://mintlify.wiki/a16z/jolt/architecture/spartan.md): Learn how Jolt uses Spartan to prove R1CS constraint satisfaction
- [Register Read-Write Checking](https://mintlify.wiki/a16z/jolt/architecture/registers.md): Learn how Jolt verifies register consistency across the execution trace
- [RAM Read-Write Checking](https://mintlify.wiki/a16z/jolt/architecture/ram.md): Learn how Jolt verifies memory consistency across the execution trace
- [Instruction Lookup System](https://mintlify.wiki/a16z/jolt/architecture/instruction-execution.md): Learn how Jolt verifies instruction execution via lookup tables
- [Bytecode Preprocessing](https://mintlify.wiki/a16z/jolt/architecture/bytecode.md): Learn how Jolt preprocesses program bytecode for efficient constraint checking
- [Batched Opening Proofs](https://mintlify.wiki/a16z/jolt/architecture/opening-proof.md): Learn how Jolt efficiently verifies polynomial evaluations via batched commitments
- [Twist and Shout](https://mintlify.wiki/a16z/jolt/architecture/twist-and-shout.md): Memory checking argument using one-hot addressing and increments
- [Dory](https://mintlify.wiki/a16z/jolt/architecture/dory.md): Polynomial commitment scheme for multilinear polynomials
- [BlindFold](https://mintlify.wiki/a16z/jolt/architecture/blindfold.md): Zero-knowledge protocol for sumcheck proofs without SNARK composition
- [Performance Optimizations Overview](https://mintlify.wiki/a16z/jolt/architecture/optimizations/overview.md): Key optimizations in Jolt zkVM that achieve industry-leading prover performance
- [Batched Sumcheck Protocol](https://mintlify.wiki/a16z/jolt/architecture/optimizations/batched-sumcheck.md): Reducing verifier cost and proof size through sumcheck batching
- [Batched Polynomial Openings](https://mintlify.wiki/a16z/jolt/architecture/optimizations/batched-openings.md): Amortizing opening proof costs across multiple polynomials with Dory commitment scheme
- [Cryptographic Inlines](https://mintlify.wiki/a16z/jolt/architecture/optimizations/inlines.md): Replace expensive RISC-V execution with constraint-native cryptographic primitives
- [Small Value Optimizations (CompactPolynomial)](https://mintlify.wiki/a16z/jolt/architecture/optimizations/small-value.md): Memory-efficient polynomial representation for small scalar coefficients
- [EQ Polynomial Optimizations](https://mintlify.wiki/a16z/jolt/architecture/optimizations/eq-optimizations.md): Specialized algorithms for fast equality polynomial evaluation in sumcheck protocols
- [Torus Compression](https://mintlify.wiki/a16z/jolt/architecture/optimizations/compression.md): Proof size reduction through torus-based compression of Dory commitments
- [Multilinear Extensions](https://mintlify.wiki/a16z/jolt/architecture/theory/multilinear-extensions.md): Understanding multilinear polynomial extensions and their role in Jolt
- [Sumcheck Protocol](https://mintlify.wiki/a16z/jolt/architecture/theory/sumcheck.md): The interactive sumcheck protocol for efficiently verifying polynomial sums
- [Polynomial Commitment Schemes](https://mintlify.wiki/a16z/jolt/architecture/theory/polynomial-commitments.md): Understanding polynomial commitments and their role in Jolt's proving system
- [Memory Checking and Lookup Arguments](https://mintlify.wiki/a16z/jolt/architecture/theory/memory-checking.md): Techniques for efficiently verifying memory consistency and table lookups in zero-knowledge proofs
- [RISC-V ISA (RV64IMAC)](https://mintlify.wiki/a16z/jolt/architecture/theory/risc-v.md): Overview of the RISC-V instruction set architecture supported by Jolt
- [#[jolt::provable]](https://mintlify.wiki/a16z/jolt/api/macros/provable.md): Macro for creating provable functions in Jolt zkVM
- [#[jolt::advice]](https://mintlify.wiki/a16z/jolt/api/macros/advice.md): Macro for defining runtime advice functions
- [check_advice! Macros](https://mintlify.wiki/a16z/jolt/api/macros/check-advice.md): Macros for verifying advice correctness in Jolt zkVM
- [TrustedAdvice<T>](https://mintlify.wiki/a16z/jolt/api/types/trusted-advice.md): A wrapper type to mark guest program inputs as trusted advice in Jolt zkVM
- [UntrustedAdvice<T>](https://mintlify.wiki/a16z/jolt/api/types/untrusted-advice.md): A wrapper type to mark guest program inputs as untrusted advice in Jolt zkVM
- [AdviceReader](https://mintlify.wiki/a16z/jolt/api/types/advice-reader.md): Reader for receiving advice data from the host during the proving phase in Jolt zkVM
- [AdviceWriter](https://mintlify.wiki/a16z/jolt/api/types/advice-writer.md): Writer for sending advice data to the host during the compute_advice phase in Jolt zkVM
- [prove](https://mintlify.wiki/a16z/jolt/api/functions/prove.md): Generate a zero-knowledge proof for a provable function
- [verify (build_verifier)](https://mintlify.wiki/a16z/jolt/api/functions/verify.md): Verify a zero-knowledge proof for a provable function
- [preprocess](https://mintlify.wiki/a16z/jolt/api/functions/preprocess.md): Generate preprocessing data for proving and verifying
- [analyze](https://mintlify.wiki/a16z/jolt/api/functions/analyze.md): Analyze execution trace and program statistics
- [Cryptographic Inlines Overview](https://mintlify.wiki/a16z/jolt/api/inlines/overview.md): High-performance cryptographic primitives for Jolt zkVM
- [SHA-256 Inline](https://mintlify.wiki/a16z/jolt/api/inlines/sha2.md): High-performance SHA-256 hash function for Jolt zkVM
- [Keccak-256 Inline](https://mintlify.wiki/a16z/jolt/api/inlines/keccak256.md): High-performance Keccak-256 (SHA-3) hash function for Jolt zkVM
- [BLAKE2 Inline](https://mintlify.wiki/a16z/jolt/api/inlines/blake2.md): High-performance BLAKE2b hash function for Jolt zkVM
- [BLAKE3 Inline](https://mintlify.wiki/a16z/jolt/api/inlines/blake3.md): High-performance BLAKE3 hash function for Jolt zkVM
- [BigInt Inline](https://mintlify.wiki/a16z/jolt/api/inlines/bigint.md): High-performance 256-bit multiplication for Jolt zkVM
- [secp256k1 Inline](https://mintlify.wiki/a16z/jolt/api/inlines/secp256k1.md): High-performance secp256k1 elliptic curve operations and ECDSA verification for Jolt zkVM
- [Grumpkin Inline](https://mintlify.wiki/a16z/jolt/api/inlines/grumpkin.md): High-performance Grumpkin elliptic curve operations for Jolt zkVM