Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
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 Attributes

std::vector< typename Curve::AffineElement > commitments
 
std::vector< typename Curve::ScalarField > scalars
 
Curve::ScalarField 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 169 of file claim.hpp.

Member Data Documentation

◆ commitments

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

Definition at line 170 of file claim.hpp.

◆ evaluation_point

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

Definition at line 172 of file claim.hpp.

◆ scalars

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

Definition at line 171 of file claim.hpp.

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