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

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

check_concatenation_identities(std::vector< FF > &evals, const FF &pow_kappa) constbb::MergeVerifier_< Curve >private
check_degree_identity(std::vector< FF > &evals, const FF &pow_kappa_minus_one, const std::vector< FF > &degree_check_challenges) constbb::MergeVerifier_< Curve >private
Commitment typedefbb::MergeVerifier_< Curve >
compute_shplonk_opening_claim(const std::vector< Commitment > &table_commitments, const Commitment &shplonk_batched_quotient, const FF &shplonk_opening_challenge, const std::vector< FF > &shplonk_batching_challenges, const FF &kappa, const FF &kappa_inv, const std::vector< FF > &evals) constbb::MergeVerifier_< Curve >private
FF typedefbb::MergeVerifier_< Curve >
GroupElement typedefbb::MergeVerifier_< Curve >
IsRecursivebb::MergeVerifier_< Curve >static
labels_degree_checkbb::MergeVerifier_< Curve >private
labels_shplonk_batching_challengesbb::MergeVerifier_< Curve >private
MERGE_BATCHED_CLAIM_SIZEbb::MergeVerifier_< Curve >static
MergeVerifier_(const MergeSettings settings=MergeSettings::PREPEND, std::shared_ptr< Transcript > transcript=std::make_shared< Transcript >())bb::MergeVerifier_< Curve >inlineexplicit
NUM_WIRESbb::MergeVerifier_< Curve >static
PairingPoints typedefbb::MergeVerifier_< Curve >
PCS typedefbb::MergeVerifier_< Curve >
Proof typedefbb::MergeVerifier_< Curve >
settingsbb::MergeVerifier_< Curve >
TableCommitments typedefbb::MergeVerifier_< Curve >
Transcript typedefbb::MergeVerifier_< Curve >
transcriptbb::MergeVerifier_< Curve >
verify_proof(const Proof &proof, const InputCommitments &input_commitments)bb::MergeVerifier_< Curve >