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.