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

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

BATCHED_RELATION_PARTIAL_LENGTHbb::SumcheckVerifierRound< Flavor, IsGrumpkin >static
check_sum(bb::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > &univariate, const FF &indicator)bb::SumcheckVerifierRound< Flavor, IsGrumpkin >inline
ClaimedEvaluations typedefbb::SumcheckVerifierRound< Flavor, IsGrumpkin >
ClaimedLibraEvaluations typedefbb::SumcheckVerifierRound< Flavor, IsGrumpkin >
Commitment typedefbb::SumcheckVerifierRound< Flavor, IsGrumpkin >
compute_full_relation_purported_value(const ClaimedEvaluations &purported_evaluations, const bb::RelationParameters< FF > &relation_parameters, const bb::GateSeparatorPolynomial< FF > &gate_separators, const SubrelationSeparators &alphas)bb::SumcheckVerifierRound< Flavor, IsGrumpkin >inline
compute_next_target_sum(bb::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > &univariate, FF &round_challenge, const FF &indicator)bb::SumcheckVerifierRound< Flavor, IsGrumpkin >inline
FF typedefbb::SumcheckVerifierRound< Flavor, IsGrumpkin >private
get_round_univariate_commitments()bb::SumcheckVerifierRound< Flavor, IsGrumpkin >inline
get_round_univariate_evaluations()bb::SumcheckVerifierRound< Flavor, IsGrumpkin >inline
NUM_RELATIONSbb::SumcheckVerifierRound< Flavor, IsGrumpkin >static
perform_final_verification(const FF &full_honk_purported_value)bb::SumcheckVerifierRound< Flavor, IsGrumpkin >inline
process_round(const std::shared_ptr< Transcript > &transcript, std::vector< FF > &multivariate_challenge, bb::GateSeparatorPolynomial< FF > &gate_separators, const FF &padding_indicator, size_t round_idx)bb::SumcheckVerifierRound< Flavor, IsGrumpkin >inline
relation_evaluationsbb::SumcheckVerifierRound< Flavor, IsGrumpkin >
Relations typedefbb::SumcheckVerifierRound< Flavor, IsGrumpkin >private
round_failedbb::SumcheckVerifierRound< Flavor, IsGrumpkin >
SubrelationSeparators typedefbb::SumcheckVerifierRound< Flavor, IsGrumpkin >private
SumcheckRoundUnivariate typedefbb::SumcheckVerifierRound< Flavor, IsGrumpkin >
SumcheckVerifierRound(FF target_total_sum=0)bb::SumcheckVerifierRound< Flavor, IsGrumpkin >inlineexplicit
target_total_sumbb::SumcheckVerifierRound< Flavor, IsGrumpkin >
Transcript typedefbb::SumcheckVerifierRound< Flavor, IsGrumpkin >
TupleOfArraysOfValues typedefbb::SumcheckVerifierRound< Flavor, IsGrumpkin >private
Utils typedefbb::SumcheckVerifierRound< Flavor, IsGrumpkin >private