gadgetlib2::R1P_LooseMUX_Gadget Class Reference

#include <gadget.hpp>

Inheritance diagram for gadgetlib2::R1P_LooseMUX_Gadget:

Collaboration diagram for gadgetlib2::R1P_LooseMUX_Gadget:

Public Member Functions
void	generateConstraints ()
void	generateWitness ()
virtual VariableArray	indicatorVariables () const
Public Member Functions inherited from gadgetlib2::LooseMUX_GadgetBase
virtual	~LooseMUX_GadgetBase ()=0
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 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 Attributes
MultiPackedWordArray	inputs_
const Variable	index_
const VariableArray	output_
const Variable	successFlag_

Friends
class	LooseMUX_Gadget

Additional Inherited Members
Protected Member Functions inherited from gadgetlib2::LooseMUX_GadgetBase
	LooseMUX_GadgetBase (ProtoboardPtr pb)
Protected Attributes inherited from gadgetlib2::Gadget
ProtoboardPtr	pb_

Detailed Description

Definition at line 394 of file gadget.hpp.

Member Function Documentation

generateConstraints()

void gadgetlib2::R1P_LooseMUX_Gadget::generateConstraints ( )

virtual

Implements gadgetlib2::Gadget.

Definition at line 513 of file gadget.cpp.

{
    const size_t n = inputs_.size();
    for (size_t i = 0; i < n; ++i) {
        addRank1Constraint(
            indicators_[i],
            (index_ - i),
            0,
            GADGETLIB2_FMT("indicators[%u] * (index - %u) = 0", i, i));
    }
    addRank1Constraint(
        sum(indicators_), 1, successFlag_, "sum(indicators) * 1 = successFlag");
    enforceBooleanity(successFlag_);
    for (auto &curGadget : computeResult_) {
        curGadget->generateConstraints();
    }
}

Here is the call graph for this function:

generateWitness()

void gadgetlib2::R1P_LooseMUX_Gadget::generateWitness ( )

virtual

Reimplemented from gadgetlib2::Gadget.

Definition at line 531 of file gadget.cpp.

{
    const size_t n = inputs_.size();
    /* assumes that idx can be fit in ulong; true for our purposes for now */
    const size_t index = val(index_).asLong();
    const FElem arraySize = n;
    for (size_t i = 0; i < n; ++i) {
        val(indicators_[i]) = 0; // Redundant, but just in case.
    }
    if (index >= n) { //  || index < 0
        val(successFlag_) = 0;
    } else { // index in bounds
        val(indicators_[index]) = 1;
        val(successFlag_) = 1;
    }
    for (auto &curGadget : computeResult_) {
        curGadget->generateWitness();
    }
}

Here is the call graph for this function:

indicatorVariables()

VariableArray gadgetlib2::R1P_LooseMUX_Gadget::indicatorVariables ( ) const

virtual

Implements gadgetlib2::LooseMUX_GadgetBase.

Definition at line 551 of file gadget.cpp.

{
    return indicators_;
}

Friends And Related Function Documentation

LooseMUX_Gadget

friend class LooseMUX_Gadget

friend

Definition at line 417 of file gadget.hpp.

Member Data Documentation

index_

const Variable gadgetlib2::R1P_LooseMUX_Gadget::index_

Definition at line 411 of file gadget.hpp.

inputs_

MultiPackedWordArray gadgetlib2::R1P_LooseMUX_Gadget::inputs_

Definition at line 410 of file gadget.hpp.

output_

const VariableArray gadgetlib2::R1P_LooseMUX_Gadget::output_

Definition at line 412 of file gadget.hpp.

successFlag_

const Variable gadgetlib2::R1P_LooseMUX_Gadget::successFlag_

Definition at line 413 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