swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Browse source
This commit is contained in:
swrup 2026-02-24 23:20:50 +01:00
parent ae3a0c90c4
commit 28304360d3
3 changed files with 13 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

8
test/test_crypto.ml
View file

@ -104,7 +104,7 @@ let () =
in
let bks = blinding_key_secret |> decode in
let msg = decode message_hash in
let bmsg = Fdh_rsa.rsa_blind pub ~bks msg in
let bmsg = Fdh_rsa.blind_msg pub ~bks msg in
assert (encode bmsg = blinded_message);
()
@ -116,8 +116,10 @@ let () =
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
let bmsg = Fdh_rsa.blind_msg pub ~bks msg in
let bsig = Fdh_rsa.sign ~key:priv bmsg in
let sig_ = Fdh_rsa.unblind_sig pub ~bks bsig in
let res = Fdh_rsa.verify ~key:pub sig_ ~msg in
assert (Result.is_ok res);
()