From 049a9785b1631ab1ccbfb0622f4c8b24a3109c4b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michele=20Orr=C3=B9?= Date: Fri, 8 Sep 2023 17:33:48 +0200 Subject: [PATCH] Allow 0-length labels. --- src/plugins/mod.rs | 4 ++-- src/safe.rs | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/plugins/mod.rs b/src/plugins/mod.rs index ad5afa9..cadd3ff 100644 --- a/src/plugins/mod.rs +++ b/src/plugins/mod.rs @@ -4,8 +4,8 @@ pub mod arkworks; #[cfg(feature = "dalek")] pub mod dalek; -#[cfg(feature="zkcrypto")] +#[cfg(feature = "zkcrypto")] pub mod zkcrypto; -#[cfg(all(test, feature="arkworks", feature="dalek", feature="zkcrypto"))] +#[cfg(all(test, feature = "arkworks", feature = "dalek", feature = "zkcrypto"))] mod tests; diff --git a/src/safe.rs b/src/safe.rs index 77c43b5..5954865 100644 --- a/src/safe.rs +++ b/src/safe.rs @@ -70,7 +70,7 @@ impl IOPattern { pub fn absorb(self, count: usize, label: &'static str) -> Self { assert!(count > 0, "Count must be positive"); assert!(!label.contains(SEP_BYTE)); - assert!(!label[..1].parse::().is_ok()); + assert!(label.len() == 0 || !label[..1].parse::().is_ok()); Self::from_string(self.io + SEP_BYTE + &format!("A{}", count) + label) } @@ -78,7 +78,7 @@ impl IOPattern { pub fn squeeze(self, count: usize, label: &'static str) -> Self { assert!(count > 0, "Count must be positive"); assert!(!label.contains(SEP_BYTE)); - assert!(!label[..1].parse::().is_ok()); + assert!(label.len() == 0 || !label[..1].parse::().is_ok()); Self::from_string(self.io + SEP_BYTE + &format!("S{}", count) + label) }