DA-Compression soundness tests

aggregator/Cargo.toml

@@ -48,3 +48,4 @@ 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 batch circuit
 disable_proof_aggregation = []
+soundness-tests = []

aggregator/src/aggregation.rs

@@ -9,7 +9,7 @@ mod circuit;
 /// Config for aggregation circuit
 mod config;
 /// Config for decoding zstd-encoded data.
-mod decoder;
+pub mod decoder;
 /// config for RLC circuit
 mod rlc;
 /// Utility module

aggregator/src/aggregation/decoder.rs

@@ -1,5 +1,5 @@
 mod seq_exec;
-mod tables;
+pub mod tables;
 pub mod witgen;
 
 use gadgets::{