demo_r1cs_ppzkadsnark.cpp File Reference

#include <algorithm>
#include <cassert>
#include <cstdio>
#include <cstring>
#include <libff/common/profiling.hpp>
#include <libsnark/common/default_types/r1cs_ppzkadsnark_pp.hpp>
#include <libsnark/zk_proof_systems/ppzkadsnark/r1cs_ppzkadsnark/examples/run_r1cs_ppzkadsnark.hpp>
#include <vector>

Include dependency graph for demo_r1cs_ppzkadsnark.cpp:

Go to the source code of this file.

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

Function Documentation

main()

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

Definition at line 18 of file demo_r1cs_ppzkadsnark.cpp.

{
    default_r1cs_ppzkadsnark_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<snark_pp<default_r1cs_ppzkadsnark_pp>>::num_bits - 1);
        }
    }
 
    libff::enter_block("Generate R1CS example");
    r1cs_example<libff::Fr<snark_pp<default_r1cs_ppzkadsnark_pp>>> example =
        generate_r1cs_example_with_field_input<
            libff::Fr<snark_pp<default_r1cs_ppzkadsnark_pp>>>(
            num_constraints, input_size);
    libff::leave_block("Generate R1CS example");
 
    libff::print_header("(enter) Profile R1CS ppzkADSNARK");
    const bool test_serialization = true;
    run_r1cs_ppzkadsnark<default_r1cs_ppzkadsnark_pp>(
        example, test_serialization);
    libff::print_header("(leave) Profile R1CS ppzkADSNARK");
}

Here is the call graph for this function: