Merge pull request #549 from zcash/patch-cost-model-lookup

cost-model.rs: Correct lookup required degree calculation.
zcash · Apr 18, 2022 · dc2e454 · dc2e454
2 parents 1e6bb51 + 066bd15
commit dc2e454
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/halo2_proofs/examples/cost-model.rs b/halo2_proofs/examples/cost-model.rs
@@ -125,7 +125,7 @@ impl FromStr for Lookup {
 
 impl Lookup {
     fn required_degree(&self) -> usize {
-        1 + cmp::max(1, self.input_deg) + cmp::max(1, self.table_deg)
+        2 + cmp::max(1, self.input_deg) + cmp::max(1, self.table_deg)
     }
 
     fn queries(&self) -> impl Iterator<Item = Poly> {