profile_r1cs_gg_ppzksnark.cpp File Reference

#include <cassert>
#include <cstdio>
#include <libff/common/profiling.hpp>
#include <libff/common/utils.hpp>
#include <libsnark/common/default_types/r1cs_gg_ppzksnark_pp.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/examples/r1cs_examples.hpp>
#include <libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark/examples/run_r1cs_gg_ppzksnark.hpp>

Include dependency graph for profile_r1cs_gg_ppzksnark.cpp:

Go to the source code of this file.

Functions
int	main (int argc, const char *argv[])

Detailed Description

Profiling program that exercises the ppzkSNARK (first generator, then prover, then verifier) on a synthetic R1CS instance.

The command

$

libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark/profiling/profile_r1cs_gg_ppzksnark 1000 10 Fr

exercises the ppzkSNARK (first generator, then prover, then verifier) on an R1CS instance with 1000 equations and an input consisting of 10 field elements.

(If you get the error zmInit ERR:can't protect, see the discussion above.)

The command

$

libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark/profiling/profile_r1cs_gg_ppzksnark 1000 10 bytes

does the same but now the input consists of 10 bytes.

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file profile_r1cs_gg_ppzksnark.cpp.

Function Documentation

main()

int main	(	int	argc,
		const char *	argv[]
	)

Definition at line 41 of file profile_r1cs_gg_ppzksnark.cpp.

{
    default_r1cs_gg_ppzksnark_pp::init_public_params();
    libff::start_profiling();
 
    if (argc == 2 && strcmp(argv[1], "-v") == 0) {
        libff::print_compilation_info();
        return 0;
    }
 
    if (argc != 3 && argc != 4) {
        printf("usage: %s num_constraints input_size [Fr|bytes]\n", argv[0]);
        return 1;
    }
    const int num_constraints = atoi(argv[1]);
    int input_size = atoi(argv[2]);
    if (argc == 4) {
        assert(strcmp(argv[3], "Fr") == 0 || strcmp(argv[3], "bytes") == 0);
        if (strcmp(argv[3], "bytes") == 0) {
            input_size = libff::div_ceil(
                8 * input_size, libff::Fr<libff::default_ec_pp>::capacity());
        }
    }
 
    libff::enter_block("Generate R1CS example");
    r1cs_example<libff::Fr<default_r1cs_gg_ppzksnark_pp>> example =
        generate_r1cs_example_with_field_input<
            libff::Fr<default_r1cs_gg_ppzksnark_pp>>(
            num_constraints, input_size);
    libff::leave_block("Generate R1CS example");
 
    libff::print_header("(enter) Profile R1CS GG-ppzkSNARK");
    const bool test_serialization = true;
    run_r1cs_gg_ppzksnark<default_r1cs_gg_ppzksnark_pp>(
        example, test_serialization);
    libff::print_header("(leave) Profile R1CS GG-ppzkSNARK");
}

Here is the call graph for this function: