| check_concatenation_identities(std::vector< FF > &evals, const FF &pow_kappa) const | bb::MergeVerifier_< Curve > | private |
| check_degree_identity(std::vector< FF > &evals, const FF &pow_kappa_minus_one, const std::vector< FF > °ree_check_challenges) const | bb::MergeVerifier_< Curve > | private |
| Commitment typedef | bb::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) const | bb::MergeVerifier_< Curve > | private |
| FF typedef | bb::MergeVerifier_< Curve > | |
| GroupElement typedef | bb::MergeVerifier_< Curve > | |
| IsRecursive | bb::MergeVerifier_< Curve > | static |
| labels_degree_check | bb::MergeVerifier_< Curve > | private |
| labels_shplonk_batching_challenges | bb::MergeVerifier_< Curve > | private |
| MERGE_BATCHED_CLAIM_SIZE | bb::MergeVerifier_< Curve > | static |
| MergeVerifier_(const MergeSettings settings=MergeSettings::PREPEND, std::shared_ptr< Transcript > transcript=std::make_shared< Transcript >()) | bb::MergeVerifier_< Curve > | inlineexplicit |
| NUM_WIRES | bb::MergeVerifier_< Curve > | static |
| PairingPoints typedef | bb::MergeVerifier_< Curve > | |
| PCS typedef | bb::MergeVerifier_< Curve > | |
| Proof typedef | bb::MergeVerifier_< Curve > | |
| settings | bb::MergeVerifier_< Curve > | |
| TableCommitments typedef | bb::MergeVerifier_< Curve > | |
| Transcript typedef | bb::MergeVerifier_< Curve > | |
| transcript | bb::MergeVerifier_< Curve > | |
| verify_proof(const Proof &proof, const InputCommitments &input_commitments) | bb::MergeVerifier_< Curve > | |