GitHub repository: zkMIPS/zkMIPS
Primary language: Rust
Description: zkMIPS 1.0: An open-source, simple, stable, and universal zkVM on MIPS32r2.