- powdrVM
- 1. Introduction
- Getting Started with powdrVM
- 2. Installation
- 3. Quick Start
- powdr SDK
- 4. Introduction
- Getting Started with powdr SDK
- 5. Installation
- 6. Examples
- powdr SDK Reference Guide
- 7. CLI
- 8. asm
- 8.1. Modules
- 8.2. Declarations
- 8.3. Machines
- 8.4. Registers
- 8.5. Functions
- 8.6. Expressions
- 8.7. Instructions
- 8.8. Operations
- 8.9. Links
- 9. pil
- 9.1. Declarations
- 9.2. Expressions
- 9.3. Patterns
- 9.4. Types
- 9.5. Fixed Columns
- 9.6. Built-in Functions
- 10. Frontends
- 10.1. RISCV
- 10.1.1. zk-Continuations
- 10.2. Valida
- 10.3. EVM
- 11. Backends
- 11.1. plonky3
- 12. Architecture
- 12.1. Compiler
- 12.2. Linker