RecursionCircuit and updated BatchCircuit

Cargo.toml

@@ -17,7 +17,7 @@ members = [
 resolver = "2"
 
 [workspace.package]
-version = "0.11.0"
+version = "0.12.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 

aggregator/Cargo.toml

@@ -46,5 +46,5 @@ csv = "1.1"
 [features]
 default = ["revm-precompile/c-kzg"]
 print-trace = ["ark-std/print-trace"]
-# This feature is useful for unit tests where we check the SAT of pi aggregation circuit
+# This feature is useful for unit tests where we check the SAT of pi batch circuit
 disable_proof_aggregation = []

aggregator/configs/bundle_circuit.config

@@ -0,0 +1 @@
+{"strategy":"Simple","degree":21,"num_advice":[5],"num_lookup_advice":[1],"num_fixed":1,"lookup_bits":20,"limb_bits":88,"num_limbs":3}

aggregator/src/aggregation.rs

@@ -23,5 +23,5 @@ pub(crate) use blob_data::BlobDataConfig;
 pub(crate) use decoder::{witgen, DecoderConfig, DecoderConfigArgs};
 pub(crate) use rlc::RlcConfig;
 
-pub use circuit::AggregationCircuit;
-pub use config::AggregationConfig;
+pub use circuit::BatchCircuit;
+pub use config::BatchCircuitConfig;