From 51a442cd7e046010590a7dc50eb77a40e9a7c915 Mon Sep 17 00:00:00 2001
From: Eugene Kovalev <eugene.a.kovalev@gmail.com>
Date: Wed, 11 Dec 2024 13:21:31 +0300
Subject: [PATCH] Relax visibility of `verify` function

---
 plonky2/src/plonk/verifier.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plonky2/src/plonk/verifier.rs b/plonky2/src/plonk/verifier.rs
index fa1bc14b84..bce2a26da8 100644
--- a/plonky2/src/plonk/verifier.rs
+++ b/plonky2/src/plonk/verifier.rs
@@ -14,7 +14,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(crate) fn verify<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>(
+pub 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, D>,