bb::TripleIpaClaim< Curve > Struct Template Reference

The compact TripleIPA opening claim: the statement that crosses verifier boundaries. More...

#include <triple_ipa_claim.hpp>

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

Public Attributes
Commitment	unshifted_commitment
Fr	unshifted_evaluation = Fr::zero()
Commitment	shifted_commitment
Fr	shifted_evaluation = Fr::zero()
OpeningClaim< Curve >	univariate
std::vector< Fr >	multilinear_challenge

Detailed Description

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

The compact TripleIPA opening claim: the statement that crosses verifier boundaries.

Three rho-batched openings under the eq/shift/pow tensors at the claim's challenges: <F, eq(u)> = unshifted_evaluation, with [F] = unshifted_commitment, <F', sh(u)> = shifted_evaluation, with [F'] = shifted_commitment, <P, pow(x)> = univariate.opening_pair.evaluation, with [P] = univariate.commitment, where u = multilinear_challenge and x = univariate.opening_pair.challenge. The tensor descriptors are reconstructed from the challenges, so the statement is fully determined by these fields.

Definition at line 29 of file triple_ipa_claim.hpp.

Member Typedef Documentation

Commitment

template<typename Curve >

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

Definition at line 31 of file triple_ipa_claim.hpp.

Fr

template<typename Curve >

using bb::TripleIpaClaim< Curve >::Fr = typename Curve::ScalarField

Definition at line 30 of file triple_ipa_claim.hpp.

Member Data Documentation

multilinear_challenge

template<typename Curve >

std::vector<Fr> bb::TripleIpaClaim< Curve >::multilinear_challenge

Definition at line 38 of file triple_ipa_claim.hpp.

shifted_commitment

template<typename Curve >

Commitment bb::TripleIpaClaim< Curve >::shifted_commitment

Definition at line 35 of file triple_ipa_claim.hpp.

shifted_evaluation

template<typename Curve >

Fr bb::TripleIpaClaim< Curve >::shifted_evaluation = Fr::zero()

Definition at line 36 of file triple_ipa_claim.hpp.

univariate

template<typename Curve >

OpeningClaim<Curve> bb::TripleIpaClaim< Curve >::univariate

Definition at line 37 of file triple_ipa_claim.hpp.

unshifted_commitment

template<typename Curve >

Commitment bb::TripleIpaClaim< Curve >::unshifted_commitment

Definition at line 33 of file triple_ipa_claim.hpp.

unshifted_evaluation

template<typename Curve >

Fr bb::TripleIpaClaim< Curve >::unshifted_evaluation = Fr::zero()

Definition at line 34 of file triple_ipa_claim.hpp.

---

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

• src/barretenberg/commitment_schemes/triple_ipa/triple_ipa_claim.hpp