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
Valida
A
Valida
front end for powdr is under development. If you are interested, feel free to
reach out
!