5 from click
import command, option, Context, pass_context
9 from typing
import Optional
13 @option(
"--vk-out",
"-o", help=
"Output file")
23 vk = prover_client.get_verification_key()
24 vk_json = vk.to_json_dict()
28 with open(vk_out,
"w")
as vk_f:
29 json.dump(vk_json, vk_f)
31 print(json.dumps(vk_json))