risc0-zkvm-verify (cargo): RISC Zero zero-knowledge VM verify crate
Keywords: cryptography|risc-v|rust|stark|virtual-machine|zero-knowledge