zkp: Add Musig2 module

squash! zkp: Add Musig2 module

Remove agg_pk from KeyAggCache

Co-authored-by: sanket1729 <[email protected]>

Author: GeneFerneau

src/lib.rs

@@ -116,6 +116,22 @@ pub enum Error {
     CannotCreateWhitelistSignature,
     /// The given whitelist signature doesn't correctly prove inclusion in the whitelist.
     InvalidWhitelistProof,
+    /// Cannot establish Musig pre-session
+    InvalidMusigKeyAggCache,
+    /// Invalid tweak to Musig public key
+    InvalidMusigTweak,
+    /// Cannot establish a Musig session
+    InvalidMusigSession,
+    /// Invalid Musig public nonces
+    CannotGenMusigNonce,
+    /// Invalid Musig public nonce
+    InvalidMusigPubNonce,
+    /// Invalid Musig aggregated nonce
+    InvalidMusigAggNonce,
+    /// Invalid Musig partial signature
+    InvalidMusigPartSig,
+    /// Cannot extract Musig secret adaptor
+    InvalidMusigExtract,
 }
 
 // Passthrough Debug to Display, since errors should be user-visible
@@ -143,6 +159,14 @@ impl fmt::Display for Error {
             Error::InvalidWhitelistProof => {
                 "given whitelist signature doesn't correctly prove inclusion in the whitelist"
             }
+            Error::InvalidMusigKeyAggCache => "failed to create Musig pre-session",
+            Error::InvalidMusigTweak => "malformed Musig tweak",
+            Error::InvalidMusigSession => "failed to create a Musig session",
+            Error::CannotGenMusigNonce => "failed to create a Musig nonce pair",
+            Error::InvalidMusigPubNonce => "malformed Musig public nonce(s)",
+            Error::InvalidMusigAggNonce => "malformed Musig aggregated nonce",
+            Error::InvalidMusigPartSig => "malformed Musig partial signature",
+            Error::InvalidMusigExtract => "failed to extract Musig secret adaptor",
         };
 
         f.write_str(str)

src/zkp/mod.rs

@@ -1,6 +1,8 @@
 mod ecdsa_adaptor;
 mod generator;
 #[cfg(feature = "std")]
+mod musig;
+#[cfg(feature = "std")]
 mod pedersen;
 #[cfg(feature = "std")]
 mod rangeproof;
@@ -12,6 +14,8 @@ mod whitelist;
 pub use self::ecdsa_adaptor::*;
 pub use self::generator::*;
 #[cfg(feature = "std")]
+pub use self::musig::*;
+#[cfg(feature = "std")]
 pub use self::pedersen::*;
 #[cfg(feature = "std")]
 pub use self::rangeproof::*;