libsnark::ALU_umul_gadget< FieldT > Class Template Reference

#include <alu_arithmetic.hpp>

Inheritance diagram for libsnark::ALU_umul_gadget< FieldT >:

Collaboration diagram for libsnark::ALU_umul_gadget< FieldT >:

Public Member Functions
	ALU_umul_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 > &mull_result, const pb_variable< FieldT > &mull_flag, const pb_variable< FieldT > &umulh_result, const pb_variable< FieldT > &umulh_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 >	mull_result
const pb_variable< FieldT >	mull_flag
const pb_variable< FieldT >	umulh_result
const pb_variable< FieldT >	umulh_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_umul_gadget< FieldT >

Definition at line 619 of file alu_arithmetic.hpp.

Constructor & Destructor Documentation

ALU_umul_gadget()

template<typename FieldT >

libsnark::ALU_umul_gadget< FieldT >::ALU_umul_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 > &  mull_result, const pb_variable< FieldT > &  mull_flag, const pb_variable< FieldT > &  umulh_result, const pb_variable< FieldT > &  umulh_flag, const std::string &  annotation_prefix = ""  )

inline

Definition at line 636 of file alu_arithmetic.hpp.

        : ALU_arithmetic_gadget<FieldT>(
              pb,
              opcode_indicators,
              desval,
              arg1val,
              arg2val,
              flag,
              mull_result,
              mull_flag,
              annotation_prefix)
        , mul_result(
              pb, 2 * pb.ap.w, FMT(this->annotation_prefix, " mul_result"))
        , mull_result(mull_result)
        , mull_flag(mull_flag)
        , umulh_result(umulh_result)
        , umulh_flag(umulh_flag)
    {
        mull_bits.insert(
            mull_bits.end(),
            mul_result.bits.begin(),
            mul_result.bits.begin() + pb.ap.w);
        umulh_bits.insert(
            umulh_bits.end(),
            mul_result.bits.begin() + pb.ap.w,
            mul_result.bits.begin() + 2 * pb.ap.w);
 
        pack_mull_result.reset(new packing_gadget<FieldT>(
            pb,
            mull_bits,
            mull_result,
            FMT(this->annotation_prefix, " pack_mull_result")));
        pack_umulh_result.reset(new packing_gadget<FieldT>(
            pb,
            umulh_bits,
            umulh_result,
            FMT(this->annotation_prefix, " pack_umulh_result")));
 
        result_flag.allocate(pb, FMT(this->annotation_prefix, " result_flag"));
        compute_flag.reset(new disjunction_gadget<FieldT>(
            pb,
            umulh_bits,
            result_flag,
            FMT(this->annotation_prefix, " compute_flag")));
    }

Here is the call graph for this function:

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

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

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

generate_r1cs_witness()

template<typename FieldT >

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

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

Member Data Documentation

mull_flag

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_umul_gadget< FieldT >::mull_flag

Definition at line 632 of file alu_arithmetic.hpp.

mull_result

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_umul_gadget< FieldT >::mull_result

Definition at line 631 of file alu_arithmetic.hpp.

umulh_flag

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_umul_gadget< FieldT >::umulh_flag

Definition at line 634 of file alu_arithmetic.hpp.

umulh_result

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_umul_gadget< FieldT >::umulh_result

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