profile_r1cs_mp_ppzkpcd.cpp

Go to the documentation of this file.

 
#include <libsnark/common/default_types/r1cs_ppzkpcd_pp.hpp>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/r1cs_mp_ppzkpcd/examples/run_r1cs_mp_ppzkpcd.hpp>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/r1cs_mp_ppzkpcd/r1cs_mp_ppzkpcd.hpp>
 
using namespace libsnark;
 
template<typename PCD_ppT>
void profile_tally(const size_t arity, const size_t max_layer)
{
    const size_t wordsize = 32;
    const bool test_serialization = true;
    const bool test_multi_type = true;
    const bool test_same_type_optimization = false;
    const bool bit = run_r1cs_mp_ppzkpcd_tally_example<PCD_ppT>(
        wordsize,
        arity,
        max_layer,
        test_serialization,
        test_multi_type,
        test_same_type_optimization);
    assert(bit);
}
 
int main(void)
{
    typedef default_r1cs_ppzkpcd_pp PCD_pp;
 
    libff::start_profiling();
    PCD_pp::init_public_params();
 
    const size_t arity = 2;
    const size_t max_layer = 2;
 
    profile_tally<PCD_pp>(arity, max_layer);
}