KVAC integration in proof system

Signed-off-by: lovesh <[email protected]>
docknetwork · Feb 15, 2024 · 9e075a1 · 9e075a1
1 parent 413b52d
commit 9e075a1
Show file tree

Hide file tree

Showing 80 changed files with 2,784 additions and 1,070 deletions.
diff --git a/bbs_plus/src/setup.rs b/bbs_plus/src/setup.rs
@@ -394,25 +394,16 @@ macro_rules! impl_keypair {
             CanonicalDeserialize,
             Serialize,
             Deserialize,
+            Zeroize,
+            ZeroizeOnDrop,
         )]
         #[serde(bound = "")]
         pub struct $name<E: Pairing> {
             pub secret_key: SecretKey<E::ScalarField>,
+            #[zeroize(skip)]
             pub public_key: $pk<E>,
         }
 
-        impl<E: Pairing> Zeroize for $name<E> {
-            fn zeroize(&mut self) {
-                self.secret_key.zeroize();
-            }
-        }
-
-        impl<E: Pairing> Drop for $name<E> {
-            fn drop(&mut self) {
-                self.zeroize();
-            }
-        }
-
         /// Create a secret key and corresponding public key
         impl<E: Pairing> $name<E> {
             impl_keypair_generation!(

diff --git a/kvac/src/bddt_2016/proof_cdh.rs b/kvac/src/bddt_2016/proof_cdh.rs
@@ -84,6 +84,7 @@ pub struct PoKOfMACProtocol<G: AffineRepr> {
 #[derive(
     Clone, PartialEq, Eq, Debug, CanonicalSerialize, CanonicalDeserialize, Serialize, Deserialize,
 )]
+#[serde(bound = "")]
 pub struct PoKOfMAC<G: AffineRepr> {
     #[serde_as(as = "ArkObjectBytes")]
     pub B_0: G,