zethtool Namespace Reference

Namespaces
	commands

Classes
class	curve_and_snark_resolver
class	generic_subcommand

Typedefs
using	global_options = bool
using	zeth_subcommand = libtool::subcommand< global_options >

Variables
zeth_subcommand *	dump_proof_cmd
zeth_subcommand *	joinsplit_circuit_cmd
zeth_subcommand *	prove_cmd
zeth_subcommand *	split_keypair_cmd
zeth_subcommand *	verify_cmd

Typedef Documentation

global_options

using zethtool::global_options = typedef bool

Definition at line 19 of file tool_common.hpp.

zeth_subcommand

using zethtool::zeth_subcommand = typedef libtool::subcommand<global_options>

Definition at line 20 of file tool_common.hpp.

Variable Documentation

dump_proof_cmd

zeth_subcommand * zethtool::dump_proof_cmd

Initial value:

=
    new commands::dump_proof_cmd("dump-proof", "Print an existing proof")

Definition at line 80 of file dump_proof_cmd.cpp.

joinsplit_circuit_cmd

zeth_subcommand * zethtool::joinsplit_circuit_cmd

Initial value:

= new commands::joinsplit_circuit_cmd(
    "joinsplit-circuit",
    "Statistics relating to (and export of) the joinsplit circuit")

Definition at line 87 of file joinsplit_circuit_cmd.cpp.

prove_cmd

zeth_subcommand * zethtool::prove_cmd

Initial value:

= new commands::prove_cmd(
    "prove", "Generate proof given proving key and assignment")

Definition at line 134 of file prove_cmd.cpp.

split_keypair_cmd

zeth_subcommand * zethtool::split_keypair_cmd

Initial value:

= new commands::split_keypair_cmd(
    "split-keypair",
    "Extract the verification key / proving key from a keypair.")

Definition at line 105 of file split_keypair_cmd.cpp.

verify_cmd

zeth_subcommand * zethtool::verify_cmd

Initial value:

= new commands::verify_cmd(
    "verify", "Verify proof against verification key and primary input")

Definition at line 118 of file verify_cmd.cpp.