diff --git a/halo2_proofs/src/plonk/evaluation.rs b/halo2_proofs/src/plonk/evaluation.rs index a6b2f9b9..8f269329 100644 --- a/halo2_proofs/src/plonk/evaluation.rs +++ b/halo2_proofs/src/plonk/evaluation.rs @@ -140,7 +140,7 @@ impl Evaluator { // Calculate the quotient polynomial for each part let mut current_extended_omega = one; let value_parts: Vec> = (0..num_parts) - .map(|part_idx| { + .map(|_| { let fixed: Vec> = pk .fixed_polys .iter() @@ -179,7 +179,6 @@ impl Evaluator { let mut values = domain.empty_lagrange(); - let mut round = part_idx * advice.len(); // Core expression evaluations for (((advice, instance), lookups), permutation) in advice .iter() @@ -200,7 +199,7 @@ impl Evaluator { &y, rot_scale, isize, - round, + 0, ); // Permutations @@ -334,6 +333,7 @@ impl Evaluator { current_extended_omega, ); let mut table_values = vec![C::ScalarExt::zero(); values.len()]; + let round = if n + 1 == lookups.len() { 1 } else { 2 }; self.lookups[n].evaluate( &mut table_values, fixed, @@ -394,7 +394,6 @@ impl Evaluator { } }); } - round += 1; } current_extended_omega *= extended_omega; values