libsnark::ALU_cmp_gadget< FieldT > Class Template Reference

#include <alu_arithmetic.hpp>

Inheritance diagram for libsnark::ALU_cmp_gadget< FieldT >:

Collaboration diagram for libsnark::ALU_cmp_gadget< FieldT >:

Public Member Functions
	ALU_cmp_gadget (tinyram_protoboard< FieldT > &pb, const pb_variable_array< FieldT > &opcode_indicators, const word_variable_gadget< FieldT > &desval, const word_variable_gadget< FieldT > &arg1val, const word_variable_gadget< FieldT > &arg2val, const pb_variable< FieldT > &flag, const pb_variable< FieldT > &cmpe_result, const pb_variable< FieldT > &cmpe_result_flag, const pb_variable< FieldT > &cmpa_result, const pb_variable< FieldT > &cmpa_result_flag, const pb_variable< FieldT > &cmpae_result, const pb_variable< FieldT > &cmpae_result_flag, const std::string &annotation_prefix="")
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()
Public Member Functions inherited from libsnark::ALU_arithmetic_gadget< FieldT >
	ALU_arithmetic_gadget (tinyram_protoboard< FieldT > &pb, const pb_variable_array< FieldT > &opcode_indicators, const word_variable_gadget< FieldT > &desval, const word_variable_gadget< FieldT > &arg1val, const word_variable_gadget< FieldT > &arg2val, const pb_variable< FieldT > &flag, const pb_variable< FieldT > &result, const pb_variable< FieldT > &result_flag, 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)

Public Attributes
const pb_variable< FieldT >	cmpe_result
const pb_variable< FieldT >	cmpe_result_flag
const pb_variable< FieldT >	cmpa_result
const pb_variable< FieldT >	cmpa_result_flag
const pb_variable< FieldT >	cmpae_result
const pb_variable< FieldT >	cmpae_result_flag
Public Attributes inherited from libsnark::ALU_arithmetic_gadget< FieldT >
const pb_variable_array< FieldT >	opcode_indicators
const word_variable_gadget< FieldT >	desval
const word_variable_gadget< FieldT >	arg1val
const word_variable_gadget< FieldT >	arg2val
const pb_variable< FieldT >	flag
const pb_variable< FieldT >	result
const pb_variable< FieldT >	result_flag

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::ALU_cmp_gadget< FieldT >

Definition at line 461 of file alu_arithmetic.hpp.

Constructor & Destructor Documentation

ALU_cmp_gadget()

template<typename FieldT >

libsnark::ALU_cmp_gadget< FieldT >::ALU_cmp_gadget ( tinyram_protoboard< FieldT > &  pb, const pb_variable_array< FieldT > &  opcode_indicators, const word_variable_gadget< FieldT > &  desval, const word_variable_gadget< FieldT > &  arg1val, const word_variable_gadget< FieldT > &  arg2val, const pb_variable< FieldT > &  flag, const pb_variable< FieldT > &  cmpe_result, const pb_variable< FieldT > &  cmpe_result_flag, const pb_variable< FieldT > &  cmpa_result, const pb_variable< FieldT > &  cmpa_result_flag, const pb_variable< FieldT > &  cmpae_result, const pb_variable< FieldT > &  cmpae_result_flag, const std::string &  annotation_prefix = ""  )

inline

Definition at line 474 of file alu_arithmetic.hpp.

        : ALU_arithmetic_gadget<FieldT>(
              pb,
              opcode_indicators,
              desval,
              arg1val,
              arg2val,
              flag,
              cmpa_result,
              cmpa_result_flag,
              annotation_prefix)
        , comparator(
              pb,
              pb.ap.w,
              arg2val.packed,
              arg1val.packed,
              cmpa_result_flag,
              cmpae_result_flag,
              FMT(this->annotation_prefix, " comparator"))
        , cmpe_result(cmpe_result)
        , cmpe_result_flag(cmpe_result_flag)
        , cmpa_result(cmpa_result)
        , cmpa_result_flag(cmpa_result_flag)
        , cmpae_result(cmpae_result)
        , cmpae_result_flag(cmpae_result_flag)
    {
    }

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

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

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

generate_r1cs_witness()

template<typename FieldT >

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

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

Member Data Documentation

cmpa_result

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_cmp_gadget< FieldT >::cmpa_result

Definition at line 469 of file alu_arithmetic.hpp.

cmpa_result_flag

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_cmp_gadget< FieldT >::cmpa_result_flag

Definition at line 470 of file alu_arithmetic.hpp.

cmpae_result

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_cmp_gadget< FieldT >::cmpae_result

Definition at line 471 of file alu_arithmetic.hpp.

cmpae_result_flag

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_cmp_gadget< FieldT >::cmpae_result_flag

Definition at line 472 of file alu_arithmetic.hpp.

cmpe_result

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_cmp_gadget< FieldT >::cmpe_result

Definition at line 467 of file alu_arithmetic.hpp.

cmpe_result_flag

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_cmp_gadget< FieldT >::cmpe_result_flag

Definition at line 468 of file alu_arithmetic.hpp.

---

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

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