mirror of https://github.com/zcash/halo2.git
Use extended omega for coset in prover.
This commit is contained in:
parent
0651359cb8
commit
06a4cfe13b
|
@ -251,6 +251,10 @@ impl<G: Group> EvaluationDomain<G> {
|
||||||
self.omega
|
self.omega
|
||||||
}
|
}
|
||||||
|
|
||||||
|
pub fn get_extended_omega(&self) -> G::Scalar {
|
||||||
|
self.extended_omega
|
||||||
|
}
|
||||||
|
|
||||||
pub fn get_omega_inv(&self) -> G::Scalar {
|
pub fn get_omega_inv(&self) -> G::Scalar {
|
||||||
self.omega_inv
|
self.omega_inv
|
||||||
}
|
}
|
||||||
|
|
|
@ -330,7 +330,7 @@ impl<C: CurveAffine> Proof<C> {
|
||||||
|
|
||||||
let mut right = permutation_product_cosets_inv[permutation_index].clone();
|
let mut right = permutation_product_cosets_inv[permutation_index].clone();
|
||||||
let mut current_delta = x_0 * &C::Scalar::ZETA;
|
let mut current_delta = x_0 * &C::Scalar::ZETA;
|
||||||
let step = domain.get_omega();
|
let step = domain.get_extended_omega();
|
||||||
for advice in queries
|
for advice in queries
|
||||||
.iter()
|
.iter()
|
||||||
.map(|&query_index| &advice_cosets[query_index])
|
.map(|&query_index| &advice_cosets[query_index])
|
||||||
|
|
Loading…
Reference in New Issue