From 376c1c5b86823473d6511c48a5eed7baa72abc2c Mon Sep 17 00:00:00 2001 From: InfiniteSwerve Date: Mon, 31 Oct 2022 20:42:21 -0700 Subject: [PATCH] added signature verification test --- deku-p/src/core/crypto/tests/alg_intf_tests.ml | 16 ++++++++++++++++ deku-p/src/core/crypto/tests/test_ed25519.ml | 2 ++ 2 files changed, 18 insertions(+) diff --git a/deku-p/src/core/crypto/tests/alg_intf_tests.ml b/deku-p/src/core/crypto/tests/alg_intf_tests.ml index 560c2c4179..4c3e3ac03c 100644 --- a/deku-p/src/core/crypto/tests/alg_intf_tests.ml +++ b/deku-p/src/core/crypto/tests/alg_intf_tests.ml @@ -51,6 +51,16 @@ struct (fun sk -> List.map (fun hash -> (Signature.sign sk hash, hash)) to_sign) secret_keys + + let verified_normal_signatures = + let check_sig pk signatures = + List.map + (fun (signature, hash) -> Signature.verify pk signature hash) + signatures + in + List.map2 + (fun key signatures -> check_sig key signatures) + public_keys signatures end module Test_secret_key_data = struct @@ -145,5 +155,11 @@ struct Alcotest.(check' string) ~msg:"signatures are equal" ~expected:Tezos_data.signatures ~actual:signatures + + let verified_normal_signatures () = + Alcotest.(check' (list (list bool))) + ~msg:"verified normal signatures are equal" + ~expected:Tezos_data.verified_normal_signatures + ~actual:Signature_data.verified_normal_signatures end end diff --git a/deku-p/src/core/crypto/tests/test_ed25519.ml b/deku-p/src/core/crypto/tests/test_ed25519.ml index 9ed84fdc9a..b1841c3b98 100644 --- a/deku-p/src/core/crypto/tests/test_ed25519.ml +++ b/deku-p/src/core/crypto/tests/test_ed25519.ml @@ -102,5 +102,7 @@ let run () = [ test_case "to sign" `Quick Test_signature_data.to_sign; test_case "signatures" `Quick Test_signature_data.signatures; + test_case "verified normal signatures" `Quick + Test_signature_data.verified_normal_signatures; ] ); ]