| accumulate_relation_univariates(TupleOfTuplesOfUnivariates &univariate_accumulators, const ExtendedUnivariatesType &extended_univariates, const UnivariateRelationParameters &relation_parameters, const FF &scaling_factor) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inlinestatic |
| AllValues typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| batch_over_relations(TupleOfTuplesOfUnivariatesNoOptimisticSkipping &univariate_accumulators, const UnivariateSubrelationSeparators &alphas) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inlinestatic |
| compute_and_extend_alphas(const DeciderPKs &keys) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inlinestatic |
| compute_combiner(const DeciderPKs &keys, const GateSeparatorPolynomial< FF > &gate_separators, const UnivariateRelationParameters &relation_parameters, const UnivariateSubrelationSeparators &alphas, TupleOfTuplesOfUnivariates &univariate_accumulators) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inline |
| compute_combiner(const DeciderPKs &keys, const GateSeparatorPolynomial< FF > &gate_separators, const UnivariateRelationParameters &relation_parameters, const UnivariateSubrelationSeparators &alphas) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inline |
| compute_combiner_quotient(FF perturbator_evaluation, ExtendedUnivariateWithRandomization combiner) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inlinestatic |
| compute_extended_relation_parameters(const DeciderPKs &keys) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inlinestatic |
| compute_num_threads(const size_t domain_size) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inlinestatic |
| compute_perturbator(const std::shared_ptr< const DeciderPK > &accumulator, const std::vector< FF > &deltas) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inline |
| compute_row_evaluations(const ProverPolynomials &polynomials, const SubrelationSeparators &alphas, const RelationParameters< FF > &relation_parameters) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inline |
| compute_vanishing_polynomial_and_lagranges(const FF &challenge) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inlinestatic |
| construct_coefficients_tree(std::span< const FF > betas, std::span< const FF > deltas, const std::vector< std::vector< FF > > &prev_level_coeffs, size_t level=1) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inlinestatic |
| construct_perturbator_coefficients(std::span< const FF > betas, std::span< const FF > deltas, const Polynomial< FF > &full_honk_evaluations) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inlinestatic |
| DeciderPK typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| DeciderPKs typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| deoptimize_univariates(const TupleOfTuplesOfUnivariatePossiblyOptimistic &tup) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inlinestatic |
| extend_univariates(ExtendedUnivariatesType &extended_univariates, const DeciderPKs &keys, const size_t row_idx) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inlinestatic |
| ExtendedUnivariate typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| ExtendedUnivariates typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| ExtendedUnivariatesType typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| ExtendedUnivariateWithRandomization typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| FF typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| Flavor typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| NUM_KEYS | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | static |
| NUM_SUBRELATIONS | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | static |
| process_subrelation_evaluations(const RelationEvaluations &evals, const SubrelationSeparators &challenges, FF &linearly_dependent_contribution) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inlinestatic |
| ProtogalaxyProverInternal(ExecutionTraceUsageTracker trace_usage_tracker=ExecutionTraceUsageTracker{}) | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | inline |
| ProverPolynomials typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| RelationEvaluations typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| Relations typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| RelationUtils typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| ShortUnivariates typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| SubrelationSeparators typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| trace_usage_tracker | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| TupleOfTuplesOfUnivariates typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| TupleOfTuplesOfUnivariatesNoOptimisticSkipping typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| UnivariateRelationParameters typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| UnivariateRelationParametersNoOptimisticSkipping typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
| UnivariateSubrelationSeparators typedef | bb::ProtogalaxyProverInternal< DeciderProvingKeys_ > | |
1.9.8