gadgetlib2::R1P_CompressionPacking_Gadget Class Reference

#include <gadget.hpp>

Inheritance diagram for gadgetlib2::R1P_CompressionPacking_Gadget:

Collaboration diagram for gadgetlib2::R1P_CompressionPacking_Gadget:

Public Member Functions
void	generateConstraints ()
void	generateWitness ()
Public Member Functions inherited from gadgetlib2::R1P_Gadget
	R1P_Gadget (ProtoboardPtr pb)
virtual	~R1P_Gadget ()=0
virtual void	addRank1Constraint (const LinearCombination &a, const LinearCombination &b, const LinearCombination &c, const ::std::string &name)
Public Member Functions inherited from gadgetlib2::Gadget
	Gadget (ProtoboardPtr pb)
void	addUnaryConstraint (const LinearCombination &a, const ::std::string &name)
void	addRank1Constraint (const LinearCombination &a, const LinearCombination &b, const LinearCombination &c, const ::std::string &name)
void	enforceBooleanity (const Variable &var)
FElem &	val (const Variable &var)
FElem	val (const LinearCombination &lc)
FieldType	fieldType () const
bool	flagIsSet (const FlagVariable &flag) const

Public Attributes
const VariableArray	unpacked_
const VariableArray	packed_

Friends
class	CompressionPacking_Gadget

Additional Inherited Members
Protected Attributes inherited from gadgetlib2::Gadget
ProtoboardPtr	pb_

Detailed Description

Definition at line 461 of file gadget.hpp.

Member Function Documentation

generateConstraints()

void gadgetlib2::R1P_CompressionPacking_Gadget::generateConstraints ( )

virtual

Implements gadgetlib2::Gadget.

Definition at line 654 of file gadget.cpp.

{
    const int n = unpacked_.size();
    LinearCombination packed;
    FElem two_i(R1P_Elem(1)); // Will hold 2^i
    for (int i = 0; i < n; ++i) {
        packed += unpacked_[i] * two_i;
        two_i += two_i;
        if (packingMode_ == PackingMode::UNPACK) {
            enforceBooleanity(unpacked_[i]);
        }
    }
    addRank1Constraint(
        packed_[0], 1, packed, "packed[0] = sum(2^i * unpacked[i])");
}

generateWitness()

void gadgetlib2::R1P_CompressionPacking_Gadget::generateWitness ( )

virtual

Reimplemented from gadgetlib2::Gadget.

Definition at line 670 of file gadget.cpp.

{
    const int n = unpacked_.size();
    if (packingMode_ == PackingMode::PACK) {
        FElem packedVal = 0;
        FElem two_i(R1P_Elem(1)); // will hold 2^i
        for (int i = 0; i < n; ++i) {
            GADGETLIB_ASSERT(
                val(unpacked_[i]).asLong() == 0 ||
                    val(unpacked_[i]).asLong() == 1,
                GADGETLIB2_FMT(
                    "unpacked[%u]  = %u. Expected a Boolean value.",
                    i,
                    val(unpacked_[i]).asLong()));
            packedVal += two_i * val(unpacked_[i]).asLong();
            two_i += two_i;
        }
        val(packed_[0]) = packedVal;
        return;
    }
    // else (UNPACK)
    GADGETLIB_ASSERT(
        packingMode_ == PackingMode::UNPACK,
        "Packing gadget created with unknown packing mode.");
    for (int i = 0; i < n; ++i) {
        val(unpacked_[i]) = val(packed_[0]).getBit(i, R1P);
    }
}

Here is the call graph for this function:

Friends And Related Function Documentation

CompressionPacking_Gadget

friend class CompressionPacking_Gadget

friend

Definition at line 479 of file gadget.hpp.

Member Data Documentation

packed_

const VariableArray gadgetlib2::R1P_CompressionPacking_Gadget::packed_

Definition at line 476 of file gadget.hpp.

unpacked_

const VariableArray gadgetlib2::R1P_CompressionPacking_Gadget::unpacked_

Definition at line 475 of file gadget.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib2/gadget.hpp
• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib2/gadget.cpp