barretenberg
Loading...
Searching...
No Matches
proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor > Member List

This is the complete list of members for proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >, including all inherited members.

BATCHED_RELATION_PARTIAL_LENGTH (defined in proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >)proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >static
check_sum(barretenberg::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > &univariate) (defined in proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >)proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >inline
ClaimedEvaluations typedef (defined in proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >)proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >
compute_full_honk_relation_purported_value(ClaimedEvaluations purported_evaluations, const proof_system::RelationParameters< FF > &relation_parameters, const barretenberg::PowUnivariate< FF > &pow_univariate, const FF alpha)proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >inline
compute_next_target_sum(barretenberg::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > &univariate, FF &round_challenge)proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >inline
FF typedef (defined in proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >)proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >
NUM_RELATIONS (defined in proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >)proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >static
relation_evaluations (defined in proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >)proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >
round_failed (defined in proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >)proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >
SumcheckVerifierRound() (defined in proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >)proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >inlineexplicit
target_total_sum (defined in proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >)proof_system::honk::sumcheck::SumcheckVerifierRound< Flavor >