Introduction
Getting Started
1.
Installation
2.
Hello World
Reference Guide
3.
CLI
4.
asm
4.1.
Modules
4.2.
Machines
4.3.
Registers
4.4.
Functions
4.5.
Expressions
4.6.
Instructions
4.7.
Operations
4.8.
Links
5.
pil
5.1.
Declarations
5.2.
Expressions
5.3.
Fixed Columns
6.
Frontends
6.1.
RISCV
6.2.
Valida
6.3.
EVM
7.
Backends
7.1.
Halo2
7.2.
eSTARK
8.
Architecture
8.1.
Compiler
8.2.
Linker
Light
Rust
Coal
Navy
Ayu
powdr
EVM
An
EVM
frontend for powdr is under development. If you are interested, feel free to
reach out
!