Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::ECCVMVerifier_< Flavor > Member List

This is the complete list of members for bb::ECCVMVerifier_< Flavor >, including all inherited members.

accumulated_resultbb::ECCVMVerifier_< Flavor >private
append_libra_opening_claims(const std::array< Commitment, NUM_SMALL_IPA_COMMITMENTS > &libra_commitments, const std::vector< FF > &multilinear_challenge, const FF &claimed_libra_evaluation)bb::ECCVMVerifier_< Flavor >private
append_pow_masking_opening_claim()bb::ECCVMVerifier_< Flavor >private
append_sumcheck_round_opening_claims(const std::vector< Commitment > &sumcheck_round_commitments, const std::vector< std::array< FF, 3 > > &sumcheck_round_evaluations, const std::vector< FF > &multilinear_challenge)bb::ECCVMVerifier_< Flavor >private
append_translation_opening_claims(const std::vector< Commitment > &translation_commitments)bb::ECCVMVerifier_< Flavor >private
batch_verify_accumulators(std::span< const TripleIpaAccumulator > accumulators)bb::ECCVMVerifier_< Flavor >inlinestatic
batching_challenge_vbb::ECCVMVerifier_< Flavor >private
BF typedefbb::ECCVMVerifier_< Flavor >
Builder typedefbb::ECCVMVerifier_< Flavor >
builderbb::ECCVMVerifier_< Flavor >private
Commitment typedefbb::ECCVMVerifier_< Flavor >
CommitmentLabels typedefbb::ECCVMVerifier_< Flavor >
compute_accumulated_result()bb::ECCVMVerifier_< Flavor >private
compute_triple_ipa_claim(VerifierCommitments &commitments, SumcheckOutput< Flavor > &sumcheck_output, const OpeningClaim< Curve > &univariate_opening_claim)bb::ECCVMVerifier_< Flavor >private
Curve typedefbb::ECCVMVerifier_< Flavor >
ECCVMVerifier_(const std::shared_ptr< Transcript > &transcript, const Proof &proof)bb::ECCVMVerifier_< Flavor >inline
evaluation_challenge_xbb::ECCVMVerifier_< Flavor >private
FF typedefbb::ECCVMVerifier_< Flavor >
get_transcript() constbb::ECCVMVerifier_< Flavor >inline
get_translator_input_data() constbb::ECCVMVerifier_< Flavor >inline
get_verification_key() constbb::ECCVMVerifier_< Flavor >inline
IsRecursivebb::ECCVMVerifier_< Flavor >static
keybb::ECCVMVerifier_< Flavor >private
PCS typedefbb::ECCVMVerifier_< Flavor >
pcs_g1_identitybb::ECCVMVerifier_< Flavor >private
proofbb::ECCVMVerifier_< Flavor >private
Proof typedefbb::ECCVMVerifier_< Flavor >
reduce_to_triple_ipa_claim()bb::ECCVMVerifier_< Flavor >
reduce_univariate_opening_claims()bb::ECCVMVerifier_< Flavor >private
transcriptbb::ECCVMVerifier_< Flavor >private
Transcript typedefbb::ECCVMVerifier_< Flavor >
translation_evaluationsbb::ECCVMVerifier_< Flavor >private
translation_masking_consistency_checkedbb::ECCVMVerifier_< Flavor >private
translation_masking_term_evalbb::ECCVMVerifier_< Flavor >private
TranslatorInputData typedefbb::ECCVMVerifier_< Flavor >
TripleIPA typedefbb::ECCVMVerifier_< Flavor >
TripleIpaAccumulator typedefbb::ECCVMVerifier_< Flavor >
TripleIpaClaim typedefbb::ECCVMVerifier_< Flavor >
TripleIpaProof typedefbb::ECCVMVerifier_< Flavor >
univariate_opening_claimsbb::ECCVMVerifier_< Flavor >private
VerificationKey typedefbb::ECCVMVerifier_< Flavor >
VerifierCommitmentKey typedefbb::ECCVMVerifier_< Flavor >
VerifierCommitments typedefbb::ECCVMVerifier_< Flavor >
verify_accumulator(const TripleIpaAccumulator &accumulator)bb::ECCVMVerifier_< Flavor >inlinestatic
vk_hashbb::ECCVMVerifier_< Flavor >private