GitHub repository: openmina/proof-systems
Primary language: Rust
Description: The proof systems used by Mina