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

quickfix rsa_sig shadowing string type

Browse source
This commit is contained in:
swrup 2026-03-14 20:02:03 +01:00
parent d28195366e
commit dd65568d66
3 changed files with 13 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/fdh_rsa.ml
View file

@ -72,12 +72,9 @@ let unblind_sig pub ~bks bsig =
let data = Z.rem (Z.mul data r_inv) pub.n in
Z_extra.to_octets_be data
(* decrypt <=> sign *)
let sign ~key bmsg = Mirage_crypto_pk.Rsa.decrypt ~crt_hardening:true ~key bmsg
let verify ~key s ~msg =
let msg_fdh = rsa_full_domain_hash key msg in
let s1 = Z_extra.to_octets_be msg_fdh in
let s1 = Mirage_crypto_pk.Z_extra.to_octets_be msg_fdh in
let s2 = Mirage_crypto_pk.Rsa.encrypt ~key s in
match Eqaf.equal s1 s2 with
| false -> Fmt.error "RSA signature verification failed"