8 PROVER_SERVER_ENDPOINT_DEFAULT, PROVER_CONFIGURATION_FILE_DEFAULT, \
9 INSTANCE_FILE_DEFAULT, ZETH_SECRET_ADDRESS_FILE_DEFAULT, WALLET_DIR_DEFAULT, \
10 ETH_NETWORK_FILE_DEFAULT, ETH_NETWORK_DEFAULT
20 from click
import group, command, option, pass_context, ClickException, Context
21 from click_default_group
import DefaultGroup
22 from typing
import Optional
28 def help(ctx: Context) ->
None:
34 print(ctx.parent.get_help())
35 raise ClickException(
"no command specified")
38 @group(cls=DefaultGroup, default_if_no_args=
True, default=
"help")
42 help=
"Ethereum RPC endpoint, network or config file "
43 f
"(default: '{ETH_NETWORK_FILE_DEFAULT}' if it exists, otherwise "
44 f
"'{ETH_NETWORK_DEFAULT}')")
47 default=PROVER_SERVER_ENDPOINT_DEFAULT,
48 help=f
"Prover server endpoint (default={PROVER_SERVER_ENDPOINT_DEFAULT})")
50 "--prover-config-file",
51 default=PROVER_CONFIGURATION_FILE_DEFAULT,
52 help=f
"Prover config file (default={PROVER_CONFIGURATION_FILE_DEFAULT})")
55 default=INSTANCE_FILE_DEFAULT,
56 help=f
"Instance file (default={INSTANCE_FILE_DEFAULT})")
59 default=ZETH_SECRET_ADDRESS_FILE_DEFAULT,
60 help=f
"Zeth zecret address file (default={ZETH_SECRET_ADDRESS_FILE_DEFAULT})")
63 default=WALLET_DIR_DEFAULT,
64 help=f
"Wallet directory (default={WALLET_DIR_DEFAULT})")
68 eth_network: Optional[str],
70 prover_config_file: str,
73 wallet_dir: str) ->
None:
74 if ctx.invoked_subcommand ==
"help":
76 ctx.ensure_object(dict)
78 eth_network=eth_network,
79 prover_server_endpoint=prover_server,
80 prover_config_file=prover_config_file,
81 instance_file=instance_file,
82 address_file=address_file,
83 wallet_dir=wallet_dir)
86 zeth.add_command(get_verification_key)
87 zeth.add_command(deploy)
88 zeth.add_command(gen_address)
89 zeth.add_command(sync)
91 zeth.add_command(wait)
92 zeth.add_command(ls_notes)
93 zeth.add_command(ls_commits)
94 zeth.add_command(help)
97 if __name__ ==
"__main__":