profile_bacs_ppzksnark.cpp

Go to the documentation of this file.

 
#include <cstdio>
#include <libff/common/profiling.hpp>
#include <libsnark/common/default_types/bacs_ppzksnark_pp.hpp>
#include <libsnark/relations/circuit_satisfaction_problems/bacs/examples/bacs_examples.hpp>
#include <libsnark/zk_proof_systems/ppzksnark/bacs_ppzksnark/examples/run_bacs_ppzksnark.hpp>
 
using namespace libsnark;
 
int main(int argc, const char *argv[])
{
    default_bacs_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) {
        printf("usage: %s num_gates primary_input_size\n", argv[0]);
        return 1;
    }
    const int num_gates = atoi(argv[1]);
    int primary_input_size = atoi(argv[2]);
 
    const size_t auxiliary_input_size = 0;
    const size_t num_outputs = num_gates / 2;
 
    libff::enter_block("Generate BACS example");
    bacs_example<libff::Fr<default_bacs_ppzksnark_pp>> example =
        generate_bacs_example<libff::Fr<default_bacs_ppzksnark_pp>>(
            primary_input_size, auxiliary_input_size, num_gates, num_outputs);
    libff::leave_block("Generate BACS example");
 
    libff::print_header("(enter) Profile BACS ppzkSNARK");
    const bool test_serialization = true;
    run_bacs_ppzksnark<default_bacs_ppzksnark_pp>(example, test_serialization);
    libff::print_header("(leave) Profile BACS ppzkSNARK");
}