bb::MultilinearBatchingVerifierClaim< Curve > Struct Template Reference

Verifier's claim for multilinear batching - contains commitments and evaluation claims. More...

#include <multilinear_batching_claims.hpp>

Public Types
using	FF = typename Curve::ScalarField
using	Commitment = typename Curve::AffineElement

Public Attributes
std::vector< FF >	challenge
FF	non_shifted_evaluation
FF	shifted_evaluation
Commitment	non_shifted_commitment
Commitment	shifted_commitment

Detailed Description

template<typename Curve>
struct bb::MultilinearBatchingVerifierClaim< Curve >

Verifier's claim for multilinear batching - contains commitments and evaluation claims.

Templated on Curve to support both native (BN254) and recursive (stdlib) verification.

Definition at line 18 of file multilinear_batching_claims.hpp.

Member Typedef Documentation

Commitment

template<typename Curve >

using bb::MultilinearBatchingVerifierClaim< Curve >::Commitment = typename Curve::AffineElement

Definition at line 20 of file multilinear_batching_claims.hpp.

FF

template<typename Curve >

using bb::MultilinearBatchingVerifierClaim< Curve >::FF = typename Curve::ScalarField

Definition at line 19 of file multilinear_batching_claims.hpp.

Member Data Documentation

challenge

template<typename Curve >

std::vector<FF> bb::MultilinearBatchingVerifierClaim< Curve >::challenge

Definition at line 22 of file multilinear_batching_claims.hpp.

non_shifted_commitment

template<typename Curve >

Commitment bb::MultilinearBatchingVerifierClaim< Curve >::non_shifted_commitment

Definition at line 25 of file multilinear_batching_claims.hpp.

non_shifted_evaluation

template<typename Curve >

FF bb::MultilinearBatchingVerifierClaim< Curve >::non_shifted_evaluation

Definition at line 23 of file multilinear_batching_claims.hpp.

shifted_commitment

template<typename Curve >

Commitment bb::MultilinearBatchingVerifierClaim< Curve >::shifted_commitment

Definition at line 26 of file multilinear_batching_claims.hpp.

shifted_evaluation

template<typename Curve >

FF bb::MultilinearBatchingVerifierClaim< Curve >::shifted_evaluation

Definition at line 24 of file multilinear_batching_claims.hpp.

---

The documentation for this struct was generated from the following files:

• src/barretenberg/flavor/multilinear_batching_flavor.hpp
• src/barretenberg/multilinear_batching/multilinear_batching_claims.hpp