libsnark::ALU_and_gadget< FieldT > Class Template Reference

#include <alu_arithmetic.hpp>

Inheritance diagram for libsnark::ALU_and_gadget< FieldT >:

Collaboration diagram for libsnark::ALU_and_gadget< FieldT >:

Public Member Functions
	ALU_and_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="")
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)

Additional Inherited Members
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
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_and_gadget< FieldT >

Definition at line 60 of file alu_arithmetic.hpp.

Constructor & Destructor Documentation

ALU_and_gadget()

template<typename FieldT >

libsnark::ALU_and_gadget< FieldT >::ALU_and_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 = ""  )

inline

Definition at line 69 of file alu_arithmetic.hpp.

        : ALU_arithmetic_gadget<FieldT>(
              pb,
              opcode_indicators,
              desval,
              arg1val,
              arg2val,
              flag,
              result,
              result_flag,
              annotation_prefix)
    {
        res_word.allocate(
            pb, pb.ap.w, FMT(this->annotation_prefix, " res_bit"));
        not_all_zeros_result.allocate(
            pb, FMT(this->annotation_prefix, " not_all_zeros_result"));
 
        pack_result.reset(new packing_gadget<FieldT>(
            pb,
            res_word,
            result,
            FMT(this->annotation_prefix, " pack_result")));
        not_all_zeros.reset(new disjunction_gadget<FieldT>(
            pb,
            res_word,
            not_all_zeros_result,
            FMT(this->annotation_prefix, "not_all_zeros")));
    }

Here is the call graph for this function:

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

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

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

generate_r1cs_witness()

template<typename FieldT >

void libsnark::ALU_and_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_arithmetic.hpp