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

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

Claim typedefbb::GeminiProver_< Curve >private
Commitment typedefbb::GeminiProver_< Curve >private
compute_fold_polynomials(const size_t log_n, std::span< const Fr > multilinear_challenge, const Polynomial &A_0, const bool &has_zk=false)bb::GeminiProver_< Curve >static
compute_partially_evaluated_batch_polynomials(const size_t log_n, PolynomialBatcher &polynomial_batcher, const Fr &r_challenge, const std::vector< Polynomial > &batched_groups_to_be_concatenated={})bb::GeminiProver_< Curve >static
construct_univariate_opening_claims(const size_t log_n, Polynomial &&A_0_pos, Polynomial &&A_0_neg, std::vector< Polynomial > &&fold_polynomials, const Fr &r_challenge)bb::GeminiProver_< Curve >static
Fr typedefbb::GeminiProver_< Curve >private
Polynomial typedefbb::GeminiProver_< Curve >private
prove(const Fr circuit_size, PolynomialBatcher &polynomial_batcher, std::span< Fr > multilinear_challenge, const CommitmentKey< Curve > &commitment_key, const std::shared_ptr< Transcript > &transcript, bool has_zk=false)bb::GeminiProver_< Curve >static
prove(Fr circuit_size, PolynomialBatcher &polynomial_batcher, std::span< Fr > multilinear_challenge, const CommitmentKey< Curve > &commitment_key, const std::shared_ptr< Transcript > &transcript, bool has_zk)bb::GeminiProver_< Curve >