bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder > Struct Template Reference

Output type for recursive ultra verification. More...

#include <ultra_verifier.hpp>

Public Types
using	Curve = bn254< Builder >
using	FF = typename Curve::ScalarField
using	G1 = typename Curve::Group

Public Member Functions
	UltraRecursiveVerifierOutput ()=default
template<class IO >
	UltraRecursiveVerifierOutput (IO &inputs)

Public Attributes
PairingPoints< Curve >	points_accumulator
OpeningClaim< grumpkin< Builder > >	ipa_claim
stdlib::Proof< Builder >	ipa_proof
G1	kernel_return_data
std::array< G1, Builder::NUM_WIRES >	ecc_op_tables
FF	mega_hash

Detailed Description

template<typename Builder>
struct bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >

Output type for recursive ultra verification.

Contains pairing points for deferred verification plus optional IPA claim (rollup) and kernel data (Hiding Kernel).

Definition at line 28 of file ultra_verifier.hpp.

Member Typedef Documentation

Curve

template<typename Builder >

using bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >::Curve = bn254<Builder>

Definition at line 29 of file ultra_verifier.hpp.

FF

template<typename Builder >

using bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >::FF = typename Curve::ScalarField

Definition at line 30 of file ultra_verifier.hpp.

G1

template<typename Builder >

using bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >::G1 = typename Curve::Group

Definition at line 31 of file ultra_verifier.hpp.

Constructor & Destructor Documentation

UltraRecursiveVerifierOutput() [1/2]

template<typename Builder >

bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >::UltraRecursiveVerifierOutput ( )

default

UltraRecursiveVerifierOutput() [2/2]

template<typename Builder >

template<class IO >

bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >::UltraRecursiveVerifierOutput ( IO &  inputs )

inline

Definition at line 42 of file ultra_verifier.hpp.

Member Data Documentation

ecc_op_tables

template<typename Builder >

std::array<G1, Builder::NUM_WIRES> bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >::ecc_op_tables

Definition at line 37 of file ultra_verifier.hpp.

ipa_claim

template<typename Builder >

OpeningClaim<grumpkin<Builder> > bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >::ipa_claim

Definition at line 34 of file ultra_verifier.hpp.

ipa_proof

template<typename Builder >

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

Definition at line 35 of file ultra_verifier.hpp.

kernel_return_data

template<typename Builder >

G1 bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >::kernel_return_data

Definition at line 36 of file ultra_verifier.hpp.

mega_hash

template<typename Builder >

FF bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >::mega_hash

Definition at line 38 of file ultra_verifier.hpp.

points_accumulator

template<typename Builder >

PairingPoints<Curve> bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >::points_accumulator

Definition at line 33 of file ultra_verifier.hpp.

---

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

• src/barretenberg/ultra_honk/ultra_verifier.hpp