This commit is contained in:
swrup 2026-02-27 21:25:40 +01:00
parent 368e595d44
commit 4dd9327d61

View file

@ -34,13 +34,15 @@ let keys content =
closing_fee; closing_fee;
}) })
in in
(*Fmt.pr "OK wire_fees@.";*)
let sk_l = List.map SignKey.to_signkey v.signkeys in let sk_l = List.map SignKey.to_signkey v.signkeys in
let* () = let* () =
sk_l sk_l
|> list_iter |> list_iter
(Signkey.verify_exchange_signing_key_validity ~key:v.exchange_pub) (Signkey.verify_exchange_signing_key_validity ~key:v.master_public_key)
in in
(*Fmt.pr "OK signkeys@.";*)
let* () = let* () =
let opt = List.find_opt (fun sk -> sk.Signkey.pub = v.exchange_pub) sk_l in let opt = List.find_opt (fun sk -> sk.Signkey.pub = v.exchange_pub) sk_l in
@ -61,13 +63,13 @@ let keys content =
hc= Denomination.hash_over_master_sigs v.denominations; hc= Denomination.hash_over_master_sigs v.denominations;
} }
in in
(*Fmt.pr "OK exchange_pub@.";*)
let denom_l = v.denominations |> Denomination.denoms_of_denomgroups in let denom_l = v.denominations |> Denomination.denoms_of_denomgroups in
let* () = let* () =
denom_l denom_l
|> list_iter (fun dn -> |> list_iter
Denomination.verify_denomination_key_validity ~key:v.master_public_key (Denomination.verify_denomination_key_validity ~key:v.master_public_key)
dn)
in in
let* () = let* () =
let last_issue_date = let last_issue_date =
@ -78,11 +80,13 @@ let keys content =
if last_issue_date = v.list_issue_date then Ok () if last_issue_date = v.list_issue_date then Ok ()
else Fmt.error "list_issue_date is wrong" else Fmt.error "list_issue_date is wrong"
in in
(*Fmt.pr "OK denominations@.";*)
let* () = let* () =
v.global_fees v.global_fees
|> list_iter (GlobalFees.verify_global_fees ~key:v.master_public_key) |> list_iter (GlobalFees.verify_global_fees ~key:v.master_public_key)
in in
(*Fmt.pr "OK global_fees@.";*)
let* () = let* () =
(* TODO O(n^2) *) (* TODO O(n^2) *)
@ -120,6 +124,7 @@ let keys content =
denom_hash= dn.h_pub; denom_hash= dn.h_pub;
}) })
in in
(*Fmt.pr "OK auditors@.";*)
Ok () Ok ()