Clearmatics Libsnark  0.1
C++ library for zkSNARK proofs
Functions
profile_r1cs_mp_ppzkpcd.cpp File Reference
#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>
Include dependency graph for profile_r1cs_mp_ppzkpcd.cpp:

Go to the source code of this file.

Functions

template<typename PCD_ppT >
void profile_tally (const size_t arity, const size_t max_layer)
 
int main (void)
 

Function Documentation

◆ main()

int main ( void  )

Definition at line 30 of file profile_r1cs_mp_ppzkpcd.cpp.

31 {
32  typedef default_r1cs_ppzkpcd_pp PCD_pp;
33 
34  libff::start_profiling();
35  PCD_pp::init_public_params();
36 
37  const size_t arity = 2;
38  const size_t max_layer = 2;
39 
40  profile_tally<PCD_pp>(arity, max_layer);
41 }

◆ profile_tally()

template<typename PCD_ppT >
void profile_tally ( const size_t  arity,
const size_t  max_layer 
)

Definition at line 14 of file profile_r1cs_mp_ppzkpcd.cpp.

15 {
16  const size_t wordsize = 32;
17  const bool test_serialization = true;
18  const bool test_multi_type = true;
19  const bool test_same_type_optimization = false;
20  const bool bit = run_r1cs_mp_ppzkpcd_tally_example<PCD_ppT>(
21  wordsize,
22  arity,
23  max_layer,
24  test_serialization,
25  test_multi_type,
26  test_same_type_optimization);
27  assert(bit);
28 }
libsnark::default_r1cs_ppzkpcd_pp
Definition: r1cs_ppzkpcd_pp.hpp:23