profile_r1cs_sp_ppzkpcd.cpp File Reference

#include <libsnark/common/default_types/r1cs_ppzkpcd_pp.hpp>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/r1cs_sp_ppzkpcd/examples/run_r1cs_sp_ppzkpcd.hpp>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/r1cs_sp_ppzkpcd/r1cs_sp_ppzkpcd.hpp>

Include dependency graph for profile_r1cs_sp_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 23 of file profile_r1cs_sp_ppzkpcd.cpp.

{
    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);
}

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_sp_ppzkpcd.cpp.

{
    const size_t wordsize = 32;
    const bool test_serialization = true;
    const bool bit = run_r1cs_sp_ppzkpcd_tally_example<PCD_ppT>(
        wordsize, arity, max_layer, test_serialization);
    assert(bit);
}