gadgetlib2::ConditionalFlag_Gadget Class Reference

#include <gadget.hpp>

Inheritance diagram for gadgetlib2::ConditionalFlag_Gadget:

Collaboration diagram for gadgetlib2::ConditionalFlag_Gadget:

Public Member Functions
void	generateConstraints ()
void	generateWitness ()
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

Static Public Member Functions
static GadgetPtr	create (ProtoboardPtr pb, const LinearCombination &condition, const FlagVariable &flag)

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

Detailed Description

A gadget for the following semantics: condition != 0 --> flag = 1 condition == 0 --> flag = 0 Uses 2 constraints

Definition at line 730 of file gadget.hpp.

Member Function Documentation

create()

GadgetPtr gadgetlib2::ConditionalFlag_Gadget::create ( ProtoboardPtr  pb, const LinearCombination &  condition, const FlagVariable &  flag  )

static

Definition at line 1008 of file gadget.cpp.

{
    GadgetPtr pGadget(new ConditionalFlag_Gadget(pb, condition, flag));
    pGadget->init();
    return pGadget;
}

generateConstraints()

void gadgetlib2::ConditionalFlag_Gadget::generateConstraints ( )

virtual

Implements gadgetlib2::Gadget.

Definition at line 1018 of file gadget.cpp.

{
    pb_->addRank1Constraint(
        condition_, negate(flag_), 0, "condition * not(flag) = 0");
    pb_->addRank1Constraint(
        condition_,
        auxConditionInverse_,
        flag_,
        "condition * auxConditionInverse = flag");
}

Here is the call graph for this function:

generateWitness()

void gadgetlib2::ConditionalFlag_Gadget::generateWitness ( )

virtual

Reimplemented from gadgetlib2::Gadget.

Definition at line 1029 of file gadget.cpp.

{
    if (val(condition_) == 0) {
        val(flag_) = 0;
        val(auxConditionInverse_) = 0;
    } else {
        val(flag_) = 1;
        val(auxConditionInverse_) = val(condition_).inverse(fieldType());
    }
}

Here is the call graph for this function:

---

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