risc0-circuit-rv32im 1.2.5

RISC Zero circuit for rv32im
Documentation