accumulator | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
alphas | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
combiner_quotient | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
combiner_quotient_round(const std::vector< FF > &gate_challenges, const std::vector< FF > &deltas, const DeciderProvingKeys &keys) | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
CombinerQuotient typedef | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
commitment_key | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
CommitmentKey typedef | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
DeciderPK typedef | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
DeciderProvingKeys typedef | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
DeciderVerificationKeys typedef | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
DeciderVK typedef | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
deltas | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
FF typedef | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
keys_to_fold | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
NUM_SUBRELATIONS | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | static |
perturbator | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
perturbator_evaluation | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
perturbator_round(const std::shared_ptr< const DeciderPK > &accumulator) | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
pg_internal | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
PGInternal typedef | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
ProtogalaxyProver_()=default | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
ProtogalaxyProver_(const std::vector< std::shared_ptr< DeciderPK > > &keys, const std::vector< std::shared_ptr< DeciderVK > > &vks, const std::shared_ptr< Transcript > &transcript, ExecutionTraceUsageTracker trace_usage_tracker=ExecutionTraceUsageTracker{}) | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | inline |
prove() | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
relation_parameters | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
run_oink_prover_on_each_incomplete_key() | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
run_oink_prover_on_one_incomplete_key(std::shared_ptr< DeciderPK >, std::shared_ptr< DeciderVK >, const std::string &domain_separator) | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
transcript | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
Transcript typedef | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
TupleOfTuplesOfUnivariates typedef | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
UnivariateRelationParameters typedef | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
UnivariateSubrelationSeparators typedef | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
update_target_sum_and_fold(const DeciderProvingKeys &keys, const CombinerQuotient &combiner_quotient, const UnivariateSubrelationSeparators &alphas, const UnivariateRelationParameters &univariate_relation_parameters, const FF &perturbator_evaluation) | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |
vks_to_fold | bb::ProtogalaxyProver_< Flavor, NUM_KEYS > | |