libsnark::ALU_cmps_gadget< FieldT > Class Template Reference

#include <alu_arithmetic.hpp>

Inheritance diagram for libsnark::ALU_cmps_gadget< FieldT >:

Collaboration diagram for libsnark::ALU_cmps_gadget< FieldT >:

Public Member Functions
	ALU_cmps_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 > &cmpg_result, const pb_variable< FieldT > &cmpg_result_flag, const pb_variable< FieldT > &cmpge_result, const pb_variable< FieldT > &cmpge_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 >	cmpg_result
const pb_variable< FieldT >	cmpg_result_flag
const pb_variable< FieldT >	cmpge_result
const pb_variable< FieldT >	cmpge_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_cmps_gadget< FieldT >

Definition at line 526 of file alu_arithmetic.hpp.

Constructor & Destructor Documentation

ALU_cmps_gadget()

template<typename FieldT >

libsnark::ALU_cmps_gadget< FieldT >::ALU_cmps_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 > &  cmpg_result, const pb_variable< FieldT > &  cmpg_result_flag, const pb_variable< FieldT > &  cmpge_result, const pb_variable< FieldT > &  cmpge_result_flag, const std::string &  annotation_prefix = ""  )

inline

Definition at line 545 of file alu_arithmetic.hpp.

        : ALU_arithmetic_gadget<FieldT>(
              pb,
              opcode_indicators,
              desval,
              arg1val,
              arg2val,
              flag,
              cmpg_result,
              cmpg_result_flag,
              annotation_prefix)
        , cmpg_result(cmpg_result)
        , cmpg_result_flag(cmpg_result_flag)
        , cmpge_result(cmpge_result)
        , cmpge_result_flag(cmpge_result_flag)
    {
        negated_arg1val_sign.allocate(
            pb, FMT(this->annotation_prefix, " negated_arg1val_sign"));
        negated_arg2val_sign.allocate(
            pb, FMT(this->annotation_prefix, " negated_arg2val_sign"));
 
        modified_arg1 = pb_variable_array<FieldT>(
            arg1val.bits.begin(), --arg1val.bits.end());
        modified_arg1.emplace_back(negated_arg1val_sign);
 
        modified_arg2 = pb_variable_array<FieldT>(
            arg2val.bits.begin(), --arg2val.bits.end());
        modified_arg2.emplace_back(negated_arg2val_sign);
 
        packed_modified_arg1.allocate(
            pb, FMT(this->annotation_prefix, " packed_modified_arg1"));
        packed_modified_arg2.allocate(
            pb, FMT(this->annotation_prefix, " packed_modified_arg2"));
 
        pack_modified_arg1.reset(new packing_gadget<FieldT>(
            pb,
            modified_arg1,
            packed_modified_arg1,
            FMT(this->annotation_prefix, " pack_modified_arg1")));
        pack_modified_arg2.reset(new packing_gadget<FieldT>(
            pb,
            modified_arg2,
            packed_modified_arg2,
            FMT(this->annotation_prefix, " pack_modified_arg2")));
 
        comparator.reset(new comparison_gadget<FieldT>(
            pb,
            pb.ap.w,
            packed_modified_arg2,
            packed_modified_arg1,
            cmpg_result_flag,
            cmpge_result_flag,
            FMT(this->annotation_prefix, " comparator")));
    }

Here is the call graph for this function:

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

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

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

generate_r1cs_witness()

template<typename FieldT >

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

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

Member Data Documentation

cmpg_result

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_cmps_gadget< FieldT >::cmpg_result

Definition at line 540 of file alu_arithmetic.hpp.

cmpg_result_flag

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_cmps_gadget< FieldT >::cmpg_result_flag

Definition at line 541 of file alu_arithmetic.hpp.

cmpge_result

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_cmps_gadget< FieldT >::cmpge_result

Definition at line 542 of file alu_arithmetic.hpp.

cmpge_result_flag

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_cmps_gadget< FieldT >::cmpge_result_flag

Definition at line 543 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