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

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

accumulate_relation_univariates(SumcheckTupleOfTuplesOfUnivariates &univariate_accumulators, const auto &extended_edges, const bb::RelationParameters< FF > &relation_parameters, const FF &scaling_factor)bb::SumcheckProverRound< Flavor >inlineprivate
batch_over_relations(ContainerOverSubrelations &univariate_accumulators, const SubrelationSeparators &challenge, const bb::GateSeparatorPolynomial< FF > &gate_separators)bb::SumcheckProverRound< Flavor >inlinestatic
BATCHED_RELATION_PARTIAL_LENGTHbb::SumcheckProverRound< Flavor >static
compute_contiguous_round_size(ProverPolynomialsOrPartiallyEvaluatedMultivariates &polynomials)bb::SumcheckProverRound< Flavor >inline
compute_hiding_univariate(const size_t round_idx, const ProverPolynomialsOrPartiallyEvaluatedMultivariates &polynomials, const bb::RelationParameters< FF > &relation_parameters, const bb::GateSeparatorPolynomial< FF > &gate_separators, const SubrelationSeparators &alpha, const ZKData &zk_sumcheck_data, const RowDisablingPolynomial< FF > row_disabling_polynomial)bb::SumcheckProverRound< Flavor >inline
compute_libra_univariate(const ZKData &zk_sumcheck_data, size_t round_idx)bb::SumcheckProverRound< Flavor >inlinestatic
compute_univariate(ProverPolynomialsOrPartiallyEvaluatedMultivariates &polynomials, const bb::RelationParameters< FF > &relation_parameters, const bb::GateSeparatorPolynomial< FF > &gate_separators, const SubrelationSeparators &alphas)bb::SumcheckProverRound< Flavor >inline
compute_univariate_with_chunking(ProverPolynomialsOrPartiallyEvaluatedMultivariates &polynomials, const bb::RelationParameters< FF > &relation_parameters, const bb::GateSeparatorPolynomial< FF > &gate_separators, const SubrelationSeparators &alphas)bb::SumcheckProverRound< Flavor >inline
compute_univariate_with_row_skipping(ProverPolynomialsOrPartiallyEvaluatedMultivariates &polynomials, const bb::RelationParameters< FF > &relation_parameters, const bb::GateSeparatorPolynomial< FF > &gate_separators, const SubrelationSeparators alphas)bb::SumcheckProverRound< Flavor >inline
extend_and_batch_univariates(const TupleOfTuplesOfUnivariates &tuple, ExtendedUnivariate &result, const bb::GateSeparatorPolynomial< FF > &gate_separators)bb::SumcheckProverRound< Flavor >inlinestatic
extend_edges(ExtendedEdges &extended_edges, const ProverPolynomialsOrPartiallyEvaluatedMultivariates &multivariates, const size_t edge_idx)bb::SumcheckProverRound< Flavor >inline
ExtendedEdges typedefbb::SumcheckProverRound< Flavor >
FF typedefbb::SumcheckProverRound< Flavor >
LIBRA_UNIVARIATES_LENGTHbb::SumcheckProverRound< Flavor >static
MAX_PARTIAL_RELATION_LENGTHbb::SumcheckProverRound< Flavor >static
NUM_RELATIONSbb::SumcheckProverRound< Flavor >static
Relations typedefbb::SumcheckProverRound< Flavor >private
round_sizebb::SumcheckProverRound< Flavor >
SubrelationSeparators typedefbb::SumcheckProverRound< Flavor >private
SumcheckProverRound(size_t initial_round_size)bb::SumcheckProverRound< Flavor >inline
SumcheckRoundUnivariate typedefbb::SumcheckProverRound< Flavor >
SumcheckTupleOfTuplesOfUnivariates typedefbb::SumcheckProverRound< Flavor >private
univariate_accumulatorsbb::SumcheckProverRound< Flavor >
Utils typedefbb::SumcheckProverRound< Flavor >private
ZKData typedefbb::SumcheckProverRound< Flavor >