This crate is designed to aggregate Halo2 proofs into one single proof.

• a circuit that can check if a proof is valid using vk.
  • we used the simple-example as the test case which covers custom gate.
• put transcripts in public inputs.
• get more performance data, including #(columns), #(rows), #(Rotations)
• porting SHA256 gadget from SHA256 example.
• a circuit that can verify many kinds of proofs.