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