Aleo Light Prover Don't even try this unless you know what you are doing. ZERO support for this repo right now. License GPL-3.0-or-later