This commit is contained in:
swrup 2025-10-17 17:34:40 +02:00
parent 812b81a966
commit c992e1d402
2 changed files with 5 additions and 5 deletions

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 =

View file

@ -19,10 +19,12 @@ let () =
check_bad Timestamp.jsont {|{"t_s": "agagou"}|};
(* TODO use a valid rsa_pub value *)
(*
check DenominationKey.jsont
{|{"cipher": "RSA", "age_mask": 18, "rsa_pub": "agagouh"}|};
check DenominationKey.jsont
{|{"cipher": "CS", "age_mask": 18, "cs_pub": "ouhagag"}|};
*)
()
let () =