2. powdrVM
3. 1. Introduction
5. Getting Started with powdrVM
6. 2. Installation
7. 3. Quick Start
9. powdr SDK
10. 4. Introduction
12. Getting Started with powdr SDK
13. 5. Installation
14. 6. Hello World
15. 1. 6.1. in the CLI
    2. 6.2. as a library
    3. 6.3. verified on Ethereum
    4. 6.4. verified on Ethereum with proof aggregation
16. 7. Examples
17. 8. Using publics
19. powdr SDK Reference Guide
20. 9. CLI
21. 10. asm
22. 1. 10.1. Modules
    2. 10.2. Declarations
    3. 10.3. Machines
    4. 10.4. Registers
    5. 10.5. Functions
    6. 10.6. Expressions
    7. 10.7. Instructions
    8. 10.8. Operations
    9. 10.9. Links
23. 11. pil
24. 1. 11.1. Declarations
    2. 11.2. Expressions
    3. 11.3. Patterns
    4. 11.4. Types
    5. 11.5. Fixed Columns
    6. 11.6. Built-in Functions
25. 12. Frontends
26. 1. 12.1. RISCV
    2. 1. 12.1.1. zk-Continuations
    3. 12.2. Valida
    4. 12.3. EVM
27. 13. Backends
28. 1. 13.1. plonky3
    2. 13.2. Halo2
    3. 13.3. eSTARK
29. 14. Architecture
30. 1. 14.1. Compiler
    2. 14.2. Linker