Recursion Circuit: snark-verifier-ce

Cargo.toml

@@ -14,6 +14,7 @@ members = [
     "aggregator",
     "prover",
     "compression",
+    "recursion",
 ]
 resolver = "2"
 

aggregator/src/lib.rs

@@ -6,8 +6,6 @@ mod aggregation;
 mod batch;
 /// blob struct and constants
 mod blob;
-/// Config to recursive aggregate multiple aggregations
-mod recursion;
 // This module implements `Chunk` related data types.
 // A chunk is a list of blocks.
 mod chunk;
@@ -31,7 +29,6 @@ pub use chunk::ChunkInfo;
 pub use constants::MAX_AGG_SNARKS;
 pub(crate) use constants::*;
 pub use param::*;
-pub use recursion::*;
 
 mod mock_chunk;
 pub use mock_chunk::MockChunkCircuit;