- Generated by
1.9.8
|
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_edge(Accumulators &accumulator, Edges &edge_container, const Multivariates &polynomials, const bb::RelationParameters< Element > ¶ms, const bb::GateSeparatorPolynomial< FF > &gate_separators, const size_t edge_idx) | bb::SumcheckProverRound< Flavor > | inline |
| accumulate_edge_chunks(EdgeChunks &chunks, ProverPolynomialsOrPartiallyEvaluatedMultivariates &polynomials, const bb::RelationParameters< FF > &relation_parameters, const bb::GateSeparatorPolynomial< FF > &gate_separators) | bb::SumcheckProverRound< Flavor > | inline |
| accumulate_relation_univariates(Accumulators &univariate_accumulators, const Edges &extended_edges, const bb::RelationParameters< Element > &relation_parameters, const Element &scaling_factor) | bb::SumcheckProverRound< Flavor > | inlineprivate |
| accumulate_relation_univariates_public(SumcheckTupleOfTuplesOfUnivariates &univariate_accumulators, const auto &extended_edges, const bb::RelationParameters< FF > &relation_parameters, const FF &scaling_factor) | bb::SumcheckProverRound< Flavor > | inline |
| AccumulatorsFor typedef | bb::SumcheckProverRound< Flavor > | |
| advance_round() | bb::SumcheckProverRound< Flavor > | inline |
| append_edge_range(std::vector< EdgeRange > &ranges, const size_t start, const size_t end) | bb::SumcheckProverRound< Flavor > | inlinestatic |
| batch_over_relations(ContainerOverSubrelations &univariate_accumulators, const SubrelationSeparators &challenge, const bb::GateSeparatorPolynomial< FF > &gate_separators, const RowDisablingPolynomial< FF > *row_disabling_polynomial=nullptr) | bb::SumcheckProverRound< Flavor > | inlinestatic |
| BATCHED_RELATION_PARTIAL_LENGTH | bb::SumcheckProverRound< Flavor > | static |
| CAN_SKIP_ROWS | bb::SumcheckProverRound< Flavor > | static |
| chunk_count(const size_t span, const size_t rows_per_chunk) | bb::SumcheckProverRound< Flavor > | inlinestatic |
| compute_edge_ranges(ProverPolynomialsOrPartiallyEvaluatedMultivariates &polynomials) | bb::SumcheckProverRound< Flavor > | inline |
| compute_effective_round_size(const ProverPolynomialsOrPartiallyEvaluatedMultivariates &multivariates) const | bb::SumcheckProverRound< Flavor > | inline |
| compute_libra_univariate(const ZKData &zk_sumcheck_data, size_t round_idx) | bb::SumcheckProverRound< Flavor > | inlinestatic |
| compute_offset_area_contribution(ProverPolynomialsOrPartiallyEvaluatedMultivariates &polynomials, const bb::RelationParameters< FF > &relation_parameters, const bb::GateSeparatorPolynomial< FF > &gate_separators, const SubrelationSeparators &alphas, const RowDisablingPolynomial< FF > row_disabling_polynomial) | bb::SumcheckProverRound< Flavor > | inline |
| compute_row_skip_edge_ranges(ProverPolynomialsOrPartiallyEvaluatedMultivariates &polynomials, const size_t effective_round_size) const | bb::SumcheckProverRound< Flavor > | inline |
| compute_univariate(ProverPolynomialsOrPartiallyEvaluatedMultivariates &polynomials, const bb::RelationParameters< FF > &relation_parameters, const bb::GateSeparatorPolynomial< FF > &gate_separators, const SubrelationSeparators &alphas) | bb::SumcheckProverRound< Flavor > | inline |
| compute_virtual_contribution(ProverPolynomialsOrPartiallyEvaluatedMultivariates &polynomials, const bb::RelationParameters< FF > &relation_parameters, const GateSeparatorPolynomial< FF > &gate_separator, const SubrelationSeparators &alphas, const RowDisablingPolynomial< FF > *row_disabling_polynomial=nullptr) | bb::SumcheckProverRound< Flavor > | inline |
| element_scaling(const bb::GateSeparatorPolynomial< FF > &gate_separators, const size_t edge_idx) | bb::SumcheckProverRound< Flavor > | inlinestatic |
| excluded_head_size | bb::SumcheckProverRound< Flavor > | |
| extend_and_batch_univariates(const TupleOfTuplesOfUnivariates &tuple, ExtendedUnivariate &result, const bb::GateSeparatorPolynomial< FF > &gate_separators, const RowDisablingPolynomial< FF > *row_disabling_polynomial=nullptr) | bb::SumcheckProverRound< Flavor > | inlinestatic |
| extend_edges(ExtendedEdges &extended_edges, const ProverPolynomialsOrPartiallyEvaluatedMultivariates &multivariates, const size_t edge_idx) | bb::SumcheckProverRound< Flavor > | inlinestatic |
| ExtendedEdges typedef | bb::SumcheckProverRound< Flavor > | |
| FF typedef | bb::SumcheckProverRound< Flavor > | |
| for_each_edge_group(const size_t begin, const size_t end, const size_t group_stride, GroupFn on_full_group, PairFn on_leftover_pair) | bb::SumcheckProverRound< Flavor > | inlinestatic |
| HAS_STATIC_ROW_SKIP_MANIFEST | bb::SumcheckProverRound< Flavor > | static |
| is_virtual_round() const | bb::SumcheckProverRound< Flavor > | inline |
| LIBRA_UNIVARIATES_LENGTH | bb::SumcheckProverRound< Flavor > | static |
| load_edge(Edges &edges, const Multivariates &multivariates, const size_t edge_idx) | bb::SumcheckProverRound< Flavor > | inlinestatic |
| make_edge_chunks(ProverPolynomialsOrPartiallyEvaluatedMultivariates &polynomials) | bb::SumcheckProverRound< Flavor > | inline |
| make_extended_edges(const Multivariates &multivariates) | bb::SumcheckProverRound< Flavor > | inlinestatic |
| MAX_PARTIAL_RELATION_LENGTH | bb::SumcheckProverRound< Flavor > | static |
| merge_edge_ranges(std::vector< EdgeRange > &ranges) | bb::SumcheckProverRound< Flavor > | inlinestatic |
| multivariate_d | bb::SumcheckProverRound< Flavor > | private |
| NUM_RELATIONS | bb::SumcheckProverRound< Flavor > | static |
| reduce_accumulator(SumcheckTupleOfTuplesOfUnivariates &destination, const AccumulatorsFor< Element > &source) | bb::SumcheckProverRound< Flavor > | inlinestatic |
| Relations typedef | bb::SumcheckProverRound< Flavor > | |
| RelationTupleFor typedef | bb::SumcheckProverRound< Flavor > | |
| round_index | bb::SumcheckProverRound< Flavor > | private |
| round_size | bb::SumcheckProverRound< Flavor > | private |
| round_up_to_even(const size_t value) | bb::SumcheckProverRound< Flavor > | inlinestatic |
| ROWS_PER_CHUNK | bb::SumcheckProverRound< Flavor > | static |
| SubrelationSeparators typedef | bb::SumcheckProverRound< Flavor > | |
| SumcheckProverRound(size_t initial_round_size) | bb::SumcheckProverRound< Flavor > | inline |
| SumcheckRoundUnivariate typedef | bb::SumcheckProverRound< Flavor > | |
| SumcheckTupleOfTuplesOfUnivariates typedef | bb::SumcheckProverRound< Flavor > | |
| univariate_accumulators | bb::SumcheckProverRound< Flavor > | |
| USE_LAZY_EDGES | bb::SumcheckProverRound< Flavor > | static |
| USE_LAZY_SHORT_EDGES | bb::SumcheckProverRound< Flavor > | static |
| USES_ROW_MANIFEST | bb::SumcheckProverRound< Flavor > | static |
| Utils typedef | bb::SumcheckProverRound< Flavor > | private |
| ZKData typedef | bb::SumcheckProverRound< Flavor > |
1.9.8