libsnark::tinyram_architecture_params Class Reference

#include <tinyram_aux.hpp>

Public Member Functions
	tinyram_architecture_params ()
	tinyram_architecture_params (const reg_width_t w, const reg_count_t k)
size_t	address_size () const
size_t	value_size () const
size_t	cpu_state_size () const
size_t	initial_pc_addr () const
libff::bit_vector	initial_cpu_state () const
memory_contents	initial_memory_contents (const tinyram_program &program, const tinyram_input_tape &primary_input) const
size_t	opcode_width () const
size_t	reg_arg_width () const
size_t	instruction_padding_width () const
size_t	reg_arg_or_imm_width () const
size_t	dwaddr_len () const
size_t	subaddr_len () const
size_t	bytes_in_word () const
size_t	instr_size () const
bool	operator== (const tinyram_architecture_params &other) const
void	print () const

Public Attributes
reg_width_t	w
reg_count_t	k

Friends
std::ostream &	operator<< (std::ostream &out, const tinyram_architecture_params &ap)
std::istream &	operator>> (std::istream &in, tinyram_architecture_params &ap)

Detailed Description

Definition at line 126 of file tinyram_aux.hpp.

Constructor & Destructor Documentation

tinyram_architecture_params() [1/2]

libsnark::tinyram_architecture_params::tinyram_architecture_params ( )

inline

Definition at line 132 of file tinyram_aux.hpp.

{};

tinyram_architecture_params() [2/2]

libsnark::tinyram_architecture_params::tinyram_architecture_params ( const reg_width_t  w, const reg_count_t  k  )

inline

Definition at line 133 of file tinyram_aux.hpp.

        : w(w), k(k)
    {
        assert(w == 1ul << libff::log2(w));
    };

Member Function Documentation

address_size()

size_t libsnark::tinyram_architecture_params::address_size

(

)

const

Definition at line 143 of file tinyram_aux.cpp.

{
    return dwaddr_len();
}

Here is the call graph for this function:

bytes_in_word()

size_t libsnark::tinyram_architecture_params::bytes_in_word

(

)

const

Definition at line 232 of file tinyram_aux.cpp.

{ return w / 8; }

cpu_state_size()

size_t libsnark::tinyram_architecture_params::cpu_state_size

(

)

const

Definition at line 150 of file tinyram_aux.cpp.

{
    // + flag + tape1_exhausted
    return k * w + 2;
}

Here is the caller graph for this function:

dwaddr_len()

size_t libsnark::tinyram_architecture_params::dwaddr_len

(

)

const

Definition at line 222 of file tinyram_aux.cpp.

{
    return w - (libff::log2(w) - 2);
}

Here is the caller graph for this function:

initial_cpu_state()

libff::bit_vector libsnark::tinyram_architecture_params::initial_cpu_state

(

)

const

Definition at line 163 of file tinyram_aux.cpp.

{
    libff::bit_vector result(this->cpu_state_size(), false);
    return result;
}

Here is the call graph for this function:

initial_memory_contents()

memory_contents libsnark::tinyram_architecture_params::initial_memory_contents	(	const tinyram_program &	program,
		const tinyram_input_tape &	primary_input
	)		const

Definition at line 169 of file tinyram_aux.cpp.

{
    // remember that memory consists of 1ul<<dwaddr_len() double words (!)
    memory_contents m;
 
    for (size_t i = 0; i < program.instructions.size(); ++i) {
        m[i] = program.instructions[i].as_dword(*this);
    }
 
    const size_t input_addr = 1ul << (dwaddr_len() - 1);
    // the first word will contain 2^{w-1} + input_size (the
    // location where the last input word was stored)
 
    size_t latest_double_word = (1ull << (w - 1)) + primary_input.size();
    for (size_t i = 0; i < primary_input.size() / 2 + 1; ++i) {
        if (2 * i < primary_input.size()) {
            latest_double_word += (primary_input[2 * i] << w);
        }
 
        m[input_addr + i] = latest_double_word;
 
        if (2 * i + 1 < primary_input.size()) {
            latest_double_word = primary_input[2 * i + 1];
        }
    }
 
    return m;
}

Here is the call graph for this function:

initial_pc_addr()

size_t libsnark::tinyram_architecture_params::initial_pc_addr

(

)

const

Definition at line 156 of file tinyram_aux.cpp.

{
    // the initial PC address is memory units for the RAM reduction
    const size_t initial_pc_addr = generate_tinyram_prelude(*this).size();
    return initial_pc_addr;
}

Here is the call graph for this function:

instr_size()

size_t libsnark::tinyram_architecture_params::instr_size

(

)

const

Definition at line 234 of file tinyram_aux.cpp.

{ return 2 * w; }

instruction_padding_width()

size_t libsnark::tinyram_architecture_params::instruction_padding_width

(

)

const

Definition at line 211 of file tinyram_aux.cpp.

{
    return 2 * w -
           (opcode_width() + 1 + 2 * reg_arg_width() + reg_arg_or_imm_width());
}

Here is the call graph for this function:

opcode_width()

size_t libsnark::tinyram_architecture_params::opcode_width

(

)

const

Definition at line 200 of file tinyram_aux.cpp.

{
    // assumption: answer is the last
    return libff::log2(static_cast<size_t>(tinyram_opcode_ANSWER));
}

Here is the caller graph for this function:

operator==()

bool libsnark::tinyram_architecture_params::operator==

(

const tinyram_architecture_params &

other

)

const

Definition at line 236 of file tinyram_aux.cpp.

{
    return (this->w == other.w && this->k == other.k);
}

print()

void libsnark::tinyram_architecture_params::print

(

)

const

Definition at line 287 of file tinyram_aux.cpp.

{
    printf("* Number of registers (k): %zu\n", k);
    printf("* Word size (w): %zu\n", w);
}

reg_arg_or_imm_width()

size_t libsnark::tinyram_architecture_params::reg_arg_or_imm_width

(

)

const

Definition at line 217 of file tinyram_aux.cpp.

{
    return std::max(w, reg_arg_width());
}

Here is the call graph for this function:

Here is the caller graph for this function:

reg_arg_width()

size_t libsnark::tinyram_architecture_params::reg_arg_width

(

)

const

Definition at line 206 of file tinyram_aux.cpp.

{
    return libff::log2(k);
}

Here is the caller graph for this function:

subaddr_len()

size_t libsnark::tinyram_architecture_params::subaddr_len

(

)

const

Definition at line 227 of file tinyram_aux.cpp.

{
    return libff::log2(w) - 2;
}

value_size()

size_t libsnark::tinyram_architecture_params::value_size

(

)

const

Definition at line 148 of file tinyram_aux.cpp.

{ return 2 * w; }

Friends And Related Function Documentation

operator<<

std::ostream& operator<< ( std::ostream &  out, const tinyram_architecture_params &  ap  )

friend

Definition at line 242 of file tinyram_aux.cpp.

{
    out << ap.w << "\n";
    out << ap.k << "\n";
    return out;
}

operator>>

std::istream& operator>> ( std::istream &  in, tinyram_architecture_params &  ap  )

friend

Definition at line 250 of file tinyram_aux.cpp.

{
    in >> ap.w;
    libff::consume_newline(in);
    in >> ap.k;
    libff::consume_newline(in);
    return in;
}

Member Data Documentation

k

reg_count_t libsnark::tinyram_architecture_params::k

Definition at line 130 of file tinyram_aux.hpp.

w

reg_width_t libsnark::tinyram_architecture_params::w

Definition at line 129 of file tinyram_aux.hpp.

---

The documentation for this class was generated from the following files:

• /home/runner/work/libsnark/libsnark/libsnark/relations/ram_computations/rams/tinyram/tinyram_aux.hpp
• /home/runner/work/libsnark/libsnark/libsnark/relations/ram_computations/rams/tinyram/tinyram_aux.cpp