powdrVM
1.
Introduction
Getting Started with powdrVM
2.
Installation
3.
Quick Start
powdr SDK
4.
Introduction
Getting Started with powdr SDK
5.
Installation
6.
Hello World
6.1.
in the CLI
6.2.
as a library
6.3.
verified on Ethereum
6.4.
verified on Ethereum with proof aggregation
7.
Examples
8.
Using publics
powdr SDK Reference Guide
9.
CLI
10.
asm
10.1.
Modules
10.2.
Declarations
10.3.
Machines
10.4.
Registers
10.5.
Functions
10.6.
Expressions
10.7.
Instructions
10.8.
Operations
10.9.
Links
11.
pil
11.1.
Declarations
11.2.
Expressions
11.3.
Patterns
11.4.
Types
11.5.
Fixed Columns
11.6.
Built-in Functions
12.
Frontends
12.1.
RISCV
12.1.1.
zk-Continuations
12.2.
Valida
12.3.
EVM
13.
Backends
13.1.
plonky3
13.2.
Halo2
13.3.
eSTARK
14.
Architecture
14.1.
Compiler
14.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
!