gadgetlib2::R1P_Comparison_Gadget Class Reference

#include <gadget.hpp>

Inheritance diagram for gadgetlib2::R1P_Comparison_Gadget:

Collaboration diagram for gadgetlib2::R1P_Comparison_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

Static Public Member Functions
static GadgetPtr	create (ProtoboardPtr pb, const size_t &wordBitSize, const PackedWord &lhs, const PackedWord &rhs, const FlagVariable &less, const FlagVariable &lessOrEqual)

Friends
class	Comparison_Gadget

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

Detailed Description

Definition at line 811 of file gadget.hpp.

Member Function Documentation

create()

static GadgetPtr gadgetlib2::R1P_Comparison_Gadget::create ( ProtoboardPtr  pb, const size_t &  wordBitSize, const PackedWord &  lhs, const PackedWord &  rhs, const FlagVariable &  less, const FlagVariable &  lessOrEqual  )

static

generateConstraints()

void gadgetlib2::R1P_Comparison_Gadget::generateConstraints ( )

virtual

Implements gadgetlib2::Gadget.

Definition at line 1157 of file gadget.cpp.

{
    enforceBooleanity(notAllZeroes_);
    const FElem two_n = long(POW2(wordBitSize_));
    addRank1Constraint(
        1, alpha_p_, two_n + rhs_ - lhs_, "packed(alpha) = 2^n + B - A");
    alphaDualVariablePacker_->generateConstraints();
    allZeroesTest_->generateConstraints();
    addRank1Constraint(
        1, alpha_u_[wordBitSize_], lessOrEqual_, "alpha[n] = lessOrEqual");
    addRank1Constraint(
        alpha_u_[wordBitSize_],
        notAllZeroes_,
        less_,
        "alpha[n] * notAllZeroes = less");
}

Here is the call graph for this function:

generateWitness()

void gadgetlib2::R1P_Comparison_Gadget::generateWitness ( )

virtual

Reimplemented from gadgetlib2::Gadget.

Definition at line 1174 of file gadget.cpp.

{
    const FElem two_n = long(POW2(wordBitSize_));
    val(alpha_p_) = two_n + val(rhs_) - val(lhs_);
    alphaDualVariablePacker_->generateWitness();
    allZeroesTest_->generateWitness();
    val(lessOrEqual_) = val(alpha_u_[wordBitSize_]);
    val(less_) = val(lessOrEqual_) * val(notAllZeroes_);
}

Here is the call graph for this function:

Friends And Related Function Documentation

Comparison_Gadget

friend class Comparison_Gadget

friend

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