Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Attributes | List of all members
bb::BatchOpeningClaim< Curve > Struct Template Reference

An accumulator consisting of the Shplonk evaluation challenge and vectors of commitments and scalars. More...

#include <claim.hpp>

Public Types

using Commitment = typename Curve::AffineElement
 
using Scalar = typename Curve::ScalarField
 

Public Attributes

std::vector< Commitment > commitments
 
std::vector< Scalar > scalars
 
Scalar evaluation_point
 

Detailed Description

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

An accumulator consisting of the Shplonk evaluation challenge and vectors of commitments and scalars.

This structure is used in the reduce_verify_batch_opening_claim method of KZG or IPA.

Note
This structure always represents a zero evaluation claim.
Template Parameters
CurveBN254 or Grumpkin.

Definition at line 151 of file claim.hpp.

Member Typedef Documentation

◆ Commitment

template<typename Curve >
using bb::BatchOpeningClaim< Curve >::Commitment = typename Curve::AffineElement

Definition at line 153 of file claim.hpp.

◆ Scalar

template<typename Curve >
using bb::BatchOpeningClaim< Curve >::Scalar = typename Curve::ScalarField

Definition at line 154 of file claim.hpp.

Member Data Documentation

◆ commitments

template<typename Curve >
std::vector<Commitment> bb::BatchOpeningClaim< Curve >::commitments

Definition at line 156 of file claim.hpp.

◆ evaluation_point

template<typename Curve >
Scalar bb::BatchOpeningClaim< Curve >::evaluation_point

Definition at line 158 of file claim.hpp.

◆ scalars

template<typename Curve >
std::vector<Scalar> bb::BatchOpeningClaim< Curve >::scalars

Definition at line 157 of file claim.hpp.

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