GitHub repository: piotr-roslaniec/risc0
Description: RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.