zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

chore: fix typos (#225)

This commit is contained in:
Merlyn 2023-11-08 22:21:02 +09:00 committed by GitHub
parent 9899a5c6fb
commit 69481d6729
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
halo2_proofs/src/poly/kzg/multiopen/shplonk/prover.rs
View File

@ -135,7 +135,7 @@ where
R: RngCore,
{
// TODO: explore if it is safe to use same challenge
// for different sets that are already combined with anoter challenge
// for different sets that are already combined with another challenge
let y: ChallengeY<_> = transcript.squeeze_challenge_scalar();
let quotient_contribution = |rotation_set: &RotationSetExtension<E::G1Affine>| {
@ -151,7 +151,7 @@ where
// define numerator polynomial as
// N_i_j(X) = (P_i_j(X) - R_i_j(X))
// and combine polynomials with same evaluation point set
// N_i(X) = linear_combinination(y, N_i_j(X))
// N_i(X) = linear_combination(y, N_i_j(X))
// where y is random scalar to combine numerator polynomials
let n_x = numerators
.into_iter()
@ -223,7 +223,7 @@ where
// calculate difference vanishing polynomial evaluation
let z_i = evaluate_vanishing_polynomial(&diffs[..], *u);
// inner linearisation contibutions are
// inner linearisation contributions are
// [P_i_0(X) - r_i_0, P_i_1(X) - r_i_1, ... ] where
// r_i_j = R_i_j(u) is the evaluation of low degree equivalent polynomial
// where u is random evaluation point
@ -238,8 +238,8 @@ where
// define inner contributor polynomial as
// L_i_j(X) = (P_i_j(X) - r_i_j)
// and combine polynomials with same evaluation point set
// L_i(X) = linear_combinination(y, L_i_j(X))
// where y is random scalar to combine inner contibutors
// L_i(X) = linear_combination(y, L_i_j(X))
// where y is random scalar to combine inner contributors
let l_x: Polynomial<E::Scalar, Coeff> = inner_contributions
.into_iter()
.zip(powers(*y))
@ -252,7 +252,7 @@ where
};
#[allow(clippy::type_complexity)]
let (linearisation_contibutions, z_diffs): (
let (linearisation_contributions, z_diffs): (
Vec<Polynomial<E::Scalar, Coeff>>,
Vec<E::Scalar>,
) = rotation_sets
@ -260,7 +260,7 @@ where
.map(linearisation_contribution)
.unzip();
let l_x: Polynomial<E::Scalar, Coeff> = linearisation_contibutions
let l_x: Polynomial<E::Scalar, Coeff> = linearisation_contributions
.into_iter()
.zip(powers(*v))
.map(|(poly, power_of_v)| poly * power_of_v)