libsnark::ALU_jmp_gadget< FieldT > Class Template Reference

#include <alu_control_flow.hpp>

Inheritance diagram for libsnark::ALU_jmp_gadget< FieldT >:

Collaboration diagram for libsnark::ALU_jmp_gadget< FieldT >:

Public Member Functions
	ALU_jmp_gadget (tinyram_protoboard< FieldT > &pb, const word_variable_gadget< FieldT > &pc, const word_variable_gadget< FieldT > &argval2, const pb_variable< FieldT > &flag, const pb_variable< FieldT > &result, const std::string &annotation_prefix="")
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()
Public Member Functions inherited from libsnark::ALU_control_flow_gadget< FieldT >
	ALU_control_flow_gadget (tinyram_protoboard< FieldT > &pb, const word_variable_gadget< FieldT > &pc, const word_variable_gadget< FieldT > &argval2, const pb_variable< FieldT > &flag, const pb_variable< FieldT > &result, const std::string &annotation_prefix="")
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)

Additional Inherited Members
Public Attributes inherited from libsnark::ALU_control_flow_gadget< FieldT >
const word_variable_gadget< FieldT >	pc
const word_variable_gadget< FieldT >	argval2
const pb_variable< FieldT >	flag
const pb_variable< FieldT >	result
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::ALU_jmp_gadget< FieldT >

Definition at line 49 of file alu_control_flow.hpp.

Constructor & Destructor Documentation

ALU_jmp_gadget()

template<typename FieldT >

libsnark::ALU_jmp_gadget< FieldT >::ALU_jmp_gadget ( tinyram_protoboard< FieldT > &  pb, const word_variable_gadget< FieldT > &  pc, const word_variable_gadget< FieldT > &  argval2, const pb_variable< FieldT > &  flag, const pb_variable< FieldT > &  result, const std::string &  annotation_prefix = ""  )

inline

Definition at line 52 of file alu_control_flow.hpp.

        : ALU_control_flow_gadget<FieldT>(
              pb, pc, argval2, flag, result, annotation_prefix)
    {
    }

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

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

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

generate_r1cs_witness()

template<typename FieldT >

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

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

---

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

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