This commit is contained in:
swrup 2025-10-17 17:34:40 +02:00
parent 812b81a966
commit 58b6fdffec

View file

@ -2,15 +2,11 @@ open Types
(* TODO
- take secmod devices as param
- time stuff
- hash stuff
what is the hash algorithm
is it hash'ed then base32'ed in xxxP?
... *)
let mk_denomination_key rsa_pub =
DenominationKey.Rsa RsaDenominationKey.{ age_mask= 0; rsa_pub }
let mk_future_denom denom_secmod_sign_f
({
section_name;
@ -27,7 +23,9 @@ let mk_future_denom denom_secmod_sign_f
sign= _;
} :
Secmod_denom.rsa_denom) =
let denom_pub = mk_denomination_key pub in
let denom_pub =
DenominationKey.Rsa RsaDenominationKey.{ age_mask= 0; rsa_pub= pub }
in
let denom_secmod_sig =
let open Binary_formats in
let h_denom_pub =