Inheritance diagram for libsnark::doubleword_variable_gadget< FieldT >:

Collaboration diagram for libsnark::doubleword_variable_gadget< FieldT >:

Public Member Functions
	doubleword_variable_gadget (tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="")

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

	doubleword_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

Holds both binary and field representaton of a double word.

Definition at line 53 of file word_variable_gadget.hpp.

Constructor & Destructor Documentation

template<typename FieldT >

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

inline

Definition at line 56 of file word_variable_gadget.hpp.

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

template<typename FieldT >

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

inline

Definition at line 62 of file word_variable_gadget.hpp.

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

template<typename FieldT >

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

inline

Definition at line 69 of file word_variable_gadget.hpp.

         : dual_variable_gadget<FieldT>(
               pb, packed, 2 * 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