GitHub repository: xiyu1984/sp1
Primary language: Rust
Description: A performant, 100% open-source, contributor-friendly zkVM.