bb::GoblinAvmRecursiveVerifier::ReductionResult Struct Reference

Result of GoblinAvm verification. More...

#include <goblin_avm_verifier.hpp>

Public Types
using	PairingPoints = stdlib::recursion::PairingPoints< Curve >
using	IPAClaim = OpeningClaim< typename ECCVMVerifier::Curve >
using	IPAProof = stdlib::Proof< UltraCircuitBuilder >

Public Attributes
PairingPoints	translator_pairing_points
IPAClaim	ipa_claim
IPAProof	ipa_proof

Detailed Description

Result of GoblinAvm verification.

Both pairing and IPA verification deferred for batched verification

Definition at line 46 of file goblin_avm_verifier.hpp.

Member Typedef Documentation

IPAClaim

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

Definition at line 48 of file goblin_avm_verifier.hpp.

IPAProof

using bb::GoblinAvmRecursiveVerifier::ReductionResult::IPAProof = stdlib::Proof<UltraCircuitBuilder>

Definition at line 49 of file goblin_avm_verifier.hpp.

PairingPoints

using bb::GoblinAvmRecursiveVerifier::ReductionResult::PairingPoints = stdlib::recursion::PairingPoints<Curve>

Definition at line 47 of file goblin_avm_verifier.hpp.

Member Data Documentation

ipa_claim

IPAClaim bb::GoblinAvmRecursiveVerifier::ReductionResult::ipa_claim

Definition at line 52 of file goblin_avm_verifier.hpp.

ipa_proof

IPAProof bb::GoblinAvmRecursiveVerifier::ReductionResult::ipa_proof

Definition at line 53 of file goblin_avm_verifier.hpp.

translator_pairing_points

PairingPoints bb::GoblinAvmRecursiveVerifier::ReductionResult::translator_pairing_points

Definition at line 51 of file goblin_avm_verifier.hpp.

---

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

• src/barretenberg/goblin_avm/goblin_avm_verifier.hpp