From b303c874a7f8d265c3d51edf80129b4ae8fdc46e Mon Sep 17 00:00:00 2001 From: swrup Date: Tue, 24 Feb 2026 21:30:37 +0100 Subject: [PATCH] --- test/test_crypto.ml | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/test/test_crypto.ml b/test/test_crypto.ml index 28c1e780..c26481f3 100644 --- a/test/test_crypto.ml +++ b/test/test_crypto.ml @@ -108,3 +108,16 @@ let () = assert (encode bmsg = blinded_message); () + +let () = Mirage_crypto_rng_unix.use_default () + +let () = + let open Crypto in + let priv, pub = RsaPrivateKey.generate ~bits:2048 () in + let bks = "deadbeaf" in + let msg = "uhuh." in + let sig_ = Fdh_rsa.sign ~priv ~pub ~bks ~msg in + let res = Fdh_rsa.verify pub ~msg ~sig_ in + assert (Result.is_ok res); + + ()