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

#include <multilinear_batching_claims.hpp>

Public Types
using	FF = curve::BN254::ScalarField

using	Commitment = curve::BN254::AffineElement

using	Polynomial = bb::Polynomial< FF >

Public Member Functions
MultilinearBatchingVerifierClaim< curve::BN254 >	to_verifier_claim_for_testing () const

bool	compare_with_verifier_claim (const MultilinearBatchingVerifierClaim< curve::BN254 > &verifier_claim) const
	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.

Each claim represents: "polynomial P evaluated at challenge r equals evaluation v". Shared by HyperNova folding (per-circuit) and the per-kernel batching prover.

Definition at line 117 of file multilinear_batching_claims.hpp.

Member Typedef Documentation

◆ Commitment

using bb::MultilinearBatchingProverClaim::Commitment = curve::BN254::AffineElement

Definition at line 119 of file multilinear_batching_claims.hpp.

◆ FF

using bb::MultilinearBatchingProverClaim::FF = curve::BN254::ScalarField

Definition at line 118 of file multilinear_batching_claims.hpp.

◆ Polynomial

using bb::MultilinearBatchingProverClaim::Polynomial = bb::Polynomial<FF>

Definition at line 120 of file multilinear_batching_claims.hpp.

Member Function Documentation

◆ compare_with_verifier_claim()

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

Debug helper to compare prover claim against verifier claim.

Recomputes commitments and evaluations to verify consistency.

Definition at line 14 of file multilinear_batching_claims.cpp.