Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::SumcheckProver< Flavor > Member List

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

alphasbb::SumcheckProver< Flavor >
BATCHED_RELATION_PARTIAL_LENGTHbb::SumcheckProver< Flavor >static
ClaimedEvaluations typedefbb::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 typedefbb::SumcheckProver< Flavor >
eval_domainbb::SumcheckProver< Flavor >
extract_claimed_evaluations(PartiallyEvaluatedMultivariates &partially_evaluated_polynomials)bb::SumcheckProver< Flavor >inline
FF typedefbb::SumcheckProver< Flavor >
full_polynomialsbb::SumcheckProver< Flavor >
gate_challengesbb::SumcheckProver< Flavor >
libra_evaluationbb::SumcheckProver< Flavor >
MAX_PARTIAL_RELATION_LENGTHbb::SumcheckProver< Flavor >static
multivariate_challengebb::SumcheckProver< Flavor >
multivariate_dbb::SumcheckProver< Flavor >
multivariate_nbb::SumcheckProver< Flavor >
partially_evaluatebb::SumcheckProver< Flavor >inline
partially_evaluate(std::array< PolynomialT, N > &polynomials, const FF &round_challenge)bb::SumcheckProver< Flavor >inline
partially_evaluated_polynomialsbb::SumcheckProver< Flavor >
PartiallyEvaluatedMultivariates typedefbb::SumcheckProver< Flavor >
prove()bb::SumcheckProver< Flavor >inline
ProverPolynomials typedefbb::SumcheckProver< Flavor >
relation_parametersbb::SumcheckProver< Flavor >
roundbb::SumcheckProver< Flavor >
round_evaluationsbb::SumcheckProver< Flavor >
round_univariate_commitmentsbb::SumcheckProver< Flavor >
round_univariatesbb::SumcheckProver< Flavor >
row_disabling_polynomialbb::SumcheckProver< Flavor >
SubrelationSeparators typedefbb::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 typedefbb::SumcheckProver< Flavor >
transcriptbb::SumcheckProver< Flavor >
Transcript typedefbb::SumcheckProver< Flavor >
virtual_log_nbb::SumcheckProver< Flavor >
ZKData typedefbb::SumcheckProver< Flavor >