Clearmatics Libsnark  0.1
C++ library for zkSNARK proofs
gadgetExamples::NAND_Gadget Member List

This is the complete list of members for gadgetExamples::NAND_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 FlagVariableArray &inputs, const FlagVariable &output)gadgetExamples::NAND_Gadgetstatic
enforceBooleanity(const Variable &var)gadgetlib2::Gadgetinline
fieldType() constgadgetlib2::Gadgetinline
flagIsSet(const FlagVariable &flag) constgadgetlib2::Gadgetinline
Gadget(ProtoboardPtr pb)gadgetlib2::Gadget
generateConstraints()gadgetExamples::NAND_Gadgetvirtual
generateWitness()gadgetExamples::NAND_Gadgetvirtual
pb_gadgetlib2::Gadgetprotected
val(const Variable &var)gadgetlib2::Gadgetinline
val(const LinearCombination &lc)gadgetlib2::Gadgetinline