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