libsnark::tinyram_cpu_checker< FieldT > Class Template Reference

#include <tinyram_cpu_checker.hpp>

Inheritance diagram for libsnark::tinyram_cpu_checker< FieldT >:

Collaboration diagram for libsnark::tinyram_cpu_checker< FieldT >:

Public Member Functions
	tinyram_cpu_checker (tinyram_protoboard< FieldT > &pb, pb_variable_array< FieldT > &prev_pc_addr, pb_variable_array< FieldT > &prev_pc_val, pb_variable_array< FieldT > &prev_state, pb_variable_array< FieldT > &ls_addr, pb_variable_array< FieldT > &ls_prev_val, pb_variable_array< FieldT > &ls_next_val, pb_variable_array< FieldT > &next_state, pb_variable_array< FieldT > &next_pc_addr, pb_variable< FieldT > &next_has_accepted, const std::string &annotation_prefix)
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()
void	generate_r1cs_witness_address ()
void	generate_r1cs_witness_other (tinyram_input_tape_iterator &aux_it, const tinyram_input_tape_iterator &aux_end)
void	dump () const
Public Member Functions inherited from libsnark::tinyram_standard_gadget< FieldT >
	tinyram_standard_gadget (tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="")
Public Member Functions inherited from libsnark::tinyram_gadget< FieldT >
	tinyram_gadget (tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="")
Public Member Functions inherited from libsnark::gadget< FieldT >
	gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix)

Public Attributes
pb_variable_array< FieldT >	prev_pc_addr
pb_variable_array< FieldT >	prev_pc_val
pb_variable_array< FieldT >	prev_state
pb_variable_array< FieldT >	ls_addr
pb_variable_array< FieldT >	ls_prev_val
pb_variable_array< FieldT >	ls_next_val
pb_variable_array< FieldT >	next_state
pb_variable_array< FieldT >	next_pc_addr
pb_variable< FieldT >	next_has_accepted

Additional Inherited Members
Protected Attributes inherited from libsnark::tinyram_gadget< FieldT >
tinyram_protoboard< FieldT > &	pb
Protected Attributes inherited from libsnark::gadget< FieldT >
protoboard< FieldT > &	pb
const std::string	annotation_prefix

Detailed Description

template<typename FieldT>
class libsnark::tinyram_cpu_checker< FieldT >

Definition at line 29 of file tinyram_cpu_checker.hpp.

Constructor & Destructor Documentation

tinyram_cpu_checker()

template<typename FieldT >

libsnark::tinyram_cpu_checker< FieldT >::tinyram_cpu_checker	(	tinyram_protoboard< FieldT > &	pb,
		pb_variable_array< FieldT > &	prev_pc_addr,
		pb_variable_array< FieldT > &	prev_pc_val,
		pb_variable_array< FieldT > &	prev_state,
		pb_variable_array< FieldT > &	ls_addr,
		pb_variable_array< FieldT > &	ls_prev_val,
		pb_variable_array< FieldT > &	ls_next_val,
		pb_variable_array< FieldT > &	next_state,
		pb_variable_array< FieldT > &	next_pc_addr,
		pb_variable< FieldT > &	next_has_accepted,
		const std::string &	annotation_prefix
	)

Member Function Documentation

dump()

template<typename FieldT >

void libsnark::tinyram_cpu_checker< FieldT >::dump

(

)

const

generate_r1cs_constraints()

template<typename FieldT >

void libsnark::tinyram_cpu_checker< FieldT >::generate_r1cs_constraints ( )

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

generate_r1cs_witness()

template<typename FieldT >

void libsnark::tinyram_cpu_checker< FieldT >::generate_r1cs_witness ( )

inlinevirtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

Definition at line 97 of file tinyram_cpu_checker.hpp.

{ assert(0); }

generate_r1cs_witness_address()

template<typename FieldT >

void libsnark::tinyram_cpu_checker< FieldT >::generate_r1cs_witness_address

(

)

generate_r1cs_witness_other()

template<typename FieldT >

void libsnark::tinyram_cpu_checker< FieldT >::generate_r1cs_witness_other	(	tinyram_input_tape_iterator &	aux_it,
		const tinyram_input_tape_iterator &	aux_end
	)

Member Data Documentation

ls_addr

template<typename FieldT >

pb_variable_array<FieldT> libsnark::tinyram_cpu_checker< FieldT >::ls_addr

Definition at line 76 of file tinyram_cpu_checker.hpp.

ls_next_val

template<typename FieldT >

pb_variable_array<FieldT> libsnark::tinyram_cpu_checker< FieldT >::ls_next_val

Definition at line 78 of file tinyram_cpu_checker.hpp.

ls_prev_val

template<typename FieldT >

pb_variable_array<FieldT> libsnark::tinyram_cpu_checker< FieldT >::ls_prev_val

Definition at line 77 of file tinyram_cpu_checker.hpp.

next_has_accepted

template<typename FieldT >

pb_variable<FieldT> libsnark::tinyram_cpu_checker< FieldT >::next_has_accepted

Definition at line 81 of file tinyram_cpu_checker.hpp.

next_pc_addr

template<typename FieldT >

pb_variable_array<FieldT> libsnark::tinyram_cpu_checker< FieldT >::next_pc_addr

Definition at line 80 of file tinyram_cpu_checker.hpp.

next_state

template<typename FieldT >

pb_variable_array<FieldT> libsnark::tinyram_cpu_checker< FieldT >::next_state

Definition at line 79 of file tinyram_cpu_checker.hpp.

prev_pc_addr

template<typename FieldT >

pb_variable_array<FieldT> libsnark::tinyram_cpu_checker< FieldT >::prev_pc_addr

Definition at line 73 of file tinyram_cpu_checker.hpp.

prev_pc_val

template<typename FieldT >

pb_variable_array<FieldT> libsnark::tinyram_cpu_checker< FieldT >::prev_pc_val

Definition at line 74 of file tinyram_cpu_checker.hpp.

prev_state

template<typename FieldT >

pb_variable_array<FieldT> libsnark::tinyram_cpu_checker< FieldT >::prev_state

Definition at line 75 of file tinyram_cpu_checker.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/tinyram_cpu_checker.hpp