bb::ProtogalaxyProverInternal< ProverInstance > Member List

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

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