From da9c24bcfad1c4b837dfe331c4b776390b619a3e Mon Sep 17 00:00:00 2001
From: Sean Bowe <ewillbefull@gmail.com>
Date: Sat, 5 Sep 2020 10:52:40 -0600
Subject: [PATCH] Obtain permutation product polynomial correctly.

---
 src/plonk/prover.rs | 1 +
 1 file changed, 1 insertion(+)

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<C: CurveAffine> Proof<C> {
 
             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)));