risc0-zkvm-circuit-gen 0.8.0

RISC-V circuit (generated)
Documentation