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

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

accumulator_claimbb::MultilinearBatchingVerifier< Flavor_ >private
batch_mul(RefArray< Commitment, N > instance_commitments, const Commitment &accumulator_commitment, std::vector< FF > &scalars, const FF &batching_challenge)bb::MultilinearBatchingVerifier< Flavor_ >private
Commitment typedefbb::MultilinearBatchingVerifier< Flavor_ >
compute_new_claim(const SumcheckOutput< Flavor > &sumcheck_result, InstanceCommitments &verifier_commitments, std::vector< InstanceFF > &unshifted_challenges, std::vector< InstanceFF > &shifted_challenges, const Commitment &non_shifted_accumulator_commitment, const Commitment &shifted_accumulator_commitment, const FF &batching_challenge)bb::MultilinearBatchingVerifier< Flavor_ >private
compute_new_target_sum(const FF &alpha, SumcheckOutput< InstanceFlavor > &instance_sumcheck, const std::vector< InstanceFF > &unshifted_challenges, const std::vector< InstanceFF > &shifted_challenges, const FF &accumulator_non_shifted_evaluation, const FF &accumulator_shifted_evaluation) constbb::MultilinearBatchingVerifier< Flavor_ >private
Curve typedefbb::MultilinearBatchingVerifier< Flavor_ >
FF typedefbb::MultilinearBatchingVerifier< Flavor_ >
Flavor typedefbb::MultilinearBatchingVerifier< Flavor_ >
instance_claimbb::MultilinearBatchingVerifier< Flavor_ >private
InstanceCommitments typedefbb::MultilinearBatchingVerifier< Flavor_ >
InstanceFF typedefbb::MultilinearBatchingVerifier< Flavor_ >
InstanceFlavor typedefbb::MultilinearBatchingVerifier< Flavor_ >
MultilinearBatchingVerifier(const std::shared_ptr< Transcript > &transcript)bb::MultilinearBatchingVerifier< Flavor_ >explicit
NUM_SHIFTED_ENTITIESbb::MultilinearBatchingVerifier< Flavor_ >static
NUM_UNSHIFTED_ENTITIESbb::MultilinearBatchingVerifier< Flavor_ >static
Proof typedefbb::MultilinearBatchingVerifier< Flavor_ >
Sumcheck typedefbb::MultilinearBatchingVerifier< Flavor_ >
transcriptbb::MultilinearBatchingVerifier< Flavor_ >private
Transcript typedefbb::MultilinearBatchingVerifier< Flavor_ >
VerifierClaim typedefbb::MultilinearBatchingVerifier< Flavor_ >
verify_proof(SumcheckOutput< InstanceFlavor > &instance_sumcheck, InstanceCommitments &verifier_commitments, std::vector< InstanceFF > &unshifted_challenges, std::vector< InstanceFF > &shifted_challenges)bb::MultilinearBatchingVerifier< Flavor_ >