word_variable_gadget.hpp

Go to the documentation of this file.

 
#ifndef WORD_VARIABLE_GADGET_HPP_
#define WORD_VARIABLE_GADGET_HPP_
 
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/tinyram_protoboard.hpp>
 
namespace libsnark
{
 
template<typename FieldT>
class word_variable_gadget : public dual_variable_gadget<FieldT>
{
public:
    word_variable_gadget(
        tinyram_protoboard<FieldT> &pb,
        const std::string &annotation_prefix = "")
        : dual_variable_gadget<FieldT>(pb, pb.ap.w, annotation_prefix)
    {
    }
    word_variable_gadget(
        tinyram_protoboard<FieldT> &pb,
        const pb_variable_array<FieldT> &bits,
        const std::string &annotation_prefix = "")
        : dual_variable_gadget<FieldT>(pb, bits, annotation_prefix)
    {
    }
    word_variable_gadget(
        tinyram_protoboard<FieldT> &pb,
        const pb_variable<FieldT> &packed,
        const std::string &annotation_prefix = "")
        : dual_variable_gadget<FieldT>(pb, packed, pb.ap.w, annotation_prefix)
    {
    }
};
 
template<typename FieldT>
class doubleword_variable_gadget : public dual_variable_gadget<FieldT>
{
public:
    doubleword_variable_gadget(
        tinyram_protoboard<FieldT> &pb,
        const std::string &annotation_prefix = "")
        : dual_variable_gadget<FieldT>(pb, 2 * pb.ap.w, annotation_prefix)
    {
    }
    doubleword_variable_gadget(
        tinyram_protoboard<FieldT> &pb,
        const pb_variable_array<FieldT> &bits,
        const std::string &annotation_prefix = "")
        : dual_variable_gadget<FieldT>(pb, bits, annotation_prefix)
    {
    }
    doubleword_variable_gadget(
        tinyram_protoboard<FieldT> &pb,
        const pb_variable<FieldT> &packed,
        const std::string &annotation_prefix = "")
        : dual_variable_gadget<FieldT>(
              pb, packed, 2 * pb.ap.w, annotation_prefix)
    {
    }
};
 
} // namespace libsnark
 
#endif // WORD_VARIABLE_GADGET_HPP_