bb::IPA< Curve_, log_poly_length >::NativeAccumulator Struct Reference

Deferred native IPA verification state — the native counterpart of VerifierAccumulator. More...

#include <ipa.hpp>

Public Attributes
std::vector< Fr >	u_challenges_inv
Commitment	claimed_commitment
bool	relation_succeeded = false

Detailed Description

template<typename Curve_, size_t log_poly_length = CONST_ECCVM_LOG_N>
struct bb::IPA< Curve_, log_poly_length >::NativeAccumulator

Deferred native IPA verification state — the native counterpart of VerifierAccumulator.

The cheap IPA group relation has been checked against the prover-claimed commitment to the challenge polynomial (G_0); the expensive G_0 == <challenge_poly(u), SRS> check is deferred to verify_accumulator (single SRS-MSM) or batch_verify_accumulators (one combined SRS-MSM for a batch). The recursive VerifierAccumulator defers G_0 up the recursion instead.

Definition at line 108 of file ipa.hpp.

Member Data Documentation

claimed_commitment

template<typename Curve_ , size_t log_poly_length = CONST_ECCVM_LOG_N>

Commitment bb::IPA< Curve_, log_poly_length >::NativeAccumulator::claimed_commitment

Definition at line 110 of file ipa.hpp.

relation_succeeded

template<typename Curve_ , size_t log_poly_length = CONST_ECCVM_LOG_N>

bool bb::IPA< Curve_, log_poly_length >::NativeAccumulator::relation_succeeded = false

Definition at line 111 of file ipa.hpp.

u_challenges_inv

template<typename Curve_ , size_t log_poly_length = CONST_ECCVM_LOG_N>

std::vector<Fr> bb::IPA< Curve_, log_poly_length >::NativeAccumulator::u_challenges_inv

Definition at line 109 of file ipa.hpp.

---

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

• src/barretenberg/commitment_schemes/ipa/ipa.hpp