Prover's claim for multilinear batching - contains polynomials and their evaluation claims. More...

#include <multilinear_batching_flavor.hpp>

Public Member Functions
bool	compare_with_verifier_claim (const MultilinearBatchingVerifierClaim< curve::BN254 > &verifier_claim)
	Debug helper to compare prover claim against verifier claim.

Public Attributes
std::vector< FF >	challenge

FF	non_shifted_evaluation

FF	shifted_evaluation

Polynomial	non_shifted_polynomial

Polynomial	shifted_polynomial

Commitment	non_shifted_commitment

Commitment	shifted_commitment

size_t	dyadic_size

Detailed Description

Prover's claim for multilinear batching - contains polynomials and their evaluation claims.

Used as input to ProvingKey and as output from HyperNova folding. Each claim represents: "polynomial P evaluated at challenge r equals evaluation v".

Definition at line 156 of file multilinear_batching_flavor.hpp.

Member Function Documentation

◆ compare_with_verifier_claim()

bool bb::MultilinearBatchingFlavor::ProverClaim::compare_with_verifier_claim ( const MultilinearBatchingVerifierClaim< curve::BN254 > & verifier_claim )

Debug helper to compare prover claim against verifier claim.

Recomputes commitments and evaluations to verify consistency.

Definition at line 54 of file multilinear_batching_flavor.cpp.