chore: back to verifier_params()

privacy-scaling-explorations · May 9, 2024 · cc8ab90 · cc8ab90
1 parent ae0d739
commit cc8ab90
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 8 deletions.
diff --git a/halo2_backend/src/poly/kzg/commitment.rs b/halo2_backend/src/poly/kzg/commitment.rs
@@ -249,7 +249,7 @@ where
         }
     }
 
-    pub fn into_verifier_params(self) -> ParamsVerifierKZG<E> {
+    pub fn verifier_params(&self) -> ParamsVerifierKZG<E> {
         ParamsVerifierKZG {
             k: self.k,
             s_g2: self.s_g2,

diff --git a/halo2_backend/src/poly/multiopen_test.rs b/halo2_backend/src/poly/multiopen_test.rs
@@ -111,7 +111,7 @@ mod test {
             &engine, &params,
         );
 
-        let verifier_params = params.into_verifier_params();
+        let verifier_params = params.verifier_params();
 
         verify::<_, VerifierGWC<_>, _, Blake2bRead<_, _, Challenge255<_>>, AccumulatorStrategy<_>>(
             &verifier_params,
@@ -147,7 +147,7 @@ mod test {
             Blake2bWrite<_, _, Challenge255<_>>,
         >(&engine, &params);
 
-        let verifier_params = params.into_verifier_params();
+        let verifier_params = params.verifier_params();
 
         verify::<
             KZGCommitmentScheme<Bn256>,

diff --git a/halo2_proofs/examples/serialization.rs b/halo2_proofs/examples/serialization.rs
@@ -175,7 +175,7 @@ fn main() {
     .expect("prover should not fail");
     let proof = transcript.finalize();
 
-    let verifier_params = params.into_verifier_params();
+    let verifier_params = params.verifier_params();
     let strategy = SingleStrategy::new(&verifier_params);
     let mut transcript = Blake2bRead::<_, _, Challenge255<_>>::init(&proof[..]);
     assert!(verify_proof::<

diff --git a/halo2_proofs/tests/frontend_backend_split.rs b/halo2_proofs/tests/frontend_backend_split.rs
@@ -547,7 +547,7 @@ fn test_mycircuit_full_legacy() {
     let start = Instant::now();
     let mut verifier_transcript =
         Blake2bRead::<_, G1Affine, Challenge255<_>>::init(proof.as_slice());
-    let verifier_params = params.into_verifier_params();
+    let verifier_params = params.verifier_params();
     let strategy = SingleStrategy::new(&verifier_params);
 
     verify_proof::<KZGCommitmentScheme<Bn256>, VerifierSHPLONK<Bn256>, _, _, _>(
@@ -627,7 +627,7 @@ fn test_mycircuit_full_split() {
     println!("Verifying...");
     let mut verifier_transcript =
         Blake2bRead::<_, G1Affine, Challenge255<_>>::init(proof.as_slice());
-    let verifier_params = params.into_verifier_params();
+    let verifier_params = params.verifier_params();
     let strategy = SingleStrategy::new(&verifier_params);
 
     verify_proof_single::<KZGCommitmentScheme<Bn256>, VerifierSHPLONK<Bn256>, _, _, _>(

diff --git a/halo2_proofs/tests/plonk_api.rs b/halo2_proofs/tests/plonk_api.rs
@@ -588,7 +588,7 @@ fn plonk_api() {
             rng, &params, &pk,
         );
 
-        let verifier_params = params.into_verifier_params();
+        let verifier_params = params.verifier_params();
 
         verify_proof::<
             _,
@@ -617,7 +617,7 @@ fn plonk_api() {
             rng, &params, &pk,
         );
 
-        let verifier_params = params.into_verifier_params();
+        let verifier_params = params.verifier_params();
 
         verify_proof::<
             _,