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