diff --git a/src/plonk/prover.rs b/src/plonk/prover.rs index dcf319ee..9a3294bb 100644 --- a/src/plonk/prover.rs +++ b/src/plonk/prover.rs @@ -221,6 +221,7 @@ impl Proof { permutation_product_commitments.push(params.commit_lagrange(&z, blind).to_affine()); permutation_product_blinds.push(blind); + let z = domain.obtain_poly(z); permutation_product_polys.push(z.clone()); permutation_product_cosets.push(domain.obtain_coset(z.clone(), Rotation::default())); permutation_product_cosets_inv.push(domain.obtain_coset(z, Rotation(-1)));