test_fooram.cpp File Reference

#include <libff/common/utils.hpp>
#include <libsnark/common/default_types/r1cs_ppzkpcd_pp.hpp>
#include <libsnark/common/default_types/r1cs_ppzksnark_pp.hpp>
#include <libsnark/relations/ram_computations/rams/fooram/fooram_params.hpp>
#include <libsnark/zk_proof_systems/ppzksnark/ram_ppzksnark/examples/run_ram_ppzksnark.hpp>
#include <libsnark/zk_proof_systems/zksnark/ram_zksnark/examples/run_ram_zksnark.hpp>

Include dependency graph for test_fooram.cpp:

Go to the source code of this file.

Classes
class	libsnark::default_fooram_zksnark_pp
class	libsnark::default_fooram_ppzksnark_pp

Namespaces
	libsnark

Functions
template<typename ppT >
void	profile_ram_zksnark (const size_t w)
template<typename ppT >
void	profile_ram_ppzksnark (const size_t w)
int	main (int argc, const char *argv[])

Function Documentation

main()

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

Definition at line 67 of file test_fooram.cpp.

{
    libff::UNUSED(argv);
    libff::start_profiling();
    default_fooram_ppzksnark_pp::init_public_params();
    default_fooram_zksnark_pp::init_public_params();
 
    if (argc == 1) {
        profile_ram_zksnark<default_fooram_zksnark_pp>(32);
    } else {
        profile_ram_ppzksnark<default_fooram_ppzksnark_pp>(8);
    }
}

Here is the call graph for this function:

profile_ram_ppzksnark()

template<typename ppT >

void profile_ram_ppzksnark

(

const size_t

w

)

Definition at line 54 of file test_fooram.cpp.

{
    typedef ram_ppzksnark_machine_pp<ppT> ramT;
 
    ram_example<ramT> example;
    example.ap = ram_architecture_params<ramT>(w);
    example.boot_trace_size_bound = 0;
    example.time_bound = 100;
    const bool test_serialization = true;
    const bool bit = run_ram_ppzksnark<ppT>(example, test_serialization);
    assert(bit);
}

profile_ram_zksnark()

template<typename ppT >

void profile_ram_zksnark

(

const size_t

w

)

Definition at line 41 of file test_fooram.cpp.

{
    typedef ram_zksnark_machine_pp<ppT> ramT;
 
    ram_example<ramT> example;
    example.ap = ram_architecture_params<ramT>(w);
    example.boot_trace_size_bound = 0;
    example.time_bound = 10;
    const bool test_serialization = true;
    const bool bit = run_ram_zksnark<ppT>(example, test_serialization);
    assert(bit);
}