batched AIR sumcheck WIP

Author: TomWambsgans

Cargo.lock

@@ -51,7 +51,6 @@ wildcard_imports = "allow"
 
 [workspace.dependencies]
 # Local
-air = { path = "crates/air" }
 utils = { path = "crates/utils" }
 lean_vm = { path = "crates/lean_vm" }
 xmss = { path = "crates/xmss" }
@@ -83,7 +82,6 @@ prox-gaps-conjecture = ["rec_aggregation/prox-gaps-conjecture"]
 [dependencies]
 clap.workspace = true
 rec_aggregation.workspace = true
-air.workspace = true
 rand.workspace = true
 sub_protocols.workspace = true
 utils.workspace = true

Cargo.toml

@@ -1,6 +1,7 @@
 use field::{ExtensionField, PackedFieldExtension};
 use poly::*;
 
+#[derive(Debug)]
 pub struct SplitEq<EF: ExtensionField<PF<EF>>> {
     pub eq_lo: Vec<EF>,
     pub eq_hi_packed: Vec<EFPacking<EF>>,

crates/air/Cargo.toml

@@ -14,7 +14,6 @@ xmss.workspace = true
 rand.workspace = true
 
 tracing.workspace = true
-air.workspace = true
 sub_protocols.workspace = true
 lean_vm.workspace = true
 backend.workspace = true

crates/air/src/lib.rs

@@ -17,7 +17,6 @@ xmss.workspace = true
 rand.workspace = true
 
 tracing.workspace = true
-air.workspace = true
 sub_protocols.workspace = true
 lean_vm.workspace = true
 lean_compiler.workspace = true