Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | List of all members
bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests Class Reference
Inheritance diagram for bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests:

Public Types

using RecursiveFlavor = MegaRecursiveFlavor_< MegaCircuitBuilder >
 
using InnerFlavor = RecursiveFlavor::NativeFlavor
 
using InnerProver = UltraProver_< InnerFlavor >
 
using InnerVerifier = UltraVerifier_< InnerFlavor >
 
using InnerBuilder = InnerFlavor::CircuitBuilder
 
using InnerProverInstance = ProverInstance_< InnerFlavor >
 
using InnerVerifierInstance = ::bb::VerifierInstance_< InnerFlavor >
 
using InnerVerificationKey = InnerFlavor::VerificationKey
 
using InnerCurve = bn254< InnerBuilder >
 
using Commitment = InnerFlavor::Commitment
 
using FF = InnerFlavor::FF
 
using OuterBuilder = RecursiveFlavor::CircuitBuilder
 
using OuterFlavor = std::conditional_t< IsMegaBuilder< OuterBuilder >, MegaFlavor, UltraFlavor >
 
using OuterProver = UltraProver_< OuterFlavor >
 
using OuterVerifier = UltraVerifier_< OuterFlavor >
 
using OuterProverInstance = ProverInstance_< OuterFlavor >
 
using RecursiveVerifierInstance = RecursiveVerifierInstance_< RecursiveFlavor >
 
using RecursiveVerificationKey = RecursiveVerifierInstance::VerificationKey
 
using RecursiveVKAndHash = RecursiveVerifierInstance::VKAndHash
 
using FoldingRecursiveVerifier = ProtogalaxyRecursiveVerifier_< RecursiveVerifierInstance >
 
using DeciderRecursiveVerifier = DeciderRecursiveVerifier_< RecursiveFlavor >
 
using InnerDeciderProver = DeciderProver_< InnerFlavor >
 
using InnerDeciderVerifier = DeciderVerifier_< InnerFlavor >
 
using InnerFoldingVerifier = ProtogalaxyVerifier_< InnerVerifierInstance >
 
using InnerFoldingProver = ProtogalaxyProver_< InnerFlavor >
 

Static Public Member Functions

static void SetUpTestSuite ()
 
static void create_function_circuit (InnerBuilder &builder, size_t log_num_gates=10)
 
static void test_recursive_folding (const size_t num_verifiers=1)
 
static void test_full_protogalaxy_recursive ()
 

Detailed Description

Definition at line 18 of file graph_description_protogalaxy.test.cpp.

Member Typedef Documentation

◆ Commitment

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::Commitment = InnerFlavor::Commitment

Definition at line 30 of file graph_description_protogalaxy.test.cpp.

◆ DeciderRecursiveVerifier

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::DeciderRecursiveVerifier = DeciderRecursiveVerifier_<RecursiveFlavor>

Definition at line 44 of file graph_description_protogalaxy.test.cpp.

◆ FF

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::FF = InnerFlavor::FF

Definition at line 31 of file graph_description_protogalaxy.test.cpp.

◆ FoldingRecursiveVerifier

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::FoldingRecursiveVerifier = ProtogalaxyRecursiveVerifier_<RecursiveVerifierInstance>

Definition at line 43 of file graph_description_protogalaxy.test.cpp.

◆ InnerBuilder

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::InnerBuilder = InnerFlavor::CircuitBuilder

Definition at line 25 of file graph_description_protogalaxy.test.cpp.

◆ InnerCurve

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::InnerCurve = bn254<InnerBuilder>

Definition at line 29 of file graph_description_protogalaxy.test.cpp.

◆ InnerDeciderProver

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::InnerDeciderProver = DeciderProver_<InnerFlavor>

Definition at line 45 of file graph_description_protogalaxy.test.cpp.

◆ InnerDeciderVerifier

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::InnerDeciderVerifier = DeciderVerifier_<InnerFlavor>

Definition at line 46 of file graph_description_protogalaxy.test.cpp.

◆ InnerFlavor

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::InnerFlavor = RecursiveFlavor::NativeFlavor

Definition at line 22 of file graph_description_protogalaxy.test.cpp.

◆ InnerFoldingProver

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::InnerFoldingProver = ProtogalaxyProver_<InnerFlavor>

Definition at line 48 of file graph_description_protogalaxy.test.cpp.

◆ InnerFoldingVerifier

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::InnerFoldingVerifier = ProtogalaxyVerifier_<InnerVerifierInstance>

Definition at line 47 of file graph_description_protogalaxy.test.cpp.

◆ InnerProver

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::InnerProver = UltraProver_<InnerFlavor>

Definition at line 23 of file graph_description_protogalaxy.test.cpp.

◆ InnerProverInstance

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::InnerProverInstance = ProverInstance_<InnerFlavor>

Definition at line 26 of file graph_description_protogalaxy.test.cpp.

◆ InnerVerificationKey

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::InnerVerificationKey = InnerFlavor::VerificationKey

Definition at line 28 of file graph_description_protogalaxy.test.cpp.

◆ InnerVerifier

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::InnerVerifier = UltraVerifier_<InnerFlavor>

Definition at line 24 of file graph_description_protogalaxy.test.cpp.

◆ InnerVerifierInstance

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::InnerVerifierInstance = ::bb::VerifierInstance_<InnerFlavor>

Definition at line 27 of file graph_description_protogalaxy.test.cpp.

◆ OuterBuilder

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::OuterBuilder = RecursiveFlavor::CircuitBuilder

Definition at line 34 of file graph_description_protogalaxy.test.cpp.

◆ OuterFlavor

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::OuterFlavor = std::conditional_t<IsMegaBuilder<OuterBuilder>, MegaFlavor, UltraFlavor>

Definition at line 35 of file graph_description_protogalaxy.test.cpp.

◆ OuterProver

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::OuterProver = UltraProver_<OuterFlavor>

Definition at line 36 of file graph_description_protogalaxy.test.cpp.

◆ OuterProverInstance

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::OuterProverInstance = ProverInstance_<OuterFlavor>

Definition at line 38 of file graph_description_protogalaxy.test.cpp.

◆ OuterVerifier

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::OuterVerifier = UltraVerifier_<OuterFlavor>

Definition at line 37 of file graph_description_protogalaxy.test.cpp.

◆ RecursiveFlavor

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::RecursiveFlavor = MegaRecursiveFlavor_<MegaCircuitBuilder>

Definition at line 21 of file graph_description_protogalaxy.test.cpp.

◆ RecursiveVerificationKey

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::RecursiveVerificationKey = RecursiveVerifierInstance::VerificationKey

Definition at line 41 of file graph_description_protogalaxy.test.cpp.

◆ RecursiveVerifierInstance

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::RecursiveVerifierInstance = RecursiveVerifierInstance_<RecursiveFlavor>

Definition at line 40 of file graph_description_protogalaxy.test.cpp.

◆ RecursiveVKAndHash

using bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::RecursiveVKAndHash = RecursiveVerifierInstance::VKAndHash

Definition at line 42 of file graph_description_protogalaxy.test.cpp.

Member Function Documentation

◆ create_function_circuit()

static void bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::create_function_circuit ( InnerBuilder &  builder,
size_t  log_num_gates = 10 
)
inlinestatic

Definition at line 51 of file graph_description_protogalaxy.test.cpp.

◆ SetUpTestSuite()

static void bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::SetUpTestSuite ( )
inlinestatic

Definition at line 49 of file graph_description_protogalaxy.test.cpp.

◆ test_full_protogalaxy_recursive()

static void bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::test_full_protogalaxy_recursive ( )
inlinestatic

Definition at line 170 of file graph_description_protogalaxy.test.cpp.

◆ test_recursive_folding()

static void bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests::test_recursive_folding ( const size_t  num_verifiers = 1)
inlinestatic

Definition at line 101 of file graph_description_protogalaxy.test.cpp.

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