osspath
Archive
Repos
osspath
Jobs
Repos
Funding
Ecosystems
Orgs
Explore
Search
⌘K
← Repositories
o1-labs
proof-systems
The proof systems used by Mina
461
Stars
144
Forks
234
Issues
Apache-2.0
License
active
wasm
Last GitHub commit: Jun 22, 2026
View on GitHub →
Ecosystem
wasm
Contribution
234 open issues →
active project
Dependencies (45 total)
serde
serde_json
clap
thiserror
anyhow
rand
regex
log
+37 more
← Browse all repos
Something inaccurate? Report a correction →