libsnark::dual_variable_gadget< FieldT > Class Template Reference

#include <basic_gadgets.hpp>

Inheritance diagram for libsnark::dual_variable_gadget< FieldT >:

Collaboration diagram for libsnark::dual_variable_gadget< FieldT >:

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

Public Attributes
pb_variable< FieldT >	packed
pb_variable_array< FieldT >	bits

Additional Inherited Members
Protected Attributes inherited from libsnark::gadget< FieldT >
protoboard< FieldT > &	pb
const std::string	annotation_prefix

Detailed Description

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

Definition at line 130 of file basic_gadgets.hpp.

Constructor & Destructor Documentation

dual_variable_gadget() [1/3]

template<typename FieldT >

libsnark::dual_variable_gadget< FieldT >::dual_variable_gadget ( protoboard< FieldT > &  pb, const size_t  width, const std::string &  annotation_prefix = ""  )

inline

Definition at line 139 of file basic_gadgets.hpp.

        : gadget<FieldT>(pb, annotation_prefix)
    {
        packed.allocate(pb, FMT(this->annotation_prefix, " packed"));
        bits.allocate(pb, width, FMT(this->annotation_prefix, " bits"));
        consistency_check.reset(new packing_gadget<FieldT>(
            pb,
            bits,
            packed,
            FMT(this->annotation_prefix, " consistency_check")));
    }

Here is the call graph for this function:

dual_variable_gadget() [2/3]

template<typename FieldT >

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

inline

Definition at line 154 of file basic_gadgets.hpp.

        : gadget<FieldT>(pb, annotation_prefix), bits(bits)
    {
        packed.allocate(pb, FMT(this->annotation_prefix, " packed"));
        consistency_check.reset(new packing_gadget<FieldT>(
            pb,
            bits,
            packed,
            FMT(this->annotation_prefix, " consistency_check")));
    }

dual_variable_gadget() [3/3]

template<typename FieldT >

libsnark::dual_variable_gadget< FieldT >::dual_variable_gadget ( protoboard< FieldT > &  pb, const pb_variable< FieldT > &  packed, const size_t  width, const std::string &  annotation_prefix = ""  )

inline

Definition at line 168 of file basic_gadgets.hpp.

        : gadget<FieldT>(pb, annotation_prefix), packed(packed)
    {
        bits.allocate(pb, width, FMT(this->annotation_prefix, " bits"));
        consistency_check.reset(new packing_gadget<FieldT>(
            pb,
            bits,
            packed,
            FMT(this->annotation_prefix, " consistency_check")));
    }

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

void libsnark::dual_variable_gadget< FieldT >::generate_r1cs_constraints

(

const bool

enforce_bitness

)

generate_r1cs_witness_from_bits()

template<typename FieldT >

void libsnark::dual_variable_gadget< FieldT >::generate_r1cs_witness_from_bits

(

)

generate_r1cs_witness_from_packed()

template<typename FieldT >

void libsnark::dual_variable_gadget< FieldT >::generate_r1cs_witness_from_packed

(

)

Member Data Documentation

bits

template<typename FieldT >

pb_variable_array<FieldT> libsnark::dual_variable_gadget< FieldT >::bits

Definition at line 137 of file basic_gadgets.hpp.

packed

template<typename FieldT >

pb_variable<FieldT> libsnark::dual_variable_gadget< FieldT >::packed

Definition at line 136 of file basic_gadgets.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/basic_gadgets.hpp