From 930e1171850ad763455474f51dba209110faeb5e Mon Sep 17 00:00:00 2001 From: wborgeaud Date: Thu, 17 Jun 2021 11:35:10 +0200 Subject: [PATCH] Minor --- src/fri/recursive_verifier.rs | 5 +++-- src/fri/verifier.rs | 1 + src/gadgets/split_base.rs | 1 - 3 files changed, 4 insertions(+), 3 deletions(-) diff --git a/src/fri/recursive_verifier.rs b/src/fri/recursive_verifier.rs index 1f6d8a1a..b35098e1 100644 --- a/src/fri/recursive_verifier.rs +++ b/src/fri/recursive_verifier.rs @@ -156,12 +156,13 @@ impl, const D: usize> CircuitBuilder { // - one for polynomials opened at `x` and `g x` // - one for polynomials opened at `x` and `x.frobenius()` - let evals = [0, 1, 4] + // Polynomials opened at `x`, i.e., the constants, sigmas and quotient polynomials. + let single_evals = [0, 1, 4] .iter() .flat_map(|&i| proof.unsalted_evals(i, config)) .map(|&e| self.convert_to_ext(e)) .collect::>(); - let openings = os + let single_openings = os .constants .iter() .chain(&os.plonk_sigmas) diff --git a/src/fri/verifier.rs b/src/fri/verifier.rs index c6cde5c7..b5a650bb 100644 --- a/src/fri/verifier.rs +++ b/src/fri/verifier.rs @@ -159,6 +159,7 @@ fn fri_combine_initial, const D: usize>( // - one for Zs, which are opened at `x` and `g x` // - one for wire polynomials, which are opened at `x` and its conjugate + // Polynomials opened at `x`, i.e., the constants, sigmas and quotient polynomials. let single_evals = [0, 1, 4] .iter() .flat_map(|&i| proof.unsalted_evals(i, config)) diff --git a/src/gadgets/split_base.rs b/src/gadgets/split_base.rs index 6c8eebb0..37f88409 100644 --- a/src/gadgets/split_base.rs +++ b/src/gadgets/split_base.rs @@ -2,7 +2,6 @@ use crate::circuit_builder::CircuitBuilder; use crate::field::extension_field::Extendable; use crate::gates::base_sum::BaseSumGate; use crate::target::Target; -use crate::util::ceil_div_usize; impl, const D: usize> CircuitBuilder { /// Split the given element into a list of targets, where each one represents a