GitHub repository: l2iterative/risc0
Primary language: C++
Description: RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.