This commit is contained in:
swrup 2026-02-17 12:40:36 +01:00
parent fe5751044d
commit 2662e1e790
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