bb::GoblinVerifier_< Curve >::ReductionResult Struct Reference

Result of Goblin verification with mode-specific semantics. More...

#include <goblin_verifier.hpp>

Public Types
using	PairingPoints = MergeVerifier::PairingPoints
using	IPAClaim = OpeningClaim< typename ECCVMVerifier::Curve >
using	IPAProof = std::conditional_t< IsRecursive, stdlib::Proof< UltraCircuitBuilder >, HonkProof >

Public Attributes
PairingPoints	merge_pairing_points
PairingPoints	translator_pairing_points
IPAClaim	ipa_claim
IPAProof	ipa_proof
bool	all_checks_passed = false

Detailed Description

template<typename Curve>
struct bb::GoblinVerifier_< Curve >::ReductionResult

Result of Goblin verification with mode-specific semantics.

Native mode: Pairing checks performed immediately (fail-fast), only IPA verification deferred Recursive mode: Both pairing and IPA verification deferred for batched verification

Definition at line 55 of file goblin_verifier.hpp.

Member Typedef Documentation

IPAClaim

template<typename Curve >

using bb::GoblinVerifier_< Curve >::ReductionResult::IPAClaim = OpeningClaim<typename ECCVMVerifier::Curve>

Definition at line 57 of file goblin_verifier.hpp.

IPAProof

template<typename Curve >

using bb::GoblinVerifier_< Curve >::ReductionResult::IPAProof = std::conditional_t<IsRecursive, stdlib::Proof<UltraCircuitBuilder>, HonkProof>

Definition at line 58 of file goblin_verifier.hpp.

PairingPoints

template<typename Curve >

using bb::GoblinVerifier_< Curve >::ReductionResult::PairingPoints = MergeVerifier::PairingPoints

Definition at line 56 of file goblin_verifier.hpp.

Member Data Documentation

all_checks_passed

template<typename Curve >

bool bb::GoblinVerifier_< Curve >::ReductionResult::all_checks_passed = false

Definition at line 64 of file goblin_verifier.hpp.

ipa_claim

template<typename Curve >

IPAClaim bb::GoblinVerifier_< Curve >::ReductionResult::ipa_claim

Definition at line 62 of file goblin_verifier.hpp.

ipa_proof

template<typename Curve >

IPAProof bb::GoblinVerifier_< Curve >::ReductionResult::ipa_proof

Definition at line 63 of file goblin_verifier.hpp.

merge_pairing_points

template<typename Curve >

PairingPoints bb::GoblinVerifier_< Curve >::ReductionResult::merge_pairing_points

Definition at line 60 of file goblin_verifier.hpp.

translator_pairing_points

template<typename Curve >

PairingPoints bb::GoblinVerifier_< Curve >::ReductionResult::translator_pairing_points

Definition at line 61 of file goblin_verifier.hpp.

---

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

• src/barretenberg/goblin/goblin_verifier.hpp