Implement BBS+ PoK of Signatures (#3)

* Split crypto.rs into multiple files * PoK of Signatures for BBS+
UbiqueInnovation · Oct 3, 2024 · 9af074f · 9af074f
1 parent b0570a0
commit 9af074f
Show file tree

Hide file tree

Showing 10 changed files with 634 additions and 300 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/next-gen-signatures/Cargo.toml b/next-gen-signatures/Cargo.toml
@@ -33,3 +33,6 @@ bbs_plus = { version = "0.22.0", optional = true }
 blake2 = { version = "0.10.6", optional = true }
 num-bigint = { version = "0.4.6", optional = true }
 rand = { version = "0.8.5", optional = true }
+ark-std = "0.4.0"
+dock_crypto_utils = "0.20.0"
+schnorr_pok = "0.20.0"
diff --git a/next-gen-signatures/src/common.rs b/next-gen-signatures/src/common.rs
@@ -21,13 +21,8 @@ pub trait CryptoProvider {
     fn sk_into_bytes(sk: Self::SecretKey) -> Result<ByteArray>;
     fn sk_from_bytes(bytes: ByteArray) -> Result<Self::SecretKey>;
 
-    fn sign(sk: &Self::SecretKey, msg: ByteArray, params: Self::SignParams) -> Result<ByteArray>;
-    fn verify(
-        pk: Self::PublicKey,
-        msg: ByteArray,
-        sig: ByteArray,
-        params: Self::VerifyParams,
-    ) -> Result<bool>;
+    fn sign(sk: &Self::SecretKey, params: Self::SignParams) -> Result<ByteArray>;
+    fn verify(pk: Self::PublicKey, sig: ByteArray, params: Self::VerifyParams) -> Result<bool>;
 }
 
 #[derive(Debug)]

diff --git a/next-gen-signatures/src/crypto.rs b/next-gen-signatures/src/crypto.rs