This commit is contained in:
swrup 2026-02-23 19:21:29 +01:00
parent 74d909fa90
commit 47790d6def

View file

@ -275,7 +275,8 @@ type rsa_pub = RsaPublicKey.t
type rsa_sig = RsaSignature.t type rsa_sig = RsaSignature.t
type denom_hash = Hash.DenominationHash.t type denom_hash = Hash.DenominationHash.t
(* WIP *) (* WIP
https://www.taler.net/papers/cs-thesis.pdf *)
module FDH_RSA = struct module FDH_RSA = struct
open Mirage_crypto_pk open Mirage_crypto_pk