bb::ChonkVerifier< IsRecursive >::ReductionResult Struct Reference

Result of Chonk verification reduction (recursive mode only) More...

#include <chonk_verifier.hpp>

Public Attributes
PairingPoints	pairing_points
DeferredTripleIpaOpening	triple_ipa_opening
bool	all_checks_passed

Detailed Description

template<bool IsRecursive>
struct bb::ChonkVerifier< IsRecursive >::ReductionResult

Result of Chonk verification reduction (recursive mode only)

Contains aggregated pairing points and compact TripleIPA opening data for deferred verification

Definition at line 67 of file chonk_verifier.hpp.

Member Data Documentation

all_checks_passed

template<bool IsRecursive>

bool bb::ChonkVerifier< IsRecursive >::ReductionResult::all_checks_passed

Definition at line 70 of file chonk_verifier.hpp.

pairing_points

template<bool IsRecursive>

PairingPoints bb::ChonkVerifier< IsRecursive >::ReductionResult::pairing_points

Definition at line 68 of file chonk_verifier.hpp.

triple_ipa_opening

template<bool IsRecursive>

DeferredTripleIpaOpening bb::ChonkVerifier< IsRecursive >::ReductionResult::triple_ipa_opening

Definition at line 69 of file chonk_verifier.hpp.

---

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

• src/barretenberg/chonk/chonk_verifier.hpp