# Summary

- [Intro](./intro.md)
- [Usage](./usage/usage.md)
    - [Quickstart](./usage/quickstart.md)
    - [Guests and hosts](./usage/guests_hosts/guests_hosts.md)
        - [Guests](./usage/guests_hosts/guests.md)
        - [Hosts](./usage/guests_hosts/hosts.md)
    - [Runtime Advice](./usage/runtime_advice.md)
    - [Profiling](./usage/profiling/profiling.md)
        - [zkVM profiling](./usage/profiling/zkvm_profiling.md)
        - [Guest profiling](./usage/profiling/guest_profiling.md)
    - [Troubleshooting](./usage/troubleshooting.md)
- [How it works](./how/how-it-works.md)
    - [Architecture overview](./how/architecture/architecture.md)
        - [RISC-V emulation](./how/architecture/emulation.md)
        - [R1CS constraints](./how/architecture/r1cs_constraints.md)
            - [Spartan](./how/architecture/spartan.md)
        - [Registers](./how/architecture/registers.md)
        - [RAM](./how/architecture/ram.md)
        - [Instruction execution](./how/architecture/instruction_execution.md)
        - [Bytecode](./how/architecture/bytecode.md)
        - [Batched opening proof](./how/architecture/opening-proof.md)
    - [Twist and Shout](./how/twist-shout.md)
    - [Dory](./how/dory.md)
    - [BlindFold (Zero Knowledge)](./how/blindfold.md)
    - [Optimizations](./how/optimizations/optimizations.md)
        - [Batched sumcheck](./how/optimizations/batched-sumcheck.md)
        - [Batched openings](./how/optimizations/batched-openings.md)
        - [Inlines](./how/optimizations/inlines.md)
        - [Small value optimizations](./how/optimizations/small-value.md)
        - [EQ optimizations](./how/optimizations/eq.md)
        - [Torus compression](./how/optimizations/compression.md)
    - [Formal Verification](./how/formal-verification/formal-verification.md)
        - [Z3 Verifier](./how/formal-verification/z3-verifier.md)
    - [Appendix](./how/appendix/appendix.md)
        - [Terminology and nomenclature](./how/appendix/terminology.md)
        - [Multilinear extensions](./how/appendix/multilinear-extensions.md)
        - [Sumcheck](./how/appendix/sumcheck.md)
        - [Polynomial commitment schemes](./how/appendix/pcs.md)
        - [Memory checking and lookup arguments](./how/appendix/memory-checking.md)
        - [RISC-V](./how/appendix/risc-v.md)
        - [Jolt 0.1.0](./how/appendix/jolt-classic.md)
        - [Additional resources](./how/appendix/resources.md)
- [Roadmap](./roadmap/roadmap.md)
    - [Streaming](./roadmap/streaming.md)
    - [Recursion](./roadmap/recursion.md)
    - [On-chain verifier](./roadmap/on-chain-verifier.md)
- [Verifier testing gates](./dev/testing-gates.md)
