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

+ validate denominations

Browse source
This commit is contained in:
swrup 2026-02-27 18:55:31 +01:00
parent 61095d77a7
commit 81ac0211a0
1 changed files with 51 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

53
test/validate_response.ml
View file

@ -1,5 +1,4 @@
open Syntax
(*open Crypto*)
let keys content =
let open Api in
@ -74,7 +73,57 @@ let keys content =
}
in
(* validate denominations *)
let* () =
(* TODO parse CS *)
v.denominations
|> list_iter
(fun
(DenomGroup.Rsa
RsaDenomGroup.
{
denoms;
value;
fee_withdraw;
fee_deposit;
fee_refresh;
fee_refund;
})
->
let open RsaDenom in
denoms
|> list_iter
(fun
{
rsa_pub;
master_sig;
stamp_start;
stamp_expire_withdraw;
stamp_expire_deposit;
stamp_expire_legal;
lost= _;
}
->
let denom_hash =
DenominationHash.hash
(Crypto.RsaPublicKey.to_octets rsa_pub)
in
let open Signatures.DenominationKeyValidity in
verify v.master_public_key master_sig
{
R.master= v.master_public_key;
start= stamp_start;
expire_withdraw= stamp_expire_withdraw;
expire_spend= stamp_expire_deposit;
expire_legal= stamp_expire_legal;
value;
fee_withdraw;
fee_deposit;
fee_refresh;
fee_refund;
denom_hash;
}))
in
(* validate global-fees *)
(* validate list_issue_date *)
(* validate auditors *)