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

Result of reducing Chonk verification to an IPA opening claim (native mode only). More...

#include <chonk_verifier.hpp>

Public Attributes
OpeningClaim< curve::Grumpkin >	ipa_claim
::bb::HonkProof	ipa_proof
bool	all_checks_passed

Detailed Description

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

Result of reducing Chonk verification to an IPA opening claim (native mode only).

Contains the IPA claim and proof from non-IPA verification (MegaZK, databus, Goblin), allowing batch IPA verification across multiple Chonk proofs.

Definition at line 112 of file chonk_verifier.hpp.

Member Data Documentation

all_checks_passed

template<bool IsRecursive>

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

Definition at line 115 of file chonk_verifier.hpp.

ipa_claim

template<bool IsRecursive>

OpeningClaim<curve::Grumpkin> bb::ChonkVerifier< IsRecursive >::IPAReductionResult::ipa_claim

Definition at line 113 of file chonk_verifier.hpp.

ipa_proof

template<bool IsRecursive>

::bb::HonkProof bb::ChonkVerifier< IsRecursive >::IPAReductionResult::ipa_proof

Definition at line 114 of file chonk_verifier.hpp.

---

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

• src/barretenberg/chonk/chonk_verifier.hpp