Tweaks

docknetwork · Aug 25, 2023 · 321f890 · 321f890
1 parent 31ccfe9
commit 321f890
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/delegatable_credentials/src/msbm/issuance.rs b/delegatable_credentials/src/msbm/issuance.rs
@@ -120,7 +120,7 @@ impl<E: Pairing> Credential<E> {
     ) -> Result<(Self, Option<UpdateKey<E>>), DelegationError> {
         let mut new_uk = None;
         if let Some(l) = new_update_key_index {
-            assert!(l < update_key.end_index() as u32);
+            assert!(l <= update_key.end_index() + 1);
             new_uk = Some(
                 update_key.trim_key(
                     self.attributes

diff --git a/legogroth16/src/link/snark.rs b/legogroth16/src/link/snark.rs
@@ -131,7 +131,7 @@ impl<PE: Pairing> SubspaceSnark for PESubspaceSnark<PE> {
     }
 
     fn prove(pp: &Self::PP, ek: &Self::EK, w: &[Self::InVec]) -> Result<Self::Proof, LinkError> {
-        if pp.t < w.len() as u64 {
+        if (pp.t as usize) < w.len() {
             return Err(LinkError::VectorLongerThanExpected(w.len(), pp.t as usize));
         }
         Ok(inner_product::<PE>(w, &ek.p))
@@ -143,7 +143,7 @@ impl<PE: Pairing> SubspaceSnark for PESubspaceSnark<PE> {
         x: &[Self::OutVec],
         pi: &Self::Proof,
     ) -> Result<(), LinkError> {
-        if pp.l != x.len() as u64 {
+        if (pp.l as usize) != x.len() {
             return Err(LinkError::VectorWithUnexpectedLength(
                 x.len(),
                 pp.l as usize,