libsnark::word_variable_gadget< FieldT > Class Template Reference

#include <word_variable_gadget.hpp>

Inheritance diagram for libsnark::word_variable_gadget< FieldT >:

Collaboration diagram for libsnark::word_variable_gadget< FieldT >:

Public Member Functions
	word_variable_gadget (tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="")
	word_variable_gadget (tinyram_protoboard< FieldT > &pb, const pb_variable_array< FieldT > &bits, const std::string &annotation_prefix="")
	word_variable_gadget (tinyram_protoboard< FieldT > &pb, const pb_variable< FieldT > &packed, const std::string &annotation_prefix="")
Public Member Functions inherited from libsnark::dual_variable_gadget< FieldT >
	dual_variable_gadget (protoboard< FieldT > &pb, const size_t width, const std::string &annotation_prefix="")
	dual_variable_gadget (protoboard< FieldT > &pb, const pb_variable_array< FieldT > &bits, const std::string &annotation_prefix="")
	dual_variable_gadget (protoboard< FieldT > &pb, const pb_variable< FieldT > &packed, const size_t width, const std::string &annotation_prefix="")
void	generate_r1cs_constraints (const bool enforce_bitness)
void	generate_r1cs_witness_from_packed ()
void	generate_r1cs_witness_from_bits ()
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::dual_variable_gadget< FieldT >
pb_variable< FieldT >	packed
pb_variable_array< FieldT >	bits
Protected Attributes inherited from libsnark::gadget< FieldT >
protoboard< FieldT > &	pb
const std::string	annotation_prefix

Detailed Description

template<typename FieldT>
class libsnark::word_variable_gadget< FieldT >

Holds both binary and field representaton of a word.

Definition at line 24 of file word_variable_gadget.hpp.

Constructor & Destructor Documentation

word_variable_gadget() [1/3]

template<typename FieldT >

libsnark::word_variable_gadget< FieldT >::word_variable_gadget ( tinyram_protoboard< FieldT > &  pb, const std::string &  annotation_prefix = ""  )

inline

Definition at line 27 of file word_variable_gadget.hpp.

        : dual_variable_gadget<FieldT>(pb, pb.ap.w, annotation_prefix)
    {
    }

word_variable_gadget() [2/3]

template<typename FieldT >

libsnark::word_variable_gadget< FieldT >::word_variable_gadget ( tinyram_protoboard< FieldT > &  pb, const pb_variable_array< FieldT > &  bits, const std::string &  annotation_prefix = ""  )

inline

Definition at line 33 of file word_variable_gadget.hpp.

        : dual_variable_gadget<FieldT>(pb, bits, annotation_prefix)
    {
    }

word_variable_gadget() [3/3]

template<typename FieldT >

libsnark::word_variable_gadget< FieldT >::word_variable_gadget ( tinyram_protoboard< FieldT > &  pb, const pb_variable< FieldT > &  packed, const std::string &  annotation_prefix = ""  )

inline

Definition at line 40 of file word_variable_gadget.hpp.

        : dual_variable_gadget<FieldT>(pb, packed, pb.ap.w, annotation_prefix)
    {
    }

---

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

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