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

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

Commitment typedefbb::ShpleminiProver_< Curve >
compute_libra_opening_claims(const FF gemini_r, const std::array< Polynomial, NUM_SMALL_IPA_EVALUATIONS > &libra_polynomials, const std::shared_ptr< Transcript > &transcript)bb::ShpleminiProver_< Curve >inlinestatic
compute_sumcheck_round_claims(const FF circuit_size, std::span< FF > multilinear_challenge, const std::vector< Polynomial > &sumcheck_round_univariates, const std::vector< std::array< FF, 3 > > &sumcheck_round_evaluations)bb::ShpleminiProver_< Curve >inlinestatic
FF typedefbb::ShpleminiProver_< Curve >
GeminiProver typedefbb::ShpleminiProver_< Curve >
GroupElement typedefbb::ShpleminiProver_< Curve >
OpeningClaim typedefbb::ShpleminiProver_< Curve >
Polynomial typedefbb::ShpleminiProver_< Curve >
PolynomialBatcher typedefbb::ShpleminiProver_< Curve >
prove(const FF circuit_size, PolynomialBatcher &polynomial_batcher, std::span< FF > multilinear_challenge, const CommitmentKey< Curve > &commitment_key, const std::shared_ptr< Transcript > &transcript, const std::array< Polynomial, NUM_SMALL_IPA_EVALUATIONS > &libra_polynomials={}, const std::vector< Polynomial > &sumcheck_round_univariates={}, const std::vector< std::array< FF, 3 > > &sumcheck_round_evaluations={})bb::ShpleminiProver_< Curve >inlinestatic
ShplonkProver typedefbb::ShpleminiProver_< Curve >
VK typedefbb::ShpleminiProver_< Curve >