zethtool::commands::prove_cmd Class Reference

Inheritance diagram for zethtool::commands::prove_cmd:

Collaboration diagram for zethtool::commands::prove_cmd:

Public Types
using	base_class = generic_subcommand< prove_cmd >

Public Member Functions
	prove_cmd (const std::string &subcommand_name, const std::string &description)
template<typename ppT , typename snarkT >
int	execute_generic (const global_options &)
Public Member Functions inherited from zethtool::generic_subcommand< prove_cmd >
	generic_subcommand (const std::string &subcommand_name, const std::string &description)
Public Member Functions inherited from libtool::subcommand< GlobalOptionsT >
	subcommand (const std::string &subcommand_name, const std::string &description)
virtual	~subcommand ()
const std::string &	description () const
int	execute (const char *argv0, const std::vector< std::string > command_args, const GlobalOptionsT &global)
	Common code to parse options and invoke the virtual execute entrypoint. More...

Protected Member Functions
void	initialize_suboptions (boost::program_options::options_description &options, boost::program_options::options_description &all_options, boost::program_options::positional_options_description &pos) override
	Instantiation can now set up the boost program_options structures. More...
void	parse_suboptions (const boost::program_options::variables_map &vm) override
void	subcommand_usage (const char *argv0) override
	Any command-specific output for usage. More...
Protected Member Functions inherited from zethtool::generic_subcommand< prove_cmd >
void	initialize_suboptions (boost::program_options::options_description &options, boost::program_options::options_description &, boost::program_options::positional_options_description &) override
	Instantiation can now set up the boost program_options structures. More...
void	parse_suboptions (const boost::program_options::variables_map &vm) override
int	execute_subcommand (const global_options &options) override
Protected Member Functions inherited from libtool::subcommand< GlobalOptionsT >
void	usage (const char *argv0, const boost::program_options::options_description &options)
virtual int	execute_subcommand (const GlobalOptionsT &global)=0
	Execute the command using global options defined by the caller. More...

Protected Attributes
std::string	pk_file
std::string	assignment_file
std::string	proof_file
uint16_t	num_primary_inputs
bool	profile
Protected Attributes inherited from zethtool::generic_subcommand< prove_cmd >
std::string	curve
std::string	snark
Protected Attributes inherited from libtool::subcommand< GlobalOptionsT >
std::string	subcommand_name
std::string	subcommand_description

Detailed Description

Definition at line 17 of file prove_cmd.cpp.

Member Typedef Documentation

base_class

using zethtool::commands::prove_cmd::base_class = generic_subcommand<prove_cmd>

Definition at line 20 of file prove_cmd.cpp.

Constructor & Destructor Documentation

prove_cmd()

zethtool::commands::prove_cmd::prove_cmd ( const std::string &  subcommand_name, const std::string &  description  )

inline

Definition at line 22 of file prove_cmd.cpp.

        : base_class(subcommand_name, description)
        , num_primary_inputs(1)
        , profile(false)
    {
    }

Member Function Documentation

execute_generic()

template<typename ppT , typename snarkT >

int zethtool::commands::prove_cmd::execute_generic ( const global_options &  )

inline

Definition at line 31 of file prove_cmd.cpp.

    {
        ppT::init_public_params();
        if (!profile) {
            libff::inhibit_profiling_info = true;
            libff::inhibit_profiling_counters = true;
        }
 
        typename snarkT::proving_key proving_key;
        {
            std::ifstream in_s = libtool::open_binary_input_file(pk_file);
            snarkT::proving_key_read_bytes(proving_key, in_s);
        }
 
        libsnark::r1cs_primary_input<libff::Fr<ppT>> primary;
        libsnark::r1cs_auxiliary_input<libff::Fr<ppT>> auxiliary;
        {
            std::ifstream in_s =
                libtool::open_binary_input_file(assignment_file);
            libzeth::r1cs_variable_assignment_read_bytes(
                primary, auxiliary, num_primary_inputs, in_s);
        }
 
        typename snarkT::proof proof =
            snarkT::generate_proof(proving_key, primary, auxiliary);
 
        // Write to output file
        std::cout << "Writing proof to file: " << proof_file << "\n";
        {
            std::ofstream out_s = libtool::open_binary_output_file(proof_file);
            snarkT::proof_write_bytes(proof, out_s);
        }
 
        return 0;
    }

Here is the call graph for this function:

initialize_suboptions()

void zethtool::commands::prove_cmd::initialize_suboptions ( boost::program_options::options_description &  options, boost::program_options::options_description &  all_options, boost::program_options::positional_options_description &  pos  )

inlineoverrideprotectedvirtual

Instantiation can now set up the boost program_options structures.

Implements libtool::subcommand< GlobalOptionsT >.

Definition at line 68 of file prove_cmd.cpp.

    {
        base_class::initialize_suboptions(options, all_options, pos);
 
        options.add_options()(
            "primary_inputs,p",
            po::value<uint16_t>(),
            "Number of primary inputs (default: 1)")(
            "profile,r", "Enable profiling output");
 
        all_options.add(options).add_options()(
            "pk_file", po::value<std::string>(), "Proving key file");
        all_options.add_options()(
            "assignment_file", po::value<std::string>(), "Assignment file");
        all_options.add_options()(
            "proof_file", po::value<std::string>(), "(Output) Proof file");
 
        pos.add("pk_file", 1);
        pos.add("assignment_file", 1);
        pos.add("proof_file", 1);
    }

Here is the call graph for this function:

parse_suboptions()

void zethtool::commands::prove_cmd::parse_suboptions ( const boost::program_options::variables_map &  vm )

inlineoverrideprotectedvirtual

Instantiation can record any command-specific information from the parsed variables_map.

Implements libtool::subcommand< GlobalOptionsT >.

Definition at line 93 of file prove_cmd.cpp.

    {
        base_class::parse_suboptions(vm);
 
        if (vm.count("pk_file") == 0) {
            throw po::error("pk_file not specified");
        }
        if (vm.count("assignment_file") == 0) {
            throw po::error("assignment_file not specified");
        }
        if (vm.count("proof_file") == 0) {
            throw po::error("proof_file not specified");
        }
 
        pk_file = vm["pk_file"].as<std::string>();
        assignment_file = vm["assignment_file"].as<std::string>();
        proof_file = vm["proof_file"].as<std::string>();
        if (vm.count("primary_inputs")) {
            num_primary_inputs = vm["primary_inputs"].as<uint16_t>();
        }
        profile = (bool)vm.count("profile");
    }

Here is the call graph for this function:

subcommand_usage()

void zethtool::commands::prove_cmd::subcommand_usage ( const char *  argv0 )

inlineoverrideprotectedvirtual

Any command-specific output for usage.

Implements libtool::subcommand< GlobalOptionsT >.

Definition at line 117 of file prove_cmd.cpp.

    {
        std::cout << "Usage:\n"
                     "  "
                  << argv0
                  << " prove [pk_file] [assignment_file] [proof_file]\n";
    }

Member Data Documentation

assignment_file

std::string zethtool::commands::prove_cmd::assignment_file

protected

Definition at line 126 of file prove_cmd.cpp.

num_primary_inputs

uint16_t zethtool::commands::prove_cmd::num_primary_inputs

protected

Definition at line 128 of file prove_cmd.cpp.

pk_file

std::string zethtool::commands::prove_cmd::pk_file

protected

Definition at line 125 of file prove_cmd.cpp.

profile

bool zethtool::commands::prove_cmd::profile

protected

Definition at line 129 of file prove_cmd.cpp.

proof_file

std::string zethtool::commands::prove_cmd::proof_file

protected

Definition at line 127 of file prove_cmd.cpp.

---

The documentation for this class was generated from the following file:

• /home/runner/work/zeth/zeth/zeth_tool/prove_cmd.cpp