risc0-circuit-rv32im 2.0.4

RISC Zero circuit for rv32im
Documentation