diff --git a/korrekt/src/circuit_analyzer/analyzer.rs b/korrekt/src/circuit_analyzer/analyzer.rs index 808a6b9..ebfa53a 100644 --- a/korrekt/src/circuit_analyzer/analyzer.rs +++ b/korrekt/src/circuit_analyzer/analyzer.rs @@ -167,8 +167,6 @@ impl<'b, F: Field> Analyzer { let advices = abstract_expr::extract_columns(poly); let eval = abstract_expr::eval_abstract(poly, &selectors); - column.index(); - if eval != AbsResult::Zero && advices.contains(&(column, rotation)) { used = true; diff --git a/korrekt/src/circuit_analyzer/layouter.rs b/korrekt/src/circuit_analyzer/layouter.rs index 56c5e8a..defeec8 100644 --- a/korrekt/src/circuit_analyzer/layouter.rs +++ b/korrekt/src/circuit_analyzer/layouter.rs @@ -83,7 +83,8 @@ impl<'a, F: Field> Layouter for &'a mut AnalyticLayouter { self.eq_table.insert(left, right); Ok(()) - //todo!("handle instance columns") ticket created: https://quantstamp.atlassian.net/browse/ZKR-1238 + + //todo!("handle instance columns"); Quantstamp ticket ZKR-1881 } fn get_root(&mut self) -> &mut Self::Root { @@ -95,10 +96,10 @@ impl<'a, F: Field> Layouter for &'a mut AnalyticLayouter { NR: Into, N: FnOnce() -> NR, { - //todo!("handle namespaces");ticket created: https://quantstamp.atlassian.net/browse/ZKR-1238 + // implementation not needed at this time } fn pop_namespace(&mut self, _gadget_name: Option) { - //todo!("handle namespaces");ticket created: https://quantstamp.atlassian.net/browse/ZKR-1238 + // implementation not needed at this time } }