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

#include <shplonk.hpp>

Public Attributes

std::vector< size_t > indices
 
std::vector< Fr > scalars
 
OpeningPair< Curve > opening_pair
 

Detailed Description

template<typename Curve>
struct bb::ShplonkVerifier_< Curve >::LinearCombinationOfClaims

Structure used to update the internal state of the Shplonk verifier. It represents a claim which is constructed as a linear combination of the commitments stored by the Shplonk verifier. The structure is composed of:

  • A list of indices = \((i_1, \dots, i_k)\)
  • A list of scalar coefficients = \((a_1, \dots, a_k)\)
  • An opening pair \((x, v)\) The state of the Shplonk verifier is updated so to add the check:

    \[ \sum_{j=1}^k a_j f_{i_j}(x) = v \]

    where \({f_i}_i\) are the polynomials whose commitments are stored in the Shplonk verifier
Note
The challenge \(x\) is stored redundantly for the purpose of the update method, but it is useful to expose the method reduce_verification_vector_claims_no_finalize

Definition at line 410 of file shplonk.hpp.

Member Data Documentation

◆ indices

template<typename Curve >
std::vector<size_t> bb::ShplonkVerifier_< Curve >::LinearCombinationOfClaims::indices

Definition at line 411 of file shplonk.hpp.

◆ opening_pair

template<typename Curve >
OpeningPair<Curve> bb::ShplonkVerifier_< Curve >::LinearCombinationOfClaims::opening_pair

Definition at line 413 of file shplonk.hpp.

◆ scalars

template<typename Curve >
std::vector<Fr> bb::ShplonkVerifier_< Curve >::LinearCombinationOfClaims::scalars

Definition at line 412 of file shplonk.hpp.

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