swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Browse source
This commit is contained in:
swrup 2026-02-17 18:14:09 +01:00
parent d27da65b0b
commit 7c06cfe1a4
3 changed files with 12 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/http_management.ml
View file

@ -86,13 +86,13 @@ module Keys_post = struct
let* () =
list_iter
(fun SignKeySignature.{ key; master_sig } ->
Sm.certify_future_signkey key master_sig)
Sm.certify_future_signkey key ~master_sig)
signkey_sigs
in
let* () =
list_iter
(fun DenomSignature.{ h_denom_pub; master_sig } ->
Sm.certify_future_denomination h_denom_pub master_sig)
Sm.certify_future_denomination h_denom_pub ~master_sig)
denom_sigs
in
let* () = Sm.save () in

10
src/secmod.ml
View file

@ -21,11 +21,13 @@ module type S = sig
val certify_future_signkey :
eddsa_pub ->
Signatures.ExchangeSigningKeyValidity.t ->
master_sig:Signatures.ExchangeSigningKeyValidity.t ->
(unit, string) result
val certify_future_denomination :
denom_hash -> Signatures.DenominationKeyValidity.t -> (unit, string) result
denom_hash ->
master_sig:Signatures.DenominationKeyValidity.t ->
(unit, string) result
val revoke_signkey :
eddsa_pub ->
@ -337,7 +339,7 @@ module Make (Conn : Pg.CONN) = struct
let find_future_signkey pub = Hashtbl.find_opt t.future_sk_ht pub
let find_future_denomination h_pub = Hashtbl.find_opt t.future_dn_ht h_pub
let certify_future_signkey pub master_sig =
let certify_future_signkey pub ~master_sig =
match
( Hashtbl.find_opt t.future_sk_ht pub,
Hashtbl.find_opt t.future_sk_key_ht pub )
@ -377,7 +379,7 @@ module Make (Conn : Pg.CONN) = struct
let* () = Pg.insert_signkey (module Conn) sk |> unwrap_err_caqti in
Ok ())
let certify_future_denomination h_pub master_sig =
let certify_future_denomination h_pub ~master_sig =
match
( Hashtbl.find_opt t.future_dn_ht h_pub,
Hashtbl.find_opt t.future_dn_key_ht h_pub )

6
src/secmod.mli
View file

@ -21,11 +21,13 @@ module type S = sig
val certify_future_signkey :
eddsa_pub ->
Signatures.ExchangeSigningKeyValidity.t ->
master_sig:Signatures.ExchangeSigningKeyValidity.t ->
(unit, string) result
val certify_future_denomination :
denom_hash -> Signatures.DenominationKeyValidity.t -> (unit, string) result
denom_hash ->
master_sig:Signatures.DenominationKeyValidity.t ->
(unit, string) result
val revoke_signkey :
eddsa_pub ->