Barretenberg
The ZK-SNARK library at the core of Aztec
|
This is the complete list of members for bb::GeminiProver_< Curve >, including all inherited members.
Claim typedef | bb::GeminiProver_< Curve > | private |
Commitment typedef | bb::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 typedef | bb::GeminiProver_< Curve > | private |
Polynomial typedef | bb::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 > |