bb::SumcheckProver< Flavor > Member List

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

accumulator_challenge	bb::SumcheckProver< Flavor >
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 >
instance_challenge	bb::SumcheckProver< Flavor >
isMultilinearBatchingFlavor	bb::SumcheckProver< Flavor >	static
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, const std::vector< FF > &accumulator_challenge={}, const std::vector< FF > &instance_challenge={})	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, const std::vector< FF > &accumulator_challenge={}, const std::vector< FF > &instance_challenge={})	bb::SumcheckProver< Flavor >	inline
SumcheckRoundUnivariate typedef	bb::SumcheckProver< Flavor >
Transcript typedef	bb::SumcheckProver< Flavor >
transcript	bb::SumcheckProver< Flavor >
virtual_log_n	bb::SumcheckProver< Flavor >
ZKData typedef	bb::SumcheckProver< Flavor >