Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
bb::MultilinearBatchingProverClaim Struct Reference

#include <multilinear_batching_claims.hpp>

Public Types

using FF = MultilinearBatchingFlavor::FF
 
using Commitment = MultilinearBatchingFlavor::Commitment
 
using Polynomial = MultilinearBatchingFlavor::Polynomial
 

Public Member Functions

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

Definition at line 118 of file multilinear_batching_claims.hpp.

Member Typedef Documentation

◆ Commitment

using bb::MultilinearBatchingProverClaim::Commitment = MultilinearBatchingFlavor::Commitment

Definition at line 120 of file multilinear_batching_claims.hpp.

◆ FF

using bb::MultilinearBatchingProverClaim::FF = MultilinearBatchingFlavor::FF

Definition at line 119 of file multilinear_batching_claims.hpp.

◆ Polynomial

using bb::MultilinearBatchingProverClaim::Polynomial = MultilinearBatchingFlavor::Polynomial

Definition at line 121 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)
inline

Definition at line 132 of file multilinear_batching_claims.hpp.

Member Data Documentation

◆ challenge

std::vector<FF> bb::MultilinearBatchingProverClaim::challenge

Definition at line 122 of file multilinear_batching_claims.hpp.

◆ dyadic_size

size_t bb::MultilinearBatchingProverClaim::dyadic_size

Definition at line 129 of file multilinear_batching_claims.hpp.

◆ non_shifted_commitment

Commitment bb::MultilinearBatchingProverClaim::non_shifted_commitment

Definition at line 127 of file multilinear_batching_claims.hpp.

◆ non_shifted_evaluation

FF bb::MultilinearBatchingProverClaim::non_shifted_evaluation

Definition at line 123 of file multilinear_batching_claims.hpp.

◆ non_shifted_polynomial

Polynomial bb::MultilinearBatchingProverClaim::non_shifted_polynomial

Definition at line 125 of file multilinear_batching_claims.hpp.

◆ shifted_commitment

Commitment bb::MultilinearBatchingProverClaim::shifted_commitment

Definition at line 128 of file multilinear_batching_claims.hpp.

◆ shifted_evaluation

FF bb::MultilinearBatchingProverClaim::shifted_evaluation

Definition at line 124 of file multilinear_batching_claims.hpp.

◆ shifted_polynomial

Polynomial bb::MultilinearBatchingProverClaim::shifted_polynomial

Definition at line 126 of file multilinear_batching_claims.hpp.

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