| accumulate_relation_univariates(TupleOfTuplesOfUnivariates &univariate_accumulators, const ExtendedUnivariates &extended_univariates, const Parameters &relation_parameters, const FF &scaling_factor) (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inline |
| AlphaType typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| BaseUnivariate typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| batch_over_relations(TupleOfTuplesOfUnivariates univariate_accumulators, AlphaType alpha) (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inlinestatic |
| combine_alpha(ProverInstances &instances) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inlinestatic |
| combine_relation_parameters(ProverInstances &instances) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inlinestatic |
| Commitment typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| commitment_key (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| CommitmentKey typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| compute_combiner(const ProverInstances &instances, const std::vector< FF > &pow_betas_star) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inline |
| compute_combiner_quotient(FF compressed_perturbator, ExtendedUnivariateWithRandomization combiner) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inlinestatic |
| compute_full_honk_evaluations(const ProverPolynomials &instance_polynomials, const FF &alpha, const RelationParameters< FF > &relation_parameters) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inlinestatic |
| compute_next_accumulator(ProverInstances &instances, Univariate< FF, ProverInstances::BATCHED_EXTENDED_LENGTH, ProverInstances::NUM > &combiner_quotient, const FF &challenge, const FF &compressed_perturbator) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| compute_perturbator(const std::shared_ptr< Instance > accumulator, const std::vector< FF > &deltas) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inlinestatic |
| compute_pow_polynomial_at_values(const std::vector< FF > &betas, const size_t instance_size) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inlinestatic |
| compute_round_challenge_pows(const size_t log_instance_size, const FF &round_challenge) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inlinestatic |
| construct_coefficients_tree(const std::vector< FF > &betas, const std::vector< FF > &deltas, const std::vector< std::vector< FF > > &prev_level_coeffs, size_t level=1) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inlinestatic |
| construct_perturbator_coefficients(const std::vector< FF > &betas, const std::vector< FF > &deltas, const std::vector< FF > &full_honk_evaluations) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inlinestatic |
| extend_univariates(ExtendedUnivariates &extended_univariates, const ProverInstances &instances, const size_t row_idx) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inline |
| ExtendedUnivariate typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| ExtendedUnivariates typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| ExtendedUnivariateWithRandomization typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| FF typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| finalise_and_send_instance(std::shared_ptr< Instance >, const std::string &domain_separator) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| Flavor typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| fold_instances() | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| get_accumulator() (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inline |
| Instance typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| instances (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| prepare_for_folding() | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| ProtoGalaxyProver_()=default (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| ProtoGalaxyProver_(const std::vector< std::shared_ptr< Instance > > &insts, const std::shared_ptr< CommitmentKey > &commitment_key) (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inline |
| ProverInstances typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| ProverPolynomials typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| RelationEvaluations typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| Relations typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| RowEvaluations typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| send_accumulator(std::shared_ptr< Instance >, const std::string &domain_separator) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| transcript (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| Transcript typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| TupleOfTuplesOfUnivariates typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| univariate_accumulators (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| update_gate_challenges(const FF perturbator_challenge, const std::vector< FF > &gate_challenges, const std::vector< FF > &round_challenges) (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | inlinestatic |
| Utils typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| VerificationKey typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| WitnessCommitments typedef (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
| ~ProtoGalaxyProver_()=default (defined in proof_system::honk::ProtoGalaxyProver_< ProverInstances_ >) | proof_system::honk::ProtoGalaxyProver_< ProverInstances_ > | |
