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