Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys > Member List

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

Builder typedefbb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >
builderbb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >
Commitment typedefbb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >
DeciderVK typedefbb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >
FF typedefbb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >
Flavor typedefbb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >
keys_to_foldbb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >
NUM_SUBRELATIONSbb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >static
ProtogalaxyRecursiveVerifier_(Builder *builder, const std::shared_ptr< DeciderVK > &accumulator, const std::vector< std::shared_ptr< VKAndHash > > &vk_and_hashs, const std::shared_ptr< Transcript > &transcript)bb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >inline
ProtogalaxyRecursiveVerifier_(Builder *builder, const std::shared_ptr< DeciderVK > &accumulator, const std::shared_ptr< DeciderVK > &incoming_instance, const std::shared_ptr< Transcript > &transcript)bb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >inline
run_oink_verifier_on_each_incomplete_key(const std::vector< FF > &)bb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >
Transcript typedefbb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >
transcriptbb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >
verify_folding_proof(const stdlib::Proof< Builder > &)bb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >
VKAndHash typedefbb::stdlib::recursion::honk::ProtogalaxyRecursiveVerifier_< DeciderVerificationKeys >