Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions pcs/src/commitment/zeromorph.rs
Original file line number Diff line number Diff line change
Expand Up @@ -629,7 +629,7 @@ mod test {
use ark_std::{test_rng, UniformRand};
use rand_core::SeedableRng;

// Evaluate Phi_k(x) = \sum_{i=0}^k x^i using the direct inefficent formula
// Evaluate Phi_k(x) = \sum_{i=0}^k x^i using the direct inefficient formula
fn phi<P: Pairing>(challenge: &P::ScalarField, subscript: usize) -> P::ScalarField {
let len = (1 << subscript) as u64;
(0..len).fold(P::ScalarField::zero(), |mut acc, i| {
Expand Down Expand Up @@ -669,7 +669,7 @@ mod test {
"The constant term equal to the evaluation of the polynomial at challenge point."
);

//To demonstrate that q_k was properly constructd we show that the identity holds at a random multilinear challenge
//To demonstrate that q_k was properly constructed we show that the identity holds at a random multilinear challenge
// i.e. 𝑓(𝑧) − 𝑣 − ∑ₖ₌₀ᵈ⁻¹ (𝑧ₖ − 𝑢ₖ)𝑞ₖ(𝑧) = 0
let z_challenge = (0..num_vars)
.map(|_| Fr::rand(&mut rng))
Expand Down Expand Up @@ -710,7 +710,7 @@ mod test {
let mut rng = test_rng();
let y_challenge = Fr::rand(&mut rng);

//Compute batched quptient ̂q
//Compute batched quotient ̂q
let (batched_quotient, _) =
compute_batched_lifted_degree_quotient::<Bn254>(&quotients, &y_challenge);

Expand Down