From 58f7457660b3307dae88b359ec706cf0e8aeb35a Mon Sep 17 00:00:00 2001
From: Nicolas Sarlin <nicolas.sarlin@zama.ai>
Date: Wed, 11 Jun 2025 17:13:41 +0200
Subject: [PATCH] chore(zk): rename verify_inner to verify_impl to match the
 proof

---
 tfhe-zk-pok/src/proofs/pke_v2.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tfhe-zk-pok/src/proofs/pke_v2.rs b/tfhe-zk-pok/src/proofs/pke_v2.rs
index c75f8d72a..183c8fe21 100644
--- a/tfhe-zk-pok/src/proofs/pke_v2.rs
+++ b/tfhe-zk-pok/src/proofs/pke_v2.rs
@@ -1929,11 +1929,11 @@ pub fn verify<G: Curve + Send + Sync>(
 ) -> Result<(), ()> {
     // By running it in a limited thread pool, we make sure that the rayon overhead stays minimal
     // compared to the actual verification work
-    run_in_pool(|| verify_inner(proof, public, metadata))
+    run_in_pool(|| verify_impl(proof, public, metadata))
 }
 
 #[allow(clippy::result_unit_err)]
-pub fn verify_inner<G: Curve>(
+pub fn verify_impl<G: Curve>(
     proof: &Proof<G>,
     public: (&PublicParams<G>, &PublicCommit<G>),
     metadata: &[u8],