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

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

check_consistency(const std::array< FF, NUM_SMALL_IPA_EVALUATIONS > &small_ipa_evaluations, const FF &small_ipa_eval_challenge, const std::vector< FF > &challenge_polynomial, const FF &inner_product_eval_claim, const FF &vanishing_poly_eval)bb::SmallSubgroupIPAVerifier< Curve >inlinestatic
check_eccvm_evaluations_consistency(const std::array< FF, NUM_SMALL_IPA_EVALUATIONS > &small_ipa_evaluations, const FF &evaluation_challenge, const FF &evaluation_challenge_x, const FF &batching_challenge_v, const FF &inner_product_eval_claim)bb::SmallSubgroupIPAVerifier< Curve >inlinestatic
check_libra_evaluations_consistency(const std::array< FF, NUM_SMALL_IPA_EVALUATIONS > &libra_evaluations, const FF &gemini_evaluation_challenge, const std::vector< FF > &multilinear_challenge, const FF &inner_product_eval_claim)bb::SmallSubgroupIPAVerifier< Curve >inlinestatic
compute_batched_barycentric_evaluations(const std::vector< FF > &coeffs, const FF &r, const FF &vanishing_poly_eval)bb::SmallSubgroupIPAVerifier< Curve >inlinestatic
evaluation_labels(const std::string &label_prefix)bb::SmallSubgroupIPAVerifier< Curve >inlinestatic
evaluation_points(const FF &small_ipa_evaluation_challenge)bb::SmallSubgroupIPAVerifier< Curve >inlinestatic
FF typedefbb::SmallSubgroupIPAVerifier< Curve >private
handle_edge_cases(const FF &vanishing_poly_eval)bb::SmallSubgroupIPAVerifier< Curve >inlinestatic
LIBRA_UNIVARIATES_LENGTHbb::SmallSubgroupIPAVerifier< Curve >privatestatic
NUM_BARYCENTRIC_EVALUATIONSbb::SmallSubgroupIPAVerifier< Curve >privatestatic
SUBGROUP_SIZEbb::SmallSubgroupIPAVerifier< Curve >privatestatic