GitHub repository: soitun/aleo-prover
Primary language: Rust
Description: Light standalone prover