Examples

Besides the Hello World examples, you are encouraged to check out these more complex and real-world use cases:

• Ethereum state tests via powdr-RISCV + revm
• Brainfuck VM in 3 different implementations (powdr-asm interpreter, powdr-asm ISA, Rust interpreter + powdr-RISCV)
• Machine Learning zkVM Compiler