2026-02-27 17:49:54 +01:00
|
|
|
open Syntax
|
|
|
|
|
(*open Crypto*)
|
|
|
|
|
|
|
|
|
|
let keys content =
|
2026-02-27 18:15:09 +01:00
|
|
|
let open Api in
|
|
|
|
|
let open ExchangeKeysResponse in
|
2026-02-27 17:49:54 +01:00
|
|
|
let* v = Api.decode jsont content in
|
|
|
|
|
let* () =
|
|
|
|
|
if
|
|
|
|
|
Libtool_version.is_compatible
|
|
|
|
|
~implementation:Libtool_version.mte_protocol_version v.version
|
|
|
|
|
then Ok ()
|
|
|
|
|
else Fmt.error "version incompatible"
|
|
|
|
|
in
|
|
|
|
|
|
2026-02-27 18:15:09 +01:00
|
|
|
(* validate ExchangeWireAccount (TODO need hash over json) *)
|
2026-02-27 17:49:54 +01:00
|
|
|
(* validate wire-fees *)
|
2026-02-27 18:15:09 +01:00
|
|
|
let* () =
|
|
|
|
|
let open AggregateTransferFee in
|
|
|
|
|
{ wire_fee; closing_fee; start_date; end_date; sig_ }
|
|
|
|
|
in
|
|
|
|
|
|
2026-02-27 17:49:54 +01:00
|
|
|
(* validate signkeys *)
|
|
|
|
|
(* validate exchange_pub *)
|
|
|
|
|
(* validate denominations *)
|
|
|
|
|
(* validate exchange_sig *)
|
|
|
|
|
(* validate global-fees *)
|
|
|
|
|
(* validate list_issue_date *)
|
|
|
|
|
(* validate auditors *)
|
|
|
|
|
Ok ()
|
|
|
|
|
|
|
|
|
|
(* --- *)
|
|
|
|
|
open Cmdliner
|
|
|
|
|
open Cmdliner.Term.Syntax
|
|
|
|
|
|
|
|
|
|
let keys_cmd =
|
|
|
|
|
let input =
|
|
|
|
|
let doc = "input file" in
|
|
|
|
|
Arg.(required & opt (some filepath) None & info [ "i"; "input" ] ~doc)
|
|
|
|
|
in
|
|
|
|
|
let doc = "validate a /keys JSON response" in
|
|
|
|
|
Cmd.make (Cmd.info "keys" ~doc)
|
|
|
|
|
@@
|
|
|
|
|
let+ input = input in
|
|
|
|
|
let* content =
|
|
|
|
|
Result.bind (Fpath.of_string input) Bos.OS.File.read |> unwrap_err_msg
|
|
|
|
|
in
|
|
|
|
|
keys content
|
|
|
|
|
|
|
|
|
|
let cli =
|
|
|
|
|
let info =
|
|
|
|
|
let doc = "Testing tool to validate exchange responses" in
|
|
|
|
|
Cmd.info "validate" ~doc
|
|
|
|
|
in
|
|
|
|
|
Cmd.group info [ keys_cmd ]
|
|
|
|
|
|
|
|
|
|
let main () = Cmd.eval_result cli
|
|
|
|
|
let () = if !Sys.interactive then () else exit (main ())
|