Noir example

Prover.toml holds the circuit inputs

Usage

nargo execute

bb prove -b ./target/simple_proof.json -w ./target/simple_proof.gz --write_vk -o target