risc0-circuit-rv32im 4.0.0

RISC Zero circuit for rv32im
Documentation
risc0-circuit-rv32im-4.0.0 has been yanked.