Barretenberg
The ZK-SNARK library at the core of Aztec
|
This is the complete list of members for bb::ShplonkProver_< Curve >, including all inherited members.
compute_batched_quotient(const size_t virtual_log_n, std::span< const ProverOpeningClaim< Curve > > opening_claims, const Fr &nu, std::span< Fr > gemini_fold_pos_evaluations, std::span< const ProverOpeningClaim< Curve > > libra_opening_claims, std::span< const ProverOpeningClaim< Curve > > sumcheck_round_claims) | bb::ShplonkProver_< Curve > | inlinestatic |
compute_gemini_fold_pos_evaluations(std::span< const ProverOpeningClaim< Curve > > opening_claims) | bb::ShplonkProver_< Curve > | inlinestatic |
compute_partially_evaluated_batched_quotient(const size_t virtual_log_n, std::span< ProverOpeningClaim< Curve > > opening_claims, Polynomial &batched_quotient_Q, const Fr &nu_challenge, const Fr &z_challenge, std::span< Fr > gemini_fold_pos_evaluations, std::span< ProverOpeningClaim< Curve > > libra_opening_claims={}, std::span< ProverOpeningClaim< Curve > > sumcheck_opening_claims={}) | bb::ShplonkProver_< Curve > | inlinestatic |
Fr typedef | bb::ShplonkProver_< Curve > | private |
Polynomial typedef | bb::ShplonkProver_< Curve > | private |
prove(const CommitmentKey< Curve > &commitment_key, std::span< ProverOpeningClaim< Curve > > opening_claims, const std::shared_ptr< Transcript > &transcript, std::span< ProverOpeningClaim< Curve > > libra_opening_claims={}, std::span< ProverOpeningClaim< Curve > > sumcheck_round_claims={}, const size_t virtual_log_n=0) | bb::ShplonkProver_< Curve > | inlinestatic |