ram_examples.hpp File Reference

#include <libsnark/relations/ram_computations/rams/ram_params.hpp>
#include <libsnark/relations/ram_computations/rams/examples/ram_examples.tcc>

Include dependency graph for ram_examples.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	libsnark::ram_example< ramT >

Namespaces
	libsnark

Functions
template<typename ramT >
ram_example< ramT >	libsnark::gen_ram_example_simple (const ram_architecture_params< ramT > &ap, const size_t boot_trace_size_bound, const size_t time_bound, const bool satisfiable=true)
template<typename ramT >
ram_example< ramT >	libsnark::gen_ram_example_complex (const ram_architecture_params< ramT > &ap, const size_t boot_trace_size_bound, const size_t time_bound, const bool satisfiable=true)

Detailed Description

Declaration of interfaces for a RAM example, as well as functions to sample RAM examples with prescribed parameters (according to some distribution).

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file ram_examples.hpp.