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-18 18:22:10 +01:00
parent 84472e93dd
commit b4e2087308
3 changed files with 85 additions and 67 deletions
Download patch file Download diff file Expand all files Collapse all files

75
.jjconflict-base-0/src/http_management.ml
View file

@ -22,9 +22,9 @@ module Keys_get = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "GET /management/keys/"); Logs.info (fun m -> m "GET /management/keys/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let res = let res =
let v = mk_future_keys_response sm in let v = mk_future_keys_response keys in
let s = Api.encode_exn jsont v in let s = Api.encode_exn jsont v in
Ok s Ok s
in in
@ -76,9 +76,9 @@ module Keys_post = struct
in in
verify_f ~f:Keys.verify_with_master_key master_sig r verify_f ~f:Keys.verify_with_master_key master_sig r
let verify sm MasterSignatures.{ denom_sigs; signkey_sigs } = let verify keys MasterSignatures.{ denom_sigs; signkey_sigs } =
let* () = list_iter (verify_denom_signature sm) denom_sigs in let* () = list_iter (verify_denom_signature keys) denom_sigs in
let* () = list_iter (verify_signkey_signature sm) signkey_sigs in let* () = list_iter (verify_signkey_signature keys) signkey_sigs in
Ok () Ok ()
let do_ ~db_conn:_ (module Keys : Keys.S) let do_ ~db_conn:_ (module Keys : Keys.S)
@ -103,11 +103,11 @@ module Keys_post = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/keys/"); Logs.info (fun m -> m "POST /management/keys/");
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn sm v in let* () = do_ ~db_conn keys v in
Ok "" Ok ""
in in
Respond.result res req Respond.result res req
@ -119,21 +119,26 @@ module Denom_revoke = struct
let open Signatures.MasterDenominationKeyRevocation in let open Signatures.MasterDenominationKeyRevocation in
verify_f ~f:Keys.verify_with_master_key master_sig { h_denom_pub } verify_f ~f:Keys.verify_with_master_key master_sig { h_denom_pub }
let do_ (module Keys : Keys.S) h_denom_pub let do_ ~db_conn (module Keys : Keys.S) h_denom_pub
DenomRevocationSignature.{ master_sig } = DenomRevocationSignature.{ master_sig } =
let+ () = Keys.revoke_denomination h_denom_pub master_sig in let* () = Keys.revoke_denomination h_denom_pub master_sig in
let+ () =
Pg.insert_denomination_revocation db_conn h_denom_pub master_sig
|> unwrap_err_caqti
in
() ()
let jsont = DenomRevocationSignature.jsont let jsont = DenomRevocationSignature.jsont
let f req h_denom_pub server _env = let f req h_denom_pub server _env =
Logs.info (fun m -> m "POST /management/denominations/$H_DENOM_PUB/revoke/"); Logs.info (fun m -> m "POST /management/denominations/$H_DENOM_PUB/revoke/");
let sm = Vif.Server.device Devices.secmod server in let db_conn = Vif.Server.device Devices.db_connection server in
let keys = Vif.Server.device Devices.keys server in
let res = let res =
let* h_denom_pub = DenominationHash.of_b32 h_denom_pub in let* h_denom_pub = DenominationHash.of_b32 h_denom_pub in
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm h_denom_pub v in let* () = verify keys h_denom_pub v in
let* () = do_ sm h_denom_pub v in let* () = do_ ~db_conn keys h_denom_pub v in
Ok "" Ok ""
in in
Respond.result res req Respond.result res req
@ -145,9 +150,13 @@ module Signkey_revoke = struct
let open Signatures.MasterSigningKeyRevocation in let open Signatures.MasterSigningKeyRevocation in
verify_f ~f:Keys.verify_with_master_key master_sig { exchange_pub } verify_f ~f:Keys.verify_with_master_key master_sig { exchange_pub }
let do_ (module Keys : Keys.S) exchange_pub let do_ ~db_conn (module Keys : Keys.S) exchange_pub
SignkeyRevocationSignature.{ master_sig } = SignkeyRevocationSignature.{ master_sig } =
let+ () = Keys.revoke_signkey exchange_pub master_sig in let* () = Keys.revoke_signkey exchange_pub master_sig in
let+ () =
Pg.insert_signkey_revocation db_conn exchange_pub master_sig
|> unwrap_err_caqti
in
() ()
let jsont = SignkeyRevocationSignature.jsont let jsont = SignkeyRevocationSignature.jsont
@ -208,11 +217,11 @@ module Auditors = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/auditors/"); Logs.info (fun m -> m "POST /management/auditors/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -248,12 +257,12 @@ module Auditors_disable = struct
let f req auditor_pub server _env = let f req auditor_pub server _env =
Logs.info (fun m -> m "POST /management/auditors/$AUDITOR_PUB/revoke/"); Logs.info (fun m -> m "POST /management/auditors/$AUDITOR_PUB/revoke/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* auditor_pub = Crypto.EddsaPublicKey.of_b32 auditor_pub in let* auditor_pub = Crypto.EddsaPublicKey.of_b32 auditor_pub in
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm auditor_pub v in let* () = verify keys auditor_pub v in
let* () = do_ ~db_conn auditor_pub v in let* () = do_ ~db_conn auditor_pub v in
Ok "" Ok ""
in in
@ -308,11 +317,11 @@ module Wire_fee = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/wire-fee/"); Logs.info (fun m -> m "POST /management/wire-fee/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -379,11 +388,11 @@ module Global_fees = struct
and once set for a timeframe, it should not change. *) and once set for a timeframe, it should not change. *)
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/global-fees/"); Logs.info (fun m -> m "POST /management/global-fees/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -458,11 +467,11 @@ module Wire = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/wire/"); Logs.info (fun m -> m "POST /management/wire/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -493,11 +502,11 @@ module Wire_disable = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/wire/disable/"); Logs.info (fun m -> m "POST /management/wire/disable/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -533,11 +542,11 @@ module Drain = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/drain/"); Logs.info (fun m -> m "POST /management/drain/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -573,11 +582,11 @@ module AmlOfficer = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/aml-officers/"); Logs.info (fun m -> m "POST /management/aml-officers/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -615,11 +624,11 @@ module Partners = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/partners/"); Logs.info (fun m -> m "POST /management/partners/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in

58
.jjconflict-side-0/src/http_management.ml
View file

@ -22,9 +22,9 @@ module Keys_get = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "GET /management/keys/"); Logs.info (fun m -> m "GET /management/keys/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let res = let res =
let v = mk_future_keys_response sm in let v = mk_future_keys_response keys in
let s = Api.encode_exn jsont v in let s = Api.encode_exn jsont v in
Ok s Ok s
in in
@ -76,9 +76,9 @@ module Keys_post = struct
in in
verify_f ~f:Keys.verify_with_master_key master_sig r verify_f ~f:Keys.verify_with_master_key master_sig r
let verify sm MasterSignatures.{ denom_sigs; signkey_sigs } = let verify keys MasterSignatures.{ denom_sigs; signkey_sigs } =
let* () = list_iter (verify_denom_signature sm) denom_sigs in let* () = list_iter (verify_denom_signature keys) denom_sigs in
let* () = list_iter (verify_signkey_signature sm) signkey_sigs in let* () = list_iter (verify_signkey_signature keys) signkey_sigs in
Ok () Ok ()
let do_ ~db_conn:_ (module Keys : Keys.S) let do_ ~db_conn:_ (module Keys : Keys.S)
@ -103,11 +103,11 @@ module Keys_post = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/keys/"); Logs.info (fun m -> m "POST /management/keys/");
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn sm v in let* () = do_ ~db_conn keys v in
Ok "" Ok ""
in in
Respond.result res req Respond.result res req
@ -133,12 +133,12 @@ module Denom_revoke = struct
let f req h_denom_pub server _env = let f req h_denom_pub server _env =
Logs.info (fun m -> m "POST /management/denominations/$H_DENOM_PUB/revoke/"); Logs.info (fun m -> m "POST /management/denominations/$H_DENOM_PUB/revoke/");
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let res = let res =
let* h_denom_pub = DenominationHash.of_b32 h_denom_pub in let* h_denom_pub = DenominationHash.of_b32 h_denom_pub in
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm h_denom_pub v in let* () = verify keys h_denom_pub v in
let* () = do_ ~db_conn sm h_denom_pub v in let* () = do_ ~db_conn keys h_denom_pub v in
Ok "" Ok ""
in in
Respond.result res req Respond.result res req
@ -218,11 +218,11 @@ module Auditors = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/auditors/"); Logs.info (fun m -> m "POST /management/auditors/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -258,12 +258,12 @@ module Auditors_disable = struct
let f req auditor_pub server _env = let f req auditor_pub server _env =
Logs.info (fun m -> m "POST /management/auditors/$AUDITOR_PUB/revoke/"); Logs.info (fun m -> m "POST /management/auditors/$AUDITOR_PUB/revoke/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* auditor_pub = Crypto.EddsaPublicKey.of_b32 auditor_pub in let* auditor_pub = Crypto.EddsaPublicKey.of_b32 auditor_pub in
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm auditor_pub v in let* () = verify keys auditor_pub v in
let* () = do_ ~db_conn auditor_pub v in let* () = do_ ~db_conn auditor_pub v in
Ok "" Ok ""
in in
@ -318,11 +318,11 @@ module Wire_fee = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/wire-fee/"); Logs.info (fun m -> m "POST /management/wire-fee/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -389,11 +389,11 @@ module Global_fees = struct
and once set for a timeframe, it should not change. *) and once set for a timeframe, it should not change. *)
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/global-fees/"); Logs.info (fun m -> m "POST /management/global-fees/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -468,11 +468,11 @@ module Wire = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/wire/"); Logs.info (fun m -> m "POST /management/wire/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -503,11 +503,11 @@ module Wire_disable = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/wire/disable/"); Logs.info (fun m -> m "POST /management/wire/disable/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -543,11 +543,11 @@ module Drain = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/drain/"); Logs.info (fun m -> m "POST /management/drain/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -583,11 +583,11 @@ module AmlOfficer = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/aml-officers/"); Logs.info (fun m -> m "POST /management/aml-officers/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in
@ -625,11 +625,11 @@ module Partners = struct
let f req server _env = let f req server _env =
Logs.info (fun m -> m "POST /management/partners/"); Logs.info (fun m -> m "POST /management/partners/");
let sm = Vif.Server.device Devices.secmod server in let keys = Vif.Server.device Devices.keys server in
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let res = let res =
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify sm v in let* () = verify keys v in
let* () = do_ ~db_conn v in let* () = do_ ~db_conn v in
Ok "" Ok ""
in in

19
.jjconflict-side-1/src/http_management.ml
View file

@ -119,21 +119,26 @@ module Denom_revoke = struct
let open Signatures.MasterDenominationKeyRevocation in let open Signatures.MasterDenominationKeyRevocation in
verify_f ~f:Keys.verify_with_master_key master_sig { h_denom_pub } verify_f ~f:Keys.verify_with_master_key master_sig { h_denom_pub }
let do_ (module Keys : Keys.S) h_denom_pub let do_ ~db_conn (module Keys : Keys.S) h_denom_pub
DenomRevocationSignature.{ master_sig } = DenomRevocationSignature.{ master_sig } =
let+ () = Keys.revoke_denomination h_denom_pub master_sig in let* () = Keys.revoke_denomination h_denom_pub master_sig in
let+ () =
Pg.insert_denomination_revocation db_conn h_denom_pub master_sig
|> unwrap_err_caqti
in
() ()
let jsont = DenomRevocationSignature.jsont let jsont = DenomRevocationSignature.jsont
let f req h_denom_pub server _env = let f req h_denom_pub server _env =
Logs.info (fun m -> m "POST /management/denominations/$H_DENOM_PUB/revoke/"); Logs.info (fun m -> m "POST /management/denominations/$H_DENOM_PUB/revoke/");
let db_conn = Vif.Server.device Devices.db_connection server in
let keys = Vif.Server.device Devices.keys server in let keys = Vif.Server.device Devices.keys server in
let res = let res =
let* h_denom_pub = DenominationHash.of_b32 h_denom_pub in let* h_denom_pub = DenominationHash.of_b32 h_denom_pub in
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify keys h_denom_pub v in let* () = verify keys h_denom_pub v in
let* () = do_ keys h_denom_pub v in let* () = do_ ~db_conn keys h_denom_pub v in
Ok "" Ok ""
in in
Respond.result res req Respond.result res req
@ -145,9 +150,13 @@ module Signkey_revoke = struct
let open Signatures.MasterSigningKeyRevocation in let open Signatures.MasterSigningKeyRevocation in
verify_f ~f:Keys.verify_with_master_key master_sig { exchange_pub } verify_f ~f:Keys.verify_with_master_key master_sig { exchange_pub }
let do_ (module Keys : Keys.S) exchange_pub let do_ ~db_conn (module Keys : Keys.S) exchange_pub
SignkeyRevocationSignature.{ master_sig } = SignkeyRevocationSignature.{ master_sig } =
let+ () = Keys.revoke_signkey exchange_pub master_sig in let* () = Keys.revoke_signkey exchange_pub master_sig in
let+ () =
Pg.insert_signkey_revocation db_conn exchange_pub master_sig
|> unwrap_err_caqti
in
() ()
let jsont = SignkeyRevocationSignature.jsont let jsont = SignkeyRevocationSignature.jsont