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

add_zk_data(const size_t virtual_log_n, std::vector< Commitment > &commitments, std::vector< Fr > &scalars, Fr &constant_term_accumulator, const std::array< Commitment, NUM_LIBRA_COMMITMENTS > &libra_commitments, const std::array< Fr, NUM_SMALL_IPA_EVALUATIONS > &libra_evaluations, const Fr &gemini_evaluation_challenge, const std::vector< Fr > &shplonk_batching_challenge_powers, const Fr &shplonk_evaluation_challenge)	bb::ShpleminiVerifier_< Curve >	inlinestatic
batch_gemini_claims_received_from_prover(std::span< const Fr > padding_indicator_array, const std::vector< Commitment > &fold_commitments, std::span< const Fr > gemini_neg_evaluations, std::span< const Fr > gemini_pos_evaluations, std::span< const Fr > inverse_vanishing_evals, std::span< const Fr > shplonk_batching_challenge_powers, std::vector< Commitment > &commitments, std::vector< Fr > &scalars, Fr &constant_term_accumulator)	bb::ShpleminiVerifier_< Curve >	inlinestatic
batch_sumcheck_round_claims(std::vector< Commitment > &commitments, std::vector< Fr > &scalars, Fr &constant_term_accumulator, const std::vector< Fr > &multilinear_challenge, const std::vector< Fr > &shplonk_batching_challenge_powers, const Fr &shplonk_evaluation_challenge, const std::vector< Commitment > &sumcheck_round_commitments, const std::vector< std::array< Fr, 3 > > &sumcheck_round_evaluations)	bb::ShpleminiVerifier_< Curve >	inlinestatic
ClaimBatcher typedef	bb::ShpleminiVerifier_< Curve >	private
Commitment typedef	bb::ShpleminiVerifier_< Curve >	private
compute_batch_opening_claim(std::span< const Fr > padding_indicator_array, ClaimBatcher &claim_batcher, const std::vector< Fr > &multivariate_challenge, const Commitment &g1_identity, const std::shared_ptr< Transcript > &transcript, const RepeatedCommitmentsData &repeated_commitments={}, const bool has_zk=false, bool *consistency_checked=nullptr, const std::array< Commitment, NUM_LIBRA_COMMITMENTS > &libra_commitments={}, const Fr &libra_univariate_evaluation=Fr{ 0 }, const std::vector< Commitment > &sumcheck_round_commitments={}, const std::vector< std::array< Fr, 3 > > &sumcheck_round_evaluations={})	bb::ShpleminiVerifier_< Curve >	inlinestatic
Fr typedef	bb::ShpleminiVerifier_< Curve >	private
GeminiVerifier typedef	bb::ShpleminiVerifier_< Curve >	private
GroupElement typedef	bb::ShpleminiVerifier_< Curve >	private
remove_repeated_commitments(std::vector< Commitment > &commitments, std::vector< Fr > &scalars, const RepeatedCommitmentsData &repeated_commitments, bool has_zk)	bb::ShpleminiVerifier_< Curve >	inlinestatic
ShplonkVerifier typedef	bb::ShpleminiVerifier_< Curve >	private
VK typedef	bb::ShpleminiVerifier_< Curve >	private