implement cross layer circuit and gates

PolyhedraZK · Nov 20, 2024 · b93ee77 · b93ee77
1 parent 7f7c612
commit b93ee77
Show file tree

Hide file tree

Showing 10 changed files with 322 additions and 195 deletions.
diff --git a/expander_compiler/src/circuit/layered/export.rs b/expander_compiler/src/circuit/layered/export.rs
@@ -6,65 +6,6 @@ impl<C: Config> Circuit<C> {
     >(
         &self,
     ) -> expander_circuit::RecursiveCircuit<DestConfig> {
-        let segments = self
-            .segments
-            .iter()
-            .map(|seg| expander_circuit::Segment {
-                i_var_num: seg.num_inputs.trailing_zeros() as usize,
-                o_var_num: seg.num_outputs.trailing_zeros() as usize,
-                gate_muls: seg
-                    .gate_muls
-                    .iter()
-                    .map(|gate| gate.export_to_expander())
-                    .collect(),
-                gate_adds: seg
-                    .gate_adds
-                    .iter()
-                    .map(|gate| gate.export_to_expander())
-                    .collect(),
-                gate_consts: seg
-                    .gate_consts
-                    .iter()
-                    .map(|gate| gate.export_to_expander())
-                    .collect(),
-                gate_uni: seg
-                    .gate_customs
-                    .iter()
-                    .map(|gate| {
-                        let (c, r) = gate.coef.export_to_expander();
-                        expander_circuit::GateUni {
-                            i_ids: [gate.inputs[0]],
-                            o_id: gate.output,
-                            coef: c,
-                            coef_type: r,
-                            gate_type: gate.gate_type,
-                        }
-                    })
-                    .collect(),
-                child_segs: seg
-                    .child_segs
-                    .iter()
-                    .map(|seg| {
-                        (
-                            seg.0,
-                            seg.1
-                                .iter()
-                                .map(|alloc| expander_circuit::Allocation {
-                                    i_offset: alloc.input_offset,
-                                    o_offset: alloc.output_offset,
-                                })
-                                .collect(),
-                        )
-                    })
-                    .collect(),
-            })
-            .collect();
-        expander_circuit::RecursiveCircuit {
-            segments,
-            layers: self.layer_ids.clone(),
-            num_outputs: self.num_actual_outputs,
-            num_public_inputs: self.num_public_inputs,
-            expected_num_output_zeros: self.expected_num_output_zeroes,
-        }
+        panic!("TODO")
     }
 }