bb::HypernovaRecursiveTypes Class Reference

#include <types.hpp>

Public Types
using	VerifierInstance = stdlib::recursion::honk::RecursiveVerifierInstance_< MegaRecursiveFlavor_< MegaCircuitBuilder > >
using	Proof = stdlib::Proof< MegaCircuitBuilder >
using	MultilinearBatchingVerifier = bb::MultilinearBatchingVerifier< MultilinearBatchingRecursiveFlavor >
using	PairingPoints = stdlib::recursion::PairingPoints< MegaCircuitBuilder >

Detailed Description

Definition at line 26 of file types.hpp.

Member Typedef Documentation

MultilinearBatchingVerifier

using bb::HypernovaRecursiveTypes::MultilinearBatchingVerifier = bb::MultilinearBatchingVerifier<MultilinearBatchingRecursiveFlavor>

Definition at line 31 of file types.hpp.

PairingPoints

using bb::HypernovaRecursiveTypes::PairingPoints = stdlib::recursion::PairingPoints<MegaCircuitBuilder>

Definition at line 32 of file types.hpp.

Proof

using bb::HypernovaRecursiveTypes::Proof = stdlib::Proof<MegaCircuitBuilder>

Definition at line 30 of file types.hpp.

VerifierInstance

using bb::HypernovaRecursiveTypes::VerifierInstance = stdlib::recursion::honk::RecursiveVerifierInstance_<MegaRecursiveFlavor_<MegaCircuitBuilder> >

Definition at line 28 of file types.hpp.

---

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

• src/barretenberg/hypernova/types.hpp