test/management.sh

@@ -110,3 +110,10 @@ offline_tool drain \
 --amount $zero_kudos
 offline_tool upload --input $b --url $url"/management/drain"
 echo "[OK] /management/drain"
+
+demo_keys="test/keys.demo.taler.net.v31_0_9.json"
+dune exec test/validate_response.exe -- keys --input $demo_keys
+echo "[OK] validate reference exchange.demo.taler.net/keys"
+offline_tool download --output $a --url $url"/keys"
+dune exec test/validate_response.exe -- keys --input $a
+echo "[OK] validate /keys"

test/validate_response.ml

@@ -34,13 +34,11 @@ let keys content =
                closing_fee;
              })
   in
-  (*Fmt.pr "OK wire_fees@.";*)
 
   let* () =
     v.global_fees
     |> list_iter (GlobalFees.verify_global_fees ~key:v.master_public_key)
   in
-  (*Fmt.pr "OK global_fees@.";*)
 
   let sk_l = List.map SignKey.to_signkey v.signkeys in
   let* () =
@@ -48,7 +46,6 @@ let keys content =
     |> list_iter
          (Signkey.verify_exchange_signing_key_validity ~key:v.master_public_key)
   in
-  (*Fmt.pr "OK signkeys@.";*)
 
   let* () =
     let opt = List.find_opt (fun sk -> sk.Signkey.pub = v.exchange_pub) sk_l in
@@ -69,7 +66,6 @@ let keys content =
           hc= Denomination.hash_over_master_sigs v.denominations;
         }
   in
-  (*Fmt.pr "OK exchange_pub@.";*)
 
   let denom_l = v.denominations |> Denomination.denoms_of_denomgroups in
   let* () =
@@ -77,7 +73,6 @@ let keys content =
     |> list_iter
          (Denomination.verify_denomination_key_validity ~key:v.master_public_key)
   in
-  Fmt.pr "OK denominations@.";
 
   let* () =
     (* TODO O(n^2) *)
@@ -115,7 +110,6 @@ let keys content =
                    denom_hash= dn.h_pub;
                  })
   in
-  Fmt.pr "OK auditors@.";
 
   Ok ()