tinyram_aux.cpp File Reference

#include <cassert>
#include <fstream>
#include <libff/common/profiling.hpp>
#include <libff/common/utils.hpp>
#include <libsnark/relations/ram_computations/rams/tinyram/tinyram_aux.hpp>
#include <string>

Include dependency graph for tinyram_aux.cpp:

Go to the source code of this file.

Namespaces
	libsnark

Functions
void	libsnark::ensure_tinyram_opcode_value_map ()
std::vector< tinyram_instruction >	libsnark::generate_tinyram_prelude (const tinyram_architecture_params &ap)
std::ostream &	libsnark::operator<< (std::ostream &out, const tinyram_architecture_params &ap)
std::istream &	libsnark::operator>> (std::istream &in, tinyram_architecture_params &ap)
tinyram_instruction	libsnark::random_tinyram_instruction (const tinyram_architecture_params &ap)
tinyram_program	libsnark::load_preprocessed_program (const tinyram_architecture_params &ap, std::istream &preprocessed)
memory_store_trace	libsnark::tinyram_boot_trace_from_program_and_input (const tinyram_architecture_params &ap, const size_t boot_trace_size_bound, const tinyram_program &program, const tinyram_input_tape &primary_input)
tinyram_input_tape	libsnark::load_tape (std::istream &tape)

Variables
tinyram_instruction	libsnark::tinyram_default_instruction
std::map< tinyram_opcode, std::string >	libsnark::tinyram_opcode_names
std::map< tinyram_opcode, tinyram_opcode_args >	libsnark::opcode_args
std::map< std::string, tinyram_opcode >	libsnark::opcode_values

Detailed Description

Implementation of auxiliary functions for TinyRAM.

See tinyram_aux.hpp .

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file tinyram_aux.cpp.