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

Result of reducing Chonk verification to a deferred TripleIPA opening (native mode only). More...

#include <chonk_verifier.hpp>

Public Attributes
bool	all_checks_passed
NativeDeferredTripleIpaOpening	triple_ipa_opening

Detailed Description

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

Result of reducing Chonk verification to a deferred TripleIPA opening (native mode only).

Runs all non-TripleIPA verification (MegaZK, databus, Goblin merge/eccvm/translator) and returns the deferred TripleIPA opening, so the expensive opening can be discharged on its own: one MSM per proof, or a single combined MSM across a batch.

Definition at line 115 of file chonk_verifier.hpp.

Member Data Documentation

all_checks_passed

template<bool IsRecursive>

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

Definition at line 116 of file chonk_verifier.hpp.

triple_ipa_opening

template<bool IsRecursive>

NativeDeferredTripleIpaOpening bb::ChonkVerifier< IsRecursive >::TripleIpaReductionResult::triple_ipa_opening

Definition at line 117 of file chonk_verifier.hpp.

---

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

• src/barretenberg/chonk/chonk_verifier.hpp