logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-07 00:03:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

Minor

Browse Source
This commit is contained in:
wborgeaud 2021-06-17 11:35:10 +02:00
parent 5bebc746f6
commit 930e117185
3 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/fri/recursive_verifier.rs
View File

@ -156,12 +156,13 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
// - one for polynomials opened at `x` and `g x` // - one for polynomials opened at `x` and `g x`
// - one for polynomials opened at `x` and `x.frobenius()` // - 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() .iter()
.flat_map(|&i| proof.unsalted_evals(i, config)) .flat_map(|&i| proof.unsalted_evals(i, config))
.map(|&e| self.convert_to_ext(e)) .map(|&e| self.convert_to_ext(e))
.collect::<Vec<_>>(); .collect::<Vec<_>>();
let openings = os let single_openings = os
.constants .constants
.iter() .iter()
.chain(&os.plonk_sigmas) .chain(&os.plonk_sigmas)

1
src/fri/verifier.rs
View File

@ -159,6 +159,7 @@ fn fri_combine_initial<F: Field + Extendable<D>, const D: usize>(
// - one for Zs, which are opened at `x` and `g x` // - one for Zs, which are opened at `x` and `g x`
// - one for wire polynomials, which are opened at `x` and its conjugate // - 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] let single_evals = [0, 1, 4]
.iter() .iter()
.flat_map(|&i| proof.unsalted_evals(i, config)) .flat_map(|&i| proof.unsalted_evals(i, config))

1
src/gadgets/split_base.rs
View File

@ -2,7 +2,6 @@ use crate::circuit_builder::CircuitBuilder;
use crate::field::extension_field::Extendable; use crate::field::extension_field::Extendable;
use crate::gates::base_sum::BaseSumGate; use crate::gates::base_sum::BaseSumGate;
use crate::target::Target; use crate::target::Target;
use crate::util::ceil_div_usize;
impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> { impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
/// Split the given element into a list of targets, where each one represents a /// Split the given element into a list of targets, where each one represents a