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

Clippy

Browse Source
This commit is contained in:
wborgeaud 2022-02-08 18:19:11 +01:00
parent ba63a37b7d
commit ae330ff6a7
4 changed files with 7 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
plonky2/src/fri/challenges.rs
View File

@ -10,7 +10,6 @@ use crate::hash::merkle_tree::MerkleCap;
use crate::iop::challenger::{Challenger, RecursiveChallenger};
use crate::iop::target::Target;
use crate::plonk::circuit_builder::CircuitBuilder;
use crate::plonk::circuit_data::CommonCircuitData;
use crate::plonk::config::{AlgebraicHasher, GenericConfig, Hasher};
impl<F: RichField, H: Hasher<F>> Challenger<F, H> {

1
starky/src/get_challenges.rs
View File

@ -101,6 +101,7 @@ impl<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>
}
}
#[allow(clippy::too_many_arguments)]
pub(crate) fn get_challenges_target<
F: RichField + Extendable<D>,
C: GenericConfig<D, F = F>,

11
starky/src/recursive_verifier.rs
View File

@ -5,7 +5,6 @@ use plonky2::iop::ext_target::ExtensionTarget;
use plonky2::plonk::circuit_builder::CircuitBuilder;
use plonky2::plonk::config::{AlgebraicHasher, GenericConfig};
use plonky2::util::reducing::ReducingFactorTarget;
use plonky2::with_context;
use crate::config::StarkConfig;
use crate::constraint_consumer::RecursiveConstraintConsumer;
@ -13,7 +12,7 @@ use crate::proof::{
StarkOpeningSetTarget, StarkProofChallengesTarget, StarkProofWithPublicInputsTarget,
};
use crate::stark::Stark;
use crate::vars::{StarkEvaluationTargets, StarkEvaluationVars};
use crate::vars::StarkEvaluationTargets;
pub fn verify_stark_proof<
F: RichField + Extendable<D>,
@ -27,8 +26,8 @@ pub fn verify_stark_proof<
inner_config: &StarkConfig,
) where
C::Hasher: AlgebraicHasher<F>,
[(); { S::COLUMNS }]:,
[(); { S::PUBLIC_INPUTS }]:,
[(); S::COLUMNS]:,
[(); S::PUBLIC_INPUTS]:,
{
assert_eq!(proof_with_pis.public_inputs.len(), S::PUBLIC_INPUTS);
let degree_bits = proof_with_pis.proof.recover_degree_bits(inner_config);
@ -59,8 +58,8 @@ fn verify_stark_proof_with_challenges<
degree_bits: usize,
) where
C::Hasher: AlgebraicHasher<F>,
[(); { S::COLUMNS }]:,
[(); { S::PUBLIC_INPUTS }]:,
[(); S::COLUMNS]:,
[(); S::PUBLIC_INPUTS]:,
{
let one = builder.one_extension();

3
starky/src/verifier.rs
View File

@ -5,11 +5,10 @@ use plonky2::fri::verifier::verify_fri_proof;
use plonky2::hash::hash_types::RichField;
use plonky2::plonk::config::GenericConfig;
use plonky2::plonk::plonk_common::reduce_with_powers;
use plonky2_util::log2_strict;
use crate::config::StarkConfig;
use crate::constraint_consumer::ConstraintConsumer;
use crate::proof::{StarkOpeningSet, StarkProof, StarkProofChallenges, StarkProofWithPublicInputs};
use crate::proof::{StarkOpeningSet, StarkProofChallenges, StarkProofWithPublicInputs};
use crate::stark::Stark;
use crate::vars::StarkEvaluationVars;