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
Halo2
powdr supports the
PSE fork of halo2
with the bn254 field.