Barretenberg
The ZK-SNARK library at the core of Aztec
|
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_LENGTH | bb::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 typedef | bb::SumcheckProverRound< Flavor > | |
FF typedef | bb::SumcheckProverRound< Flavor > | |
LIBRA_UNIVARIATES_LENGTH | bb::SumcheckProverRound< Flavor > | static |
MAX_PARTIAL_RELATION_LENGTH | bb::SumcheckProverRound< Flavor > | static |
NUM_RELATIONS | bb::SumcheckProverRound< Flavor > | static |
Relations typedef | bb::SumcheckProverRound< Flavor > | private |
round_size | bb::SumcheckProverRound< Flavor > | |
SubrelationSeparators typedef | bb::SumcheckProverRound< Flavor > | private |
SumcheckProverRound(size_t initial_round_size) | bb::SumcheckProverRound< Flavor > | inline |
SumcheckRoundUnivariate typedef | bb::SumcheckProverRound< Flavor > | |
SumcheckTupleOfTuplesOfUnivariates typedef | bb::SumcheckProverRound< Flavor > | private |
univariate_accumulators | bb::SumcheckProverRound< Flavor > | |
Utils typedef | bb::SumcheckProverRound< Flavor > | private |
ZKData typedef | bb::SumcheckProverRound< Flavor > |