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

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

#include <chonk_verifier.hpp>

Public Attributes
PairingPoints	pairing_points
IPAClaim	ipa_claim
IPAProof	ipa_proof
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 IPA verification data for deferred verification

Definition at line 65 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 69 of file chonk_verifier.hpp.

ipa_claim

template<bool IsRecursive>

IPAClaim bb::ChonkVerifier< IsRecursive >::ReductionResult::ipa_claim

Definition at line 67 of file chonk_verifier.hpp.

ipa_proof

template<bool IsRecursive>

IPAProof bb::ChonkVerifier< IsRecursive >::ReductionResult::ipa_proof

Definition at line 68 of file chonk_verifier.hpp.

pairing_points

template<bool IsRecursive>

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

Definition at line 66 of file chonk_verifier.hpp.

---

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

• src/barretenberg/chonk/chonk_verifier.hpp