Introduction
Getting Started
1.
Installation
2.
Hello World using the CLI
3.
Hello World using powdr as a library
4.
Hello World verified on Ethereum - CLI
5.
Hello World verified on Ethereum via proof aggregation - CLI
6.
Examples
7.
Using publics
Reference Guide
8.
CLI
9.
asm
9.1.
Modules
9.2.
Declarations
9.3.
Machines
9.4.
Registers
9.5.
Functions
9.6.
Expressions
9.7.
Instructions
9.8.
Operations
9.9.
Links
10.
pil
10.1.
Declarations
10.2.
Expressions
10.3.
Patterns
10.4.
Types
10.5.
Fixed Columns
10.6.
Built-in Functions
11.
Frontends
11.1.
RISCV
11.1.1.
zk-Continuations
11.2.
Valida
11.3.
EVM
12.
Backends
12.1.
Halo2
12.2.
eSTARK
13.
Architecture
13.1.
Compiler
13.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
!