risc0-circuit-rv32im (cargo): RISC Zero circuit for rv32im
Keywords: cryptography|risc-v|rust|stark|virtual-machine|zero-knowledge