Remove the Halo2 frontend ConstraintSystem (#282)

This PR is a better approach to Halo2 middleware compilation than #277. It eliminates the need for TableColumns that are a purely frontend concept. If we choose to proceed with this path, we can completely remove the dependency on Halo2 frontend. I have prepared the corresponding changes here: 93f9553
privacy-scaling-explorations · Aug 6, 2024 · 7086456 · 7086456
1 parent e3bc01c
commit 7086456
Show file tree

Hide file tree

Showing 4 changed files with 274 additions and 162 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -36,3 +36,6 @@ rand_chacha = "0.3"
 
 [build-dependencies]
 lalrpop = "0.20.0"
+
+[features]
+debug_pil = []
diff --git a/examples/ptau/hermez-raw-12 b/examples/ptau/hermez-raw-12
diff --git a/src/pil/backend/powdr_pil.rs b/src/pil/backend/powdr_pil.rs
@@ -161,6 +161,7 @@ fn generate_pil_fixed_columns<F: Debug>(pil: &mut String, pil_ir: &PILCircuit<F>
             "// === Fixed Columns for Signals and Step Type Selectors ==="
         )
         .unwrap();
+        #[cfg(feature = "debug_pil")]
         for (col, assignments) in pil_ir.col_fixed.iter() {
             let fixed_name = match col {
                 PILColumn::Fixed(_, annotation) => annotation.clone(),