feat: group

Author: brech1

src/baby_jubjub.rs

@@ -99,6 +99,7 @@ pub const BASE_Y: Fq =
 #[cfg(test)]
 mod tests {
     //! Implementation of the tests presented in the EIP-2494
+
     use super::*;
     use ark_ec::CurveGroup;
     use ark_ff::{PrimeField, Zero};

src/error.rs

@@ -1,17 +1,32 @@
 //! Error Module
 
 use thiserror::Error;
+use zk_kit_lean_imt::lean_imt::LeanIMTError;
 
 #[derive(Error, Debug, PartialEq, Eq)]
 pub enum SemaphoreError {
+    #[error("Member already removed")]
+    AlreadyRemovedMember,
+    #[error("Member value is empty")]
+    EmptyLeaf,
     #[error("Input array of size {0} exceeds maximum allowed length of 32 bytes")]
     InputSizeExceeded(usize),
-    #[error("Public key validation failed: point is not on curve")]
-    PublicKeyNotOnCurve,
-    #[error("Signature verification failed")]
-    SignatureVerificationFailed,
+    #[error("LeanIMT error: {0}")]
+    LeanIMTError(LeanIMTError),
     #[error("Message of size {0} exceeds maximum allowed length of 32 bytes")]
     MessageSizeExceeded(usize),
+    #[error("Public key validation failed: point is not on curve")]
+    PublicKeyNotOnCurve,
+    #[error("Member has been removed")]
+    RemovedMember,
     #[error("Signature point R is not on curve")]
     SignaturePointNotOnCurve,
+    #[error("Signature verification failed")]
+    SignatureVerificationFailed,
+}
+
+impl From<LeanIMTError> for SemaphoreError {
+    fn from(error: LeanIMTError) -> Self {
+        SemaphoreError::LeanIMTError(error)
+    }
 }