Fix HOL mode in BBS#

Signed-off-by: lovesh <[email protected]>
docknetwork · Jul 19, 2024 · 33181f5 · 33181f5
1 parent 1929e47
commit 33181f5
Show file tree

Hide file tree

Showing 7 changed files with 695 additions and 234 deletions.
diff --git a/kvac/src/bbdt_2016/keyed_proof.rs b/kvac/src/bbdt_2016/keyed_proof.rs
@@ -197,13 +197,13 @@ impl<G: AffineRepr> ProofOfValidityOfKeyedProof<G> {
             .unwrap();
         let challenge = compute_random_oracle_challenge::<G::ScalarField, D>(&challenge_bytes);
         if !self.sc_pk.verify(pk, g_0, &challenge) {
-            return Err(KVACError::InvalidKeyedProof);
+            return Err(KVACError::InvalidProofOfValidity);
         }
         if !self
             .sc_proof
             .verify(C, B_0, &challenge, &self.sc_pk.response)
         {
-            return Err(KVACError::InvalidKeyedProof);
+            return Err(KVACError::InvalidProofOfValidity);
         }
         Ok(())
     }