diff --git a/plonky2/examples/fibonacci.rs b/plonky2/examples/fibonacci.rs
index 9a090fc2..aabed559 100644
--- a/plonky2/examples/fibonacci.rs
+++ b/plonky2/examples/fibonacci.rs
@@ -4,7 +4,6 @@ use plonky2::iop::witness::PartialWitness;
 use plonky2::plonk::circuit_builder::CircuitBuilder;
 use plonky2::plonk::circuit_data::CircuitConfig;
 use plonky2::plonk::config::{GenericConfig, PoseidonGoldilocksConfig};
-use plonky2::plonk::verifier::verify;
 
 fn main() -> Result<()> {
     const D: usize = 2;
@@ -31,7 +30,6 @@ fn main() -> Result<()> {
     builder.connect(fib_100_target, cur_target);
 
     let data = builder.build::<C>();
-
     let proof = data.prove(pw)?;
 
     println!(
@@ -39,5 +37,5 @@ fn main() -> Result<()> {
         proof.public_inputs[0]
     );
 
-    verify(proof, &data.verifier_only, &data.common)
+    data.verify(proof)
 }
diff --git a/plonky2/src/plonk/verifier.rs b/plonky2/src/plonk/verifier.rs
index 5a3f6a94..6a4f3790 100644
--- a/plonky2/src/plonk/verifier.rs
+++ b/plonky2/src/plonk/verifier.rs
@@ -12,7 +12,7 @@ use crate::plonk::validate_shape::validate_proof_with_pis_shape;
 use crate::plonk::vanishing_poly::eval_vanishing_poly;
 use crate::plonk::vars::EvaluationVars;
 
-pub fn verify<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>(
+pub(crate) fn verify<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>(
     proof_with_pis: ProofWithPublicInputs<F, C, D>,
     verifier_data: &VerifierOnlyCircuitData<C, D>,
     common_data: &CommonCircuitData<F, C, D>,