JJ: Description from the destination commit:

~~~ almost ok

JJ: Description from source commit:
.
This commit is contained in:
swrup 2026-02-17 12:40:36 +01:00
parent fe5751044d
commit 5b08c00df9
10 changed files with 243 additions and 339 deletions

View file

@ -269,7 +269,7 @@ type eddsa_sig = EddsaSignature.t
type rsa_priv = RsaPrivateKey.t
type rsa_pub = RsaPublicKey.t
type rsa_sig = RsaSignature.t
type denomination_hash = Hash.DenominationHash.t
type denom_hash = Hash.DenominationHash.t
(* WIP *)
module FDH_RSA = struct