GitHub repository: knight110001/aleo-prover
Description: Light standalone prover