Add serialized point constant

crate-crypto · Feb 6, 2024 · 09f80c6 · 09f80c6
1 parent ce90fa1
commit 09f80c6
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/ffi_interface/src/lib.rs b/ffi_interface/src/lib.rs
@@ -54,6 +54,12 @@ pub type CommitmentBytes = [u8; 64];
 /// A serialized scalar field element
 pub type ScalarBytes = [u8; 32];
 
+/// This is the identity element of the group
+pub const ZERO_POINT: CommitmentBytes = [
+    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+    1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+];
+
 #[derive(Debug, Clone)]
 pub enum Error {
     LengthOfScalarsNotMultipleOf32 { len: usize },
@@ -519,6 +525,13 @@ mod tests {
     }
 }
 
+#[test]
+fn check_identity_constant() {
+    let identity = Element::zero();
+    let identity_bytes = identity.to_bytes_uncompressed();
+    assert_eq!(identity_bytes, ZERO_POINT);
+}
+
 #[cfg(test)]
 mod pedersen_hash_tests {
     use ipa_multipoint::{committer::DefaultCommitter, crs::CRS};