mirror of https://github.com/zcash/halo2.git
Obtain permutation product polynomial correctly.
This commit is contained in:
parent
114653f366
commit
da9c24bcfa
|
@ -221,6 +221,7 @@ impl<C: CurveAffine> Proof<C> {
|
||||||
|
|
||||||
permutation_product_commitments.push(params.commit_lagrange(&z, blind).to_affine());
|
permutation_product_commitments.push(params.commit_lagrange(&z, blind).to_affine());
|
||||||
permutation_product_blinds.push(blind);
|
permutation_product_blinds.push(blind);
|
||||||
|
let z = domain.obtain_poly(z);
|
||||||
permutation_product_polys.push(z.clone());
|
permutation_product_polys.push(z.clone());
|
||||||
permutation_product_cosets.push(domain.obtain_coset(z.clone(), Rotation::default()));
|
permutation_product_cosets.push(domain.obtain_coset(z.clone(), Rotation::default()));
|
||||||
permutation_product_cosets_inv.push(domain.obtain_coset(z, Rotation(-1)));
|
permutation_product_cosets_inv.push(domain.obtain_coset(z, Rotation(-1)));
|
||||||
|
|
Loading…
Reference in New Issue