gadgetExamples::HashDifficultyEnforcer_Gadget Class Reference

Inheritance diagram for gadgetExamples::HashDifficultyEnforcer_Gadget:

Collaboration diagram for gadgetExamples::HashDifficultyEnforcer_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 MultiPackedWord &hashValue, const size_t difficultyBits)

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

Detailed Description

Definition at line 297 of file tutorial.cpp.

Member Function Documentation

create()

GadgetPtr gadgetExamples::HashDifficultyEnforcer_Gadget::create ( ProtoboardPtr  pb, const MultiPackedWord &  hashValue, const size_t  difficultyBits  )

static

Definition at line 354 of file tutorial.cpp.

{
    GadgetPtr pGadget(
        new HashDifficultyEnforcer_Gadget(pb, hashValue, difficultyBits));
    pGadget->init();
    return pGadget;
}

Here is the caller graph for this function:

generateConstraints()

void gadgetExamples::HashDifficultyEnforcer_Gadget::generateConstraints ( )

virtual

Implements gadgetlib2::Gadget.

Definition at line 365 of file tutorial.cpp.

{
    // enforce that both representations are equal
    hashValueUnpacker_->generateConstraints();
    // add constraints asserting that the first 'difficultyBits' bits of
    // 'hashValue' equal 0. Note endianness, unpacked()[0] is LSB and
    // unpacked()[63] is MSB
    for (size_t i = 0; i < difficultyBits_; ++i) {
        addUnaryConstraint(
            hashValue_.unpacked()[63 - i],
            GADGETLIB2_FMT("hashValue[%u] == 0", 63 - i));
    }
}

Here is the call graph for this function:

generateWitness()

void gadgetExamples::HashDifficultyEnforcer_Gadget::generateWitness ( )

virtual

Reimplemented from gadgetlib2::Gadget.

Definition at line 379 of file tutorial.cpp.

{
    // Take the packed representation and unpack to bits.
    hashValueUnpacker_->generateWitness();
    // In a real setting we would add an assertion that the value will indeed
    // satisfy the difficulty constraint, and notify the user with an error
    // otherwise. As this is a tutorial, we'll let invalid values pass through
    // so that we can see how isSatisfied() returns false.
}

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib2/examples/tutorial.cpp