Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
This is the complete list of members for gadgetExamples::R1P_VerifyTransactionAmounts_Gadget, including all inherited members.
addRank1Constraint(const LinearCombination &a, const LinearCombination &b, const LinearCombination &c, const ::std::string &name) | gadgetlib2::R1P_Gadget | virtual |
addUnaryConstraint(const LinearCombination &a, const ::std::string &name) | gadgetlib2::Gadget | |
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() | gadgetExamples::R1P_VerifyTransactionAmounts_Gadget | virtual |
generateWitness() | gadgetExamples::R1P_VerifyTransactionAmounts_Gadget | virtual |
pb_ | gadgetlib2::Gadget | protected |
R1P_Gadget(ProtoboardPtr pb) | gadgetlib2::R1P_Gadget | inline |
val(const Variable &var) | gadgetlib2::Gadget | inline |
val(const LinearCombination &lc) | gadgetlib2::Gadget | inline |
VerifyTransactionAmounts_Gadget class | gadgetExamples::R1P_VerifyTransactionAmounts_Gadget | friend |
~R1P_Gadget()=0 | gadgetlib2::R1P_Gadget | pure virtual |