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

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

check_eq_consistency(const SumcheckOutput< Flavor > &sumcheck_result, const std::vector< VerifierClaim > &claims)bb::MultilinearBatchingVerifierInternal< Flavor_ >private
Commitment typedefbb::MultilinearBatchingVerifierInternal< Flavor_ >
compute_new_claim(const SumcheckOutput< Flavor > &sumcheck_result, const std::vector< VerifierClaim > &claims, std::vector< FF > scalars)bb::MultilinearBatchingVerifierInternal< Flavor_ >private
compute_target_sum(const FF &alpha, const std::vector< VerifierClaim > &claims, std::span< const FF > scalars) constbb::MultilinearBatchingVerifierInternal< Flavor_ >private
Curve typedefbb::MultilinearBatchingVerifierInternal< Flavor_ >
FF typedefbb::MultilinearBatchingVerifierInternal< Flavor_ >
Flavor typedefbb::MultilinearBatchingVerifierInternal< Flavor_ >
IsRecursivebb::MultilinearBatchingVerifierInternal< Flavor_ >static
MultilinearBatchingVerifierInternal(const std::shared_ptr< Transcript > &transcript)bb::MultilinearBatchingVerifierInternal< Flavor_ >explicit
NUM_CLAIMSbb::MultilinearBatchingVerifierInternal< Flavor_ >static
Proof typedefbb::MultilinearBatchingVerifierInternal< Flavor_ >
Sumcheck typedefbb::MultilinearBatchingVerifierInternal< Flavor_ >
Transcript typedefbb::MultilinearBatchingVerifierInternal< Flavor_ >
transcriptbb::MultilinearBatchingVerifierInternal< Flavor_ >private
VerifierClaim typedefbb::MultilinearBatchingVerifierInternal< Flavor_ >
verify_proof(const std::vector< VerifierClaim > &claims)bb::MultilinearBatchingVerifierInternal< Flavor_ >