mirror of
https://github.com/logos-storage/plonky2.git
synced 2026-01-08 00:33:06 +00:00
Address a few more unused warnings (#196)
This commit is contained in:
parent
535c385643
commit
88e0656650
@ -1,12 +1,9 @@
|
|||||||
use std::borrow::Borrow;
|
|
||||||
|
|
||||||
use crate::field::extension_field::target::ExtensionTarget;
|
use crate::field::extension_field::target::ExtensionTarget;
|
||||||
use crate::field::extension_field::Extendable;
|
use crate::field::extension_field::Extendable;
|
||||||
use crate::field::field_types::Field;
|
use crate::field::field_types::Field;
|
||||||
use crate::fri::commitment::SALT_SIZE;
|
use crate::fri::commitment::SALT_SIZE;
|
||||||
use crate::iop::target::Target;
|
use crate::iop::target::Target;
|
||||||
use crate::plonk::circuit_builder::CircuitBuilder;
|
use crate::plonk::circuit_builder::CircuitBuilder;
|
||||||
use crate::polynomial::polynomial::PolynomialCoeffs;
|
|
||||||
use crate::util::reducing::ReducingFactorTarget;
|
use crate::util::reducing::ReducingFactorTarget;
|
||||||
|
|
||||||
/// Holds the Merkle tree index and blinding flag of a set of polynomials used in FRI.
|
/// Holds the Merkle tree index and blinding flag of a set of polynomials used in FRI.
|
||||||
@ -46,6 +43,7 @@ impl PlonkPolynomials {
|
|||||||
blinding: true,
|
blinding: true,
|
||||||
};
|
};
|
||||||
|
|
||||||
|
#[cfg(test)]
|
||||||
pub fn polynomials(i: usize) -> PolynomialsIndexBlinding {
|
pub fn polynomials(i: usize) -> PolynomialsIndexBlinding {
|
||||||
match i {
|
match i {
|
||||||
0 => Self::CONSTANTS_SIGMAS,
|
0 => Self::CONSTANTS_SIGMAS,
|
||||||
@ -165,18 +163,6 @@ pub(crate) fn reduce_with_powers<F: Field>(terms: &[F], alpha: F) -> F {
|
|||||||
sum
|
sum
|
||||||
}
|
}
|
||||||
|
|
||||||
pub(crate) fn reduce_with_powers_recursive<F: Extendable<D>, const D: usize>(
|
|
||||||
builder: &mut CircuitBuilder<F, D>,
|
|
||||||
terms: &[Target],
|
|
||||||
alpha: Target,
|
|
||||||
) -> Target {
|
|
||||||
let mut sum = builder.zero();
|
|
||||||
for &term in terms.iter().rev() {
|
|
||||||
sum = builder.mul_add(sum, alpha, term);
|
|
||||||
}
|
|
||||||
sum
|
|
||||||
}
|
|
||||||
|
|
||||||
pub(crate) fn reduce_with_powers_ext_recursive<F: Extendable<D>, const D: usize>(
|
pub(crate) fn reduce_with_powers_ext_recursive<F: Extendable<D>, const D: usize>(
|
||||||
builder: &mut CircuitBuilder<F, D>,
|
builder: &mut CircuitBuilder<F, D>,
|
||||||
terms: &[ExtensionTarget<D>],
|
terms: &[ExtensionTarget<D>],
|
||||||
@ -186,27 +172,3 @@ pub(crate) fn reduce_with_powers_ext_recursive<F: Extendable<D>, const D: usize>
|
|||||||
let mut alpha = ReducingFactorTarget::new(alpha);
|
let mut alpha = ReducingFactorTarget::new(alpha);
|
||||||
alpha.reduce(terms, builder)
|
alpha.reduce(terms, builder)
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Reduce a sequence of field elements by the given coefficients.
|
|
||||||
pub(crate) fn reduce_with_iter<F: Field>(
|
|
||||||
terms: impl IntoIterator<Item = impl Borrow<F>>,
|
|
||||||
coeffs: impl IntoIterator<Item = impl Borrow<F>>,
|
|
||||||
) -> F {
|
|
||||||
terms
|
|
||||||
.into_iter()
|
|
||||||
.zip(coeffs)
|
|
||||||
.map(|(t, c)| *t.borrow() * *c.borrow())
|
|
||||||
.sum()
|
|
||||||
}
|
|
||||||
|
|
||||||
/// Reduce a sequence of polynomials by the given coefficients.
|
|
||||||
pub(crate) fn reduce_polys_with_iter<F: Field>(
|
|
||||||
polys: impl IntoIterator<Item = impl Borrow<PolynomialCoeffs<F>>>,
|
|
||||||
coeffs: impl IntoIterator<Item = impl Borrow<F>>,
|
|
||||||
) -> PolynomialCoeffs<F> {
|
|
||||||
polys
|
|
||||||
.into_iter()
|
|
||||||
.zip(coeffs)
|
|
||||||
.map(|(p, c)| p.borrow() * *c.borrow())
|
|
||||||
.sum()
|
|
||||||
}
|
|
||||||
|
|||||||
@ -6,7 +6,7 @@ use crate::util::{log2_ceil, log2_strict};
|
|||||||
impl<F: Field> PolynomialCoeffs<F> {
|
impl<F: Field> PolynomialCoeffs<F> {
|
||||||
/// Polynomial division.
|
/// Polynomial division.
|
||||||
/// Returns `(q, r)`, the quotient and remainder of the polynomial division of `a` by `b`.
|
/// Returns `(q, r)`, the quotient and remainder of the polynomial division of `a` by `b`.
|
||||||
pub(crate) fn div_rem(&self, b: &Self) -> (Self, Self) {
|
pub fn div_rem(&self, b: &Self) -> (Self, Self) {
|
||||||
let (a_degree_plug_1, b_degree_plus_1) = (self.degree_plus_one(), b.degree_plus_one());
|
let (a_degree_plug_1, b_degree_plus_1) = (self.degree_plus_one(), b.degree_plus_one());
|
||||||
if a_degree_plug_1 == 0 {
|
if a_degree_plug_1 == 0 {
|
||||||
(Self::zero(1), Self::empty())
|
(Self::zero(1), Self::empty())
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user