bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor > Member List

This is the complete list of members for bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >, including all inherited members.

Builder typedef	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
builder	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
Commitment typedef	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
decider_vk	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
domain_separator	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
FF typedef	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
GroupElement typedef	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
OinkProof typedef	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
OinkRecursiveVerifier_(Builder *builder, const std::shared_ptr< RecursiveDeciderVK > &decider_vk, const std::shared_ptr< Transcript > &transcript, std::string domain_separator="")	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >	explicit
OinkRecursiveVerifier_(Builder *builder, const std::shared_ptr< RecursiveDeciderVK > &decider_vk, std::string domain_separator="")	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >	explicit
RecursiveDeciderVK typedef	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
SubrelationSeparators typedef	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
Transcript typedef	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
transcript	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
VerificationKey typedef	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
verify()	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
verify_proof(const OinkProof &proof)	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >
WitnessCommitments typedef	bb::stdlib::recursion::honk::OinkRecursiveVerifier_< Flavor >