Introduction
Getting Started
Installation
Hello World using the CLI
Hello World using powdr as a library
Hello World verified on Ethereum - CLI
Hello World verified on Ethereum via proof aggregation - CLI
Examples
Using publics
Reference Guide
CLI
asm
pil
Frontends
Backends
1. Halo2
2. eSTARK
Architecture
1. Compiler
2. Linker

powdr

asm

powdr-asm is the higher level of abstraction in powdr. It allows defining Instruction Set Architectures (ISA) using virtual and constrained machines.