mte/src/management.ml
2025-10-17 17:29:29 +02:00

113 lines
3 KiB
OCaml

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;
value;
stamp_start;
stamp_expire_withdraw;
stamp_expire_deposit;
stamp_expire_legal;
fee_withdraw;
fee_deposit;
fee_refresh;
fee_refund;
pub;
sign= _;
} :
Secmod_denom.rsa_denom) =
let denom_pub = mk_denomination_key pub in
let denom_secmod_sig =
let open Binary_formats in
let h_denom_pub =
(* TODO hash *)
let v = pub |> Types.RsaPublicKey.to_b32 in
DenominationHash.{ v= { v } }
in
let h_section_name =
(* TODO hash *)
let v = section_name in
HashCode.{ v }
in
let anchor_time =
TimeAbsoluteNBO.{ v= Util.ptime_to_int64_us stamp_start }
in
let duration_withdraw =
let v =
Ptime.diff stamp_start stamp_expire_withdraw
|> Util.ptime_of_span_exn
|> Util.ptime_to_int64_us
in
TimeRelativeNBO.{ v }
in
let ps =
DenominationKeyAnnouncementPS.
{ h_denom_pub; h_section_name; anchor_time; duration_withdraw }
in
ps |> Bin.to_string DenominationKeyAnnouncementPS.bin |> denom_secmod_sign_f
in
FutureDenom.
{
section_name;
value;
stamp_start= Timestamp.of_ptime stamp_start;
stamp_expire_withdraw= Timestamp.of_ptime stamp_expire_withdraw;
stamp_expire_deposit= Timestamp.of_ptime stamp_expire_deposit;
stamp_expire_legal= Timestamp.of_ptime stamp_expire_legal;
denom_pub;
fee_withdraw;
fee_deposit;
fee_refresh;
fee_refund;
denom_secmod_sig;
}
let mk_future_sign_key signkey_secmod_sign_f
({ pub; sign= _; stamp_start; stamp_expire; stamp_end } : Secmod_keys.t) =
let exchange_pub =
Binary_formats.ExchangePublicKeyP.{ v= { v= EddsaPublicKey.to_octets pub } }
in
let signkey_secmod_sig =
let open Binary_formats in
let ps =
let anchor_time =
TimeAbsoluteNBO.{ v= Util.ptime_to_int64_us stamp_start }
in
let duration =
let v =
Ptime.diff stamp_start stamp_expire
|> Util.ptime_of_span_exn
|> Util.ptime_to_int64_us
in
TimeRelativeNBO.{ v }
in
SigningKeyAnnouncementPS.{ exchange_pub; anchor_time; duration }
in
ps |> Bin.to_string SigningKeyAnnouncementPS.bin |> signkey_secmod_sign_f
in
FutureSignKey.
{
key= pub;
stamp_start= Timestamp.of_ptime stamp_start;
stamp_expire= Timestamp.of_ptime stamp_expire;
stamp_end= Timestamp.of_ptime stamp_end;
signkey_secmod_sig;
}
let keys req _server _env =
let open Vif.Response in
let open Syntax in
let* () = with_string req "keys .. \n" in
let* () = add ~field:"content-type" "application/json" in
respond `OK