alphas | bb::SumcheckProver< Flavor > | |
BATCHED_RELATION_PARTIAL_LENGTH | bb::SumcheckProver< Flavor > | static |
ClaimedEvaluations typedef | bb::SumcheckProver< Flavor > | |
commit_to_round_univariate(const size_t round_idx, bb::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > &round_univariate, const CommitmentKey &ck) | bb::SumcheckProver< Flavor > | inline |
CommitmentKey typedef | bb::SumcheckProver< Flavor > | |
eval_domain | bb::SumcheckProver< Flavor > | |
extract_claimed_evaluations(PartiallyEvaluatedMultivariates &partially_evaluated_polynomials) | bb::SumcheckProver< Flavor > | inline |
FF typedef | bb::SumcheckProver< Flavor > | |
full_polynomials | bb::SumcheckProver< Flavor > | |
gate_challenges | bb::SumcheckProver< Flavor > | |
libra_evaluation | bb::SumcheckProver< Flavor > | |
MAX_PARTIAL_RELATION_LENGTH | bb::SumcheckProver< Flavor > | static |
multivariate_challenge | bb::SumcheckProver< Flavor > | |
multivariate_d | bb::SumcheckProver< Flavor > | |
multivariate_n | bb::SumcheckProver< Flavor > | |
partially_evaluate | bb::SumcheckProver< Flavor > | inline |
partially_evaluate(std::array< PolynomialT, N > &polynomials, const FF &round_challenge) | bb::SumcheckProver< Flavor > | inline |
partially_evaluated_polynomials | bb::SumcheckProver< Flavor > | |
PartiallyEvaluatedMultivariates typedef | bb::SumcheckProver< Flavor > | |
prove() | bb::SumcheckProver< Flavor > | inline |
ProverPolynomials typedef | bb::SumcheckProver< Flavor > | |
relation_parameters | bb::SumcheckProver< Flavor > | |
round | bb::SumcheckProver< Flavor > | |
round_evaluations | bb::SumcheckProver< Flavor > | |
round_univariate_commitments | bb::SumcheckProver< Flavor > | |
round_univariates | bb::SumcheckProver< Flavor > | |
row_disabling_polynomial | bb::SumcheckProver< Flavor > | |
SubrelationSeparators typedef | bb::SumcheckProver< Flavor > | |
SumcheckProver(size_t multivariate_n, ProverPolynomials &prover_polynomials, std::shared_ptr< Transcript > transcript, const SubrelationSeparators &relation_separator, const std::vector< FF > &gate_challenges, const RelationParameters< FF > &relation_parameters, const size_t virtual_log_n) | bb::SumcheckProver< Flavor > | inline |
SumcheckProver(size_t multivariate_n, ProverPolynomials &prover_polynomials, std::shared_ptr< Transcript > transcript, const FF &alpha, const std::vector< FF > &gate_challenges, const RelationParameters< FF > &relation_parameters, const size_t virtual_log_n) | bb::SumcheckProver< Flavor > | inline |
SumcheckRoundUnivariate typedef | bb::SumcheckProver< Flavor > | |
transcript | bb::SumcheckProver< Flavor > | |
Transcript typedef | bb::SumcheckProver< Flavor > | |
virtual_log_n | bb::SumcheckProver< Flavor > | |
ZKData typedef | bb::SumcheckProver< Flavor > | |