search

powdr-labs / powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.
Apache License 2.0
416 stars 82 forks source link

Hand-written witness generation for the Goldilocks RISC-V "core" machine #2034

Open georgwiese opened 3 weeks ago

georgwiese commented 3 weeks ago

Full witness generation for Rust programs without precompiles.