From 7c06cfe1a467e11f53843f76819d918c843abf03 Mon Sep 17 00:00:00 2001 From: swrup Date: Tue, 17 Feb 2026 18:14:09 +0100 Subject: [PATCH] --- src/http_management.ml | 4 ++-- src/secmod.ml | 10 ++++++---- src/secmod.mli | 6 ++++-- 3 files changed, 12 insertions(+), 8 deletions(-) diff --git a/src/http_management.ml b/src/http_management.ml index 06e9450b..6e739205 100644 --- a/src/http_management.ml +++ b/src/http_management.ml @@ -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 diff --git a/src/secmod.ml b/src/secmod.ml index 04aad16b..9e08f408 100644 --- a/src/secmod.ml +++ b/src/secmod.ml @@ -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 ) diff --git a/src/secmod.mli b/src/secmod.mli index 9b3f2b57..cedff889 100644 --- a/src/secmod.mli +++ b/src/secmod.mli @@ -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 ->