Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
This is the complete list of members for gadgetlib2::ConditionalFlag_Gadget, including all inherited members.
addRank1Constraint(const LinearCombination &a, const LinearCombination &b, const LinearCombination &c, const ::std::string &name) | gadgetlib2::Gadget | |
addUnaryConstraint(const LinearCombination &a, const ::std::string &name) | gadgetlib2::Gadget | |
create(ProtoboardPtr pb, const LinearCombination &condition, const FlagVariable &flag) | gadgetlib2::ConditionalFlag_Gadget | static |
enforceBooleanity(const Variable &var) | gadgetlib2::Gadget | inline |
fieldType() const | gadgetlib2::Gadget | inline |
flagIsSet(const FlagVariable &flag) const | gadgetlib2::Gadget | inline |
Gadget(ProtoboardPtr pb) | gadgetlib2::Gadget | |
generateConstraints() | gadgetlib2::ConditionalFlag_Gadget | virtual |
generateWitness() | gadgetlib2::ConditionalFlag_Gadget | virtual |
pb_ | gadgetlib2::Gadget | protected |
val(const Variable &var) | gadgetlib2::Gadget | inline |
val(const LinearCombination &lc) | gadgetlib2::Gadget | inline |