added signature zero test

Author: InfiniteSwerve

deku-p/src/core/crypto/tests/alg_intf_tests.ml

@@ -96,6 +96,8 @@ struct
       List.for_all
         (fun (signature, _) -> Signature.equal signature signature)
         (List.flatten signatures)
+
+    let zero = Signature.(to_b58 zero)
   end
 
   module Test_secret_key_data = struct
@@ -217,5 +219,10 @@ struct
       Alcotest.(check' bool)
         ~msg:"signature equality works" ~expected:Tezos_data.equality_signatures
         ~actual:Signature_data.equality_signatures
+
+    let zero () =
+      Alcotest.(check' string)
+        ~msg:"zeros are equal" ~expected:Tezos_data.zero
+        ~actual:Signature_data.zero
   end
 end

deku-p/src/core/crypto/tests/data_for_tests/data_gen.ml

@@ -154,6 +154,7 @@ struct
         (List.flatten signatures)
 
     let zero = to_b58check zero
+    let size = Signature.size
   end
 
   module Print_secret_key = struct
@@ -266,5 +267,6 @@ struct
       Format.printf "let equality_signatures = %b\n%!" Sig.equality_signatures
 
     let print_zero () = Format.printf "let size = %s\n%!" Sig.zero
+    let print_size () = Format.printf "let size = %d\n%!" Sig.size
   end
 end

deku-p/src/core/crypto/tests/test_ed25519.ml

@@ -108,5 +108,6 @@ let run () =
             Test_signature_data.verified_after_conversion;
           test_case "compare" `Quick Test_signature_data.compare;
           test_case "equality" `Quick Test_signature_data.equality;
+          test_case "zero" `Quick Test_signature_data.zero;
         ] );
     ]

deku-p/src/core/crypto/tests/tezos_test_data.ml

@@ -13,6 +13,7 @@ module type Tezos_data = sig
   val compare_signatures : string
   val equality_signatures : bool
   val zero : string
+  val size : int
 end
 
 module Ed25519_data : Tezos_data = struct
@@ -89,4 +90,6 @@ module Ed25519_data : Tezos_data = struct
 
   let zero =
     "edsigtXomBKi5CTRf5cjATJWSyaRvhfYNHqSUGrn4SdbYRcGwQrUGjzEfQDTuqHhuA8b2d8NarZjz8TRf65WkpQmo423BtomS8Q"
+
+  let size = 64
 end