+ SigningKeyAnnouncementPS.bin

This commit is contained in:
swrup 2025-10-17 16:16:50 +02:00
parent c946cb0358
commit c41944a799
2 changed files with 22 additions and 18 deletions

View file

@ -466,6 +466,26 @@ module DenominationKeyAnnouncementPS = struct
|> sealr |> sealr
end end
module SigningKeyAnnouncementPS = struct
(* purpose.purpose = TALER_SIGNATURE_SM_SIGNING_KEY *)
type t = {
exchange_pub: ExchangePublicKeyP.t;
anchor_time: TimeAbsoluteNBO.t;
duration: TimeRelativeNBO.t;
}
let bin =
let open Bin in
Purpose.make_bin Taler_signatures.sm_signing_key @@ fun purpose ->
record (fun _purpose exchange_pub anchor_time duration ->
{ exchange_pub; anchor_time; duration })
|+ Purpose.field purpose
|+ field ExchangePublicKeyP.bin (fun t -> t.exchange_pub)
|+ field TimeAbsoluteNBO.bin (fun t -> t.anchor_time)
|+ field TimeRelativeNBO.bin (fun t -> t.duration)
|> sealr
end
module SingleWithdrawRequestPS = struct module SingleWithdrawRequestPS = struct
(* purpose.purpose = TALER_SIGNATURE_WALLET_RESERVE_WITHDRAW *) (* purpose.purpose = TALER_SIGNATURE_WALLET_RESERVE_WITHDRAW *)
type t = { type t = {
@ -947,15 +967,6 @@ module CoinPurseRefundConfirmationPS = struct
} }
end end
module SigningKeyAnnouncementPS = struct
(* purpose.purpose = TALER_SIGNATURE_SM_SIGNING_KEY *)
type t = {
exchange_pub: ExchangePublicKeyP.t;
anchor_time: TimeAbsoluteNBO.t;
duration: TimeRelativeNBO.t;
}
end
module MasterDenominationKeyRevocationPS = struct module MasterDenominationKeyRevocationPS = struct
(* purpose.purpose = TALER_SIGNATURE_MASTER_DENOMINATION_KEY_REVOKED *) (* purpose.purpose = TALER_SIGNATURE_MASTER_DENOMINATION_KEY_REVOKED *)
type t = { h_denom_pub: DenominationHash.t } type t = { h_denom_pub: DenominationHash.t }

View file

@ -46,15 +46,8 @@ let mk_future_denom denom_secmod_sign_f
in in
let denom_secmod_sig = let denom_secmod_sig =
ps ps
|> |> Bin.to_string Binary_formats.DenominationKeyAnnouncementPS.bin
(* TODO implement |> denom_secmod_sign_f
SigningKeyAnnouncementPS.bin *)
Bin.to_string Binary_formats.DenominationKeyAnnouncementPS.bin
|>
(* TODO sig type *)
(* Signature by the denomination security module
(not this denomination rsa signature) *)
denom_secmod_sign_f
in in
FutureDenom. FutureDenom.
{ {