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

#include <ultra_recursive_verifier.hpp>

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

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

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

Detailed Description

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

Definition at line 23 of file ultra_recursive_verifier.hpp.

Member Typedef Documentation

Curve

template<typename Builder >

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

Definition at line 24 of file ultra_recursive_verifier.hpp.

FF

template<typename Builder >

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

Definition at line 25 of file ultra_recursive_verifier.hpp.

G1

template<typename Builder >

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

Definition at line 26 of file ultra_recursive_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 38 of file ultra_recursive_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 31 of file ultra_recursive_verifier.hpp.

ipa_claim

template<typename Builder >

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

Definition at line 29 of file ultra_recursive_verifier.hpp.

ipa_proof

template<typename Builder >

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

Definition at line 30 of file ultra_recursive_verifier.hpp.

mega_hash

template<typename Builder >

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

Definition at line 33 of file ultra_recursive_verifier.hpp.

points_accumulator

template<typename Builder >

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

Definition at line 28 of file ultra_recursive_verifier.hpp.

---

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

• src/barretenberg/stdlib/honk_verifier/ultra_recursive_verifier.hpp