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

verify_stark_proof -> recursively_verify_stark_proof

Browse Source
This commit is contained in:
wborgeaud 2022-02-14 10:20:59 +01:00
parent 6dca4e26af
commit 1686cb021f
2 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
starky/src/fibonacci_stark.rs
View File

@ -122,7 +122,8 @@ mod tests {
use crate::proof::StarkProofWithPublicInputs;
use crate::prover::prove;
use crate::recursive_verifier::{
add_virtual_stark_proof_with_pis, set_startk_proof_with_pis_target, verify_stark_proof,
add_virtual_stark_proof_with_pis, recursively_verify_stark_proof,
set_startk_proof_with_pis_target,
};
use crate::stark::Stark;
use crate::stark_testing::test_stark_low_degree;
@ -217,7 +218,7 @@ mod tests {
let pt = add_virtual_stark_proof_with_pis(&mut builder, stark, inner_config, degree_bits);
set_startk_proof_with_pis_target(&mut pw, &pt, &inner_proof);
verify_stark_proof::<F, InnerC, S, D>(&mut builder, stark, pt, inner_config);
recursively_verify_stark_proof::<F, InnerC, S, D>(&mut builder, stark, pt, inner_config);
if print_gate_counts {
builder.print_gate_counts(0);

6
starky/src/recursive_verifier.rs
View File

@ -18,7 +18,7 @@ use crate::proof::{
use crate::stark::Stark;
use crate::vars::StarkEvaluationTargets;
pub fn verify_stark_proof<
pub fn recursively_verify_stark_proof<
F: RichField + Extendable<D>,
C: GenericConfig<D, F = F>,
S: Stark<F, D>,
@ -37,7 +37,7 @@ pub fn verify_stark_proof<
let degree_bits = proof_with_pis.proof.recover_degree_bits(inner_config);
let challenges = proof_with_pis.get_challenges::<F, C>(builder, inner_config, degree_bits);
verify_stark_proof_with_challenges::<F, C, S, D>(
recursively_verify_stark_proof_with_challenges::<F, C, S, D>(
builder,
stark,
proof_with_pis,
@ -48,7 +48,7 @@ pub fn verify_stark_proof<
}
/// Recursively verifies an inner proof.
fn verify_stark_proof_with_challenges<
fn recursively_verify_stark_proof_with_challenges<
F: RichField + Extendable<D>,
C: GenericConfig<D, F = F>,
S: Stark<F, D>,