libsnark::ALU_smul_gadget< FieldT > Class Template Reference

#include <alu_arithmetic.hpp>

Inheritance diagram for libsnark::ALU_smul_gadget< FieldT >:

Collaboration diagram for libsnark::ALU_smul_gadget< FieldT >:

Public Member Functions
	ALU_smul_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 > &smulh_result, const pb_variable< FieldT > &smulh_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 >	smulh_result
const pb_variable< FieldT >	smulh_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_smul_gadget< FieldT >

Definition at line 701 of file alu_arithmetic.hpp.

Constructor & Destructor Documentation

ALU_smul_gadget()

template<typename FieldT >

libsnark::ALU_smul_gadget< FieldT >::ALU_smul_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 > &  smulh_result, const pb_variable< FieldT > &  smulh_flag, const std::string &  annotation_prefix = ""  )

inline

Definition at line 720 of file alu_arithmetic.hpp.

        : ALU_arithmetic_gadget<FieldT>(
              pb,
              opcode_indicators,
              desval,
              arg1val,
              arg2val,
              flag,
              smulh_result,
              smulh_flag,
              annotation_prefix)
        , mul_result(
              pb, 2 * pb.ap.w + 1, FMT(this->annotation_prefix, " mul_result"))
        , /* see witness map for explanation for 2w+1 */
        smulh_result(smulh_result)
        , smulh_flag(smulh_flag)
    {
        smulh_bits.insert(
            smulh_bits.end(),
            mul_result.bits.begin() + pb.ap.w,
            mul_result.bits.begin() + 2 * pb.ap.w);
 
        pack_smulh_result.reset(new packing_gadget<FieldT>(
            pb,
            smulh_bits,
            smulh_result,
            FMT(this->annotation_prefix, " pack_smulh_result")));
 
        top.allocate(pb, FMT(this->annotation_prefix, " top"));
        pack_top.reset(new packing_gadget<FieldT>(
            pb,
            pb_variable_array<FieldT>(
                mul_result.bits.begin() + pb.ap.w - 1,
                mul_result.bits.begin() + 2 * pb.ap.w),
            top,
            FMT(this->annotation_prefix, " pack_top")));
 
        is_top_empty.allocate(
            pb, FMT(this->annotation_prefix, " is_top_empty"));
        is_top_empty_aux.allocate(
            pb, FMT(this->annotation_prefix, " is_top_empty_aux"));
 
        is_top_full.allocate(pb, FMT(this->annotation_prefix, " is_top_full"));
        is_top_full_aux.allocate(
            pb, FMT(this->annotation_prefix, " is_top_full_aux"));
 
        result_flag.allocate(pb, FMT(this->annotation_prefix, " result_flag"));
    }

Here is the call graph for this function:

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

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

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

generate_r1cs_witness()

template<typename FieldT >

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

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

Member Data Documentation

smulh_flag

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_smul_gadget< FieldT >::smulh_flag

Definition at line 718 of file alu_arithmetic.hpp.

smulh_result

template<typename FieldT >

const pb_variable<FieldT> libsnark::ALU_smul_gadget< FieldT >::smulh_result

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