Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
This is the complete list of members for gadgetlib2::Protoboard, including all inherited members.
addGeneralConstraint(const Polynomial &a, const Polynomial &b, const ::std::string &name) | gadgetlib2::Protoboard | |
addRank1Constraint(const LinearCombination &a, const LinearCombination &b, const LinearCombination &c, const ::std::string &name) | gadgetlib2::Protoboard | |
addUnaryConstraint(const LinearCombination &a, const ::std::string &name) | gadgetlib2::Protoboard | |
annotation() const | gadgetlib2::Protoboard | |
assignment() const | gadgetlib2::Protoboard | inline |
assignment_ | gadgetlib2::Protoboard | protected |
clearFlag(const FlagVariable &flag) | gadgetlib2::Protoboard | inline |
constraintSystem() const | gadgetlib2::Protoboard | inline |
constraintSystem_ | gadgetlib2::Protoboard | protected |
create(const FieldType &fieldType, ParamsCPtr pParams=NULL) | gadgetlib2::Protoboard | inlinestatic |
dualWordAssignmentEqualsValue(const DualWord &dualWord, const size_t expectedValue, const PrintOptions &printOption=PrintOptions::NO_DBG_PRINT) const | gadgetlib2::Protoboard | |
enforceBooleanity(const Variable &var) | gadgetlib2::Protoboard | |
fieldType_ | gadgetlib2::Protoboard | |
flagIsSet(const FlagVariable &flag) const | gadgetlib2::Protoboard | inline |
flipFlag(const FlagVariable &flag) | gadgetlib2::Protoboard | inline |
isSatisfied(const PrintOptions &printOnFail=PrintOptions::NO_DBG_PRINT) | gadgetlib2::Protoboard | |
multipackedWordAssignmentEqualsValue(const MultiPackedWord &multipackedWord, const size_t expectedValue, const PrintOptions &printOption=PrintOptions::NO_DBG_PRINT) const | gadgetlib2::Protoboard | |
numInputs() const | gadgetlib2::Protoboard | inline |
numInputs_ | gadgetlib2::Protoboard | protected |
numVars() const | gadgetlib2::Protoboard | inline |
params() const | gadgetlib2::Protoboard | inline |
pParams_ | gadgetlib2::Protoboard | protected |
Protoboard(const FieldType &fieldType, ParamsCPtr pParams) | gadgetlib2::Protoboard | protected |
setDualWordValue(const DualWord &dualWord, const size_t srcValue) | gadgetlib2::Protoboard | |
setFlag(const FlagVariable &flag, bool newFlagState=true) | gadgetlib2::Protoboard | |
setMultipackedWordValue(const MultiPackedWord &multipackedWord, const size_t srcValue) | gadgetlib2::Protoboard | |
setValuesAsBitArray(const VariableArray &varArray, const size_t srcValue) | gadgetlib2::Protoboard | |
unpackedWordAssignmentEqualsValue(const UnpackedWord &unpackedWord, const size_t expectedValue, const PrintOptions &printOption=PrintOptions::NO_DBG_PRINT) const | gadgetlib2::Protoboard | |
val(const Variable &var) | gadgetlib2::Protoboard | |
val(const LinearCombination &lc) const | gadgetlib2::Protoboard |