Relax ownership requirements in PiFac using new proof trait.

boltlabs-inc · Jul 14, 2023 · b9e493b · b9e493b
1 parent b454254
commit b9e493b
Show file tree

Hide file tree

Showing 2 changed files with 129 additions and 119 deletions.
diff --git a/src/auxinfo/proof.rs b/src/auxinfo/proof.rs
@@ -15,7 +15,7 @@ use crate::{
     zkp::{
         pifac::{CommonInput, PiFacProof, ProverSecret},
         pimod::{PiModInput, PiModProof, PiModSecret},
-        Proof, ProofContext,
+        Proof, Proof2, ProofContext,
     },
     Identifier,
 };
@@ -77,8 +77,8 @@ impl AuxInfoProof {
         )?;
         Self::append_pifac_transcript(&mut transcript, context, sid, rho)?;
         let pifac = PiFacProof::prove(
-            &CommonInput::new(verifier_params, N),
-            &ProverSecret::new(p, q),
+            CommonInput::new(verifier_params, N),
+            ProverSecret::new(p, q),
             context,
             &mut transcript,
             rng,
@@ -94,7 +94,7 @@ impl AuxInfoProof {
     /// Note: The [`VerifiedRingPedersen`] argument **must be** provided by the
     /// verifier!
     pub(crate) fn verify(
-        &self,
+        self,
         context: &<AuxInfoParticipant as InnerProtocolParticipant>::Context,
         sid: Identifier,
         rho: [u8; 32],
@@ -107,7 +107,7 @@ impl AuxInfoProof {
             .verify(&PiModInput::new(N), context, &mut transcript)?;
         Self::append_pifac_transcript(&mut transcript, context, sid, rho)?;
         self.pifac.verify(
-            &CommonInput::new(verifier_params, N),
+            CommonInput::new(verifier_params, N),
             context,
             &mut transcript,
         )?;