From 1686cb021fb7c481459d739961f5faf8c7d63e27 Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Mon, 14 Feb 2022 10:20:59 +0100
Subject: [PATCH] `verify_stark_proof` -> `recursively_verify_stark_proof`

---
 starky/src/fibonacci_stark.rs    | 5 +++--
 starky/src/recursive_verifier.rs | 6 +++---
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/starky/src/fibonacci_stark.rs b/starky/src/fibonacci_stark.rs
index 28555207..156b14f8 100644
--- a/starky/src/fibonacci_stark.rs
+++ b/starky/src/fibonacci_stark.rs
@@ -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);
diff --git a/starky/src/recursive_verifier.rs b/starky/src/recursive_verifier.rs
index 16ac07b5..d6d559b6 100644
--- a/starky/src/recursive_verifier.rs
+++ b/starky/src/recursive_verifier.rs
@@ -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>,