ram_params.hpp File Reference

#include <libff/common/utils.hpp>
#include <libsnark/relations/ram_computations/memory/memory_store_trace.hpp>
#include <vector>

Include dependency graph for ram_params.hpp:

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

Go to the source code of this file.

Namespaces
	libsnark

Typedefs
template<typename ramT >
using	libsnark::ram_base_field = typename ramT::base_field_type
template<typename ramT >
using	libsnark::ram_cpu_state = libff::bit_vector
template<typename ramT >
using	libsnark::ram_boot_trace = memory_store_trace
template<typename ramT >
using	libsnark::ram_protoboard = typename ramT::protoboard_type
template<typename ramT >
using	libsnark::ram_gadget_base = typename ramT::gadget_base_type
template<typename ramT >
using	libsnark::ram_cpu_checker = typename ramT::cpu_checker_type
template<typename ramT >
using	libsnark::ram_architecture_params = typename ramT::architecture_params_type
template<typename ramT >
using	libsnark::ram_input_tape = std::vector< size_t >

Detailed Description

Declaration of public-parameter selector for RAMs.

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_params.hpp.