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

~

Browse source
This commit is contained in:
swrup 2025-12-11 04:25:16 +01:00
parent a7b205b33e
commit c150ff242c
2 changed files with 2 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/management.ml
View file

@ -95,10 +95,10 @@ let mk_future_keys_response ~(sm_signkey : Secmod_signkey.t)
}
(* - ** - *)
open Syntax
let verify_denom_signature ~sm_denom DenomSignature.{ h_denom_pub; master_sig }
=
let open Syntax in
let denom_hash = HashCode.to_denomination_hash h_denom_pub in
let* denom =
Secmod_denom.get_denoms sm_denom
@ -128,7 +128,6 @@ let verify_denom_signature ~sm_denom DenomSignature.{ h_denom_pub; master_sig }
verify ~key:Config.master_public_key master_sig r
let verify_signkey_signature ~sm_signkey SignKeySignature.{ key; master_sig } =
let open Syntax in
let* signkey =
Secmod_signkey.get_signkeys sm_signkey
|> List.find_opt (fun (signkey : Signkey.t) -> signkey.pub = key)
@ -152,7 +151,6 @@ let verify_signkey_signature ~sm_signkey SignKeySignature.{ key; master_sig } =
let verify_master_signatures ~sm_signkey ~sm_denom
MasterSignatures.{ denom_sigs; signkey_sigs } =
let open Syntax in
let* () = list_iter (verify_denom_signature ~sm_denom) denom_sigs in
let* () = list_iter (verify_signkey_signature ~sm_signkey) signkey_sigs in
Ok ()
@ -161,7 +159,6 @@ let verify_master_signatures ~sm_signkey ~sm_denom
(* TODO move to test *)
let check_master_signatures_update ~db_conn ~sm_denom =
let open Syntax in
Secmod_denom.get_denoms sm_denom
|> list_iter (fun denom ->
let error = Error "update_master_signatures sanity check failure" in
@ -192,7 +189,6 @@ let check_master_signatures_update ~db_conn ~sm_denom =
let update_master_signatures ~db_conn ~sm_signkey ~sm_denom
MasterSignatures.{ denom_sigs; signkey_sigs } =
let open Syntax in
let* () =
signkey_sigs
|> List.map (fun SignKeySignature.{ key; master_sig } -> (key, master_sig))
@ -215,7 +211,6 @@ let verify_denom_revocation_sig h_denom_pub
let update_denom_revocation ~db_conn ~sm_denom h_denom_pub
DenomRevocationSignature.{ master_sig } =
let open Syntax in
let* () = Secmod_denom.revoke_denomination sm_denom h_denom_pub master_sig in
let* () =
Pg.insert_denomination_revocation db_conn h_denom_pub master_sig
@ -230,7 +225,6 @@ let verify_signkey_revocation_sig exchange_pub
let update_signkey_revocation ~db_conn ~sm_signkey exchange_pub
SignkeyRevocationSignature.{ master_sig } =
let open Syntax in
let* () = Secmod_signkey.revoke_signkey sm_signkey exchange_pub master_sig in
let* () =
Pg.insert_signkey_revocation db_conn exchange_pub master_sig
@ -255,7 +249,6 @@ let update_auditor ~db_conn
AuditorSetupMessage.
{ auditor_url; auditor_name; auditor_pub; master_sig= _; validity_start }
=
let open Syntax in
let* last_date_opt =
Pg.lookup_auditor_timestamp db_conn auditor_pub |> unwrap_err_caqti
in