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

Update comments

Browse Source
This commit is contained in:
wborgeaud 2022-09-26 16:05:15 +02:00
parent 6cf6b56aa0
commit 1de3ed823a
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
evm/src/recursive_verifier.rs
View File

@ -46,7 +46,6 @@ use crate::vanishing_poly::eval_vanishing_poly_circuit;
use crate::vars::StarkEvaluationTargets;
/// Table-wise recursive proofs of an `AllProof`.
/// Also contains verifier data for each proof.
pub struct RecursiveAllProof<
F: RichField + Extendable<D>,
C: GenericConfig<D, F = F>,
@ -341,7 +340,7 @@ where
Ok((data.prove(pw)?, data.verifier_data()))
}
/// Returns the verifier data for the recursively Stark circuit.
/// Returns the verifier data for the recursive Stark circuit.
fn verifier_data_recursive_stark_proof<
F: RichField + Extendable<D>,
C: GenericConfig<D, F = F>,
@ -422,7 +421,7 @@ where
data.verifier_data()
}
/// Recursively verify every Stark proof in an `AllProof`.
/// Returns the recursive Stark circuit verifier data for every Stark in `AllStark`.
pub fn all_verifier_data_recursive_stark_proof<
F: RichField + Extendable<D>,
C: GenericConfig<D, F = F>,