A proof of concept crate that implements a circuit to batch together proofs from a fixed target circuit. cargo run executes a benchmark of the verification cost of an aggregated proof.