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

Comments

Browse Source
This commit is contained in:
wborgeaud 2021-10-13 15:45:43 +02:00
parent 7f6d90ee42
commit 710959f077
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/plonk/get_challenges.rs
View File

@ -99,6 +99,7 @@ impl<F: RichField + Extendable<D>, const D: usize> ProofWithPublicInputs<F, D> {
Ok(self.get_challenges(common_data)?.fri_query_indices)
}
/// Computes all Fiat-Shamir challenges used in the Plonk proof.
pub(crate) fn get_challenges(
&self,
common_data: &CommonCircuitData<F, D>,
@ -132,6 +133,7 @@ impl<F: RichField + Extendable<D>, const D: usize> ProofWithPublicInputs<F, D> {
}
impl<F: RichField + Extendable<D>, const D: usize> CompressedProofWithPublicInputs<F, D> {
/// Computes all Fiat-Shamir challenges used in the Plonk proof.
pub(crate) fn get_challenges(
&self,
common_data: &CommonCircuitData<F, D>,
@ -163,6 +165,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CompressedProofWithPublicInpu
)
}
/// Computes all coset elements that can be inferred in the FRI reduction steps.
pub(crate) fn get_inferred_elements(
&self,
challenges: &ProofChallenges<F, D>,

2
src/plonk/proof.rs
View File

@ -236,7 +236,7 @@ pub(crate) struct ProofChallenges<F: RichField + Extendable<D>, const D: usize>
pub fri_query_indices: Vec<usize>,
}
/// Coset element that can be inferred in the FRI reduction step.
/// Coset elements that can be inferred in the FRI reduction steps.
pub(crate) struct FriInferredElements<F: RichField + Extendable<D>, const D: usize>(
pub Vec<F::Extension>,
);