bb::stdlib::recursion::honk::GoblinRecursiveVerifierOutput Struct Reference

#include <goblin_recursive_verifier.hpp>

Public Types
using	Builder = UltraCircuitBuilder
using	Curve = grumpkin< Builder >
using	PairingAccumulator = PairingPoints< Builder >

Public Attributes
PairingAccumulator	points_accumulator
OpeningClaim< Curve >	opening_claim
stdlib::Proof< Builder >	ipa_proof

Detailed Description

Definition at line 15 of file goblin_recursive_verifier.hpp.

Member Typedef Documentation

Builder

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierOutput::Builder = UltraCircuitBuilder

Definition at line 16 of file goblin_recursive_verifier.hpp.

Curve

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierOutput::Curve = grumpkin<Builder>

Definition at line 17 of file goblin_recursive_verifier.hpp.

PairingAccumulator

using bb::stdlib::recursion::honk::GoblinRecursiveVerifierOutput::PairingAccumulator = PairingPoints<Builder>

Definition at line 18 of file goblin_recursive_verifier.hpp.

Member Data Documentation

ipa_proof

stdlib::Proof<Builder> bb::stdlib::recursion::honk::GoblinRecursiveVerifierOutput::ipa_proof

Definition at line 21 of file goblin_recursive_verifier.hpp.

opening_claim

OpeningClaim<Curve> bb::stdlib::recursion::honk::GoblinRecursiveVerifierOutput::opening_claim

Definition at line 20 of file goblin_recursive_verifier.hpp.

points_accumulator

PairingAccumulator bb::stdlib::recursion::honk::GoblinRecursiveVerifierOutput::points_accumulator

Definition at line 19 of file goblin_recursive_verifier.hpp.

---

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

• src/barretenberg/stdlib/goblin_verifier/goblin_recursive_verifier.hpp