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::TranslatorRecursiveTests Class Reference

Test suite for standalone recursive verification of translation proofs. More...

Inheritance diagram for bb::TranslatorRecursiveTests:

Public Types

using RecursiveFlavor = TranslatorRecursiveFlavor
 
using InnerFlavor = RecursiveFlavor::NativeFlavor
 
using InnerBuilder = InnerFlavor::CircuitBuilder
 
using InnerProvingKey = TranslatorProvingKey
 
using InnerProver = TranslatorProver
 
using InnerVerifier = TranslatorVerifier
 
using InnerG1 = InnerFlavor::Commitment
 
using InnerFF = InnerFlavor::FF
 
using InnerBF = InnerFlavor::BF
 
using RecursiveVerifier = TranslatorRecursiveVerifier
 
using OuterBuilder = RecursiveFlavor::CircuitBuilder
 
using OuterFlavor = std::conditional_t< IsMegaBuilder< OuterBuilder >, MegaFlavor, UltraFlavor >
 
using OuterProver = UltraProver_< OuterFlavor >
 
using OuterVerifier = UltraVerifier_< OuterFlavor >
 
using OuterDeciderProvingKey = DeciderProvingKey_< OuterFlavor >
 
using TranslatorBF = TranslatorRecursiveFlavor::BF
 
using Transcript = InnerFlavor::Transcript
 

Static Public Member Functions

static void SetUpTestSuite ()
 
static std::shared_ptr< bb::ECCOpQueue > create_op_queue (const size_t num_ops)
 
static void test_recursive_verification ()
 
static void test_independent_vk_hash ()
 

Detailed Description

Test suite for standalone recursive verification of translation proofs.

Inner* types describe the type of circuits (and everything else required to generate a proof) that we aim to recursively verify. Outer* describes the arithmetisation of the recursive verifier circuit and the types required to ensure the recursive verifier circuit is correct (i.e. by producing a proof and verifying it).

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

Member Typedef Documentation

◆ InnerBF

using bb::TranslatorRecursiveTests::InnerBF = InnerFlavor::BF

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

◆ InnerBuilder

using bb::TranslatorRecursiveTests::InnerBuilder = InnerFlavor::CircuitBuilder

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

◆ InnerFF

using bb::TranslatorRecursiveTests::InnerFF = InnerFlavor::FF

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

◆ InnerFlavor

using bb::TranslatorRecursiveTests::InnerFlavor = RecursiveFlavor::NativeFlavor

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

◆ InnerG1

using bb::TranslatorRecursiveTests::InnerG1 = InnerFlavor::Commitment

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

◆ InnerProver

using bb::TranslatorRecursiveTests::InnerProver = TranslatorProver

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

◆ InnerProvingKey

using bb::TranslatorRecursiveTests::InnerProvingKey = TranslatorProvingKey

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

◆ InnerVerifier

using bb::TranslatorRecursiveTests::InnerVerifier = TranslatorVerifier

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

◆ OuterBuilder

using bb::TranslatorRecursiveTests::OuterBuilder = RecursiveFlavor::CircuitBuilder

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

◆ OuterDeciderProvingKey

using bb::TranslatorRecursiveTests::OuterDeciderProvingKey = DeciderProvingKey_<OuterFlavor>

Definition at line 39 of file translator_recursive_verifier.test.cpp.

◆ OuterFlavor

using bb::TranslatorRecursiveTests::OuterFlavor = std::conditional_t<IsMegaBuilder<OuterBuilder>, MegaFlavor, UltraFlavor>

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

◆ OuterProver

using bb::TranslatorRecursiveTests::OuterProver = UltraProver_<OuterFlavor>

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

◆ OuterVerifier

using bb::TranslatorRecursiveTests::OuterVerifier = UltraVerifier_<OuterFlavor>

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

◆ RecursiveFlavor

using bb::TranslatorRecursiveTests::RecursiveFlavor = TranslatorRecursiveFlavor

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

◆ RecursiveVerifier

using bb::TranslatorRecursiveTests::RecursiveVerifier = TranslatorRecursiveVerifier

Definition at line 33 of file translator_recursive_verifier.test.cpp.

◆ Transcript

using bb::TranslatorRecursiveTests::Transcript = InnerFlavor::Transcript

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

◆ TranslatorBF

using bb::TranslatorRecursiveTests::TranslatorBF = TranslatorRecursiveFlavor::BF

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

Member Function Documentation

◆ create_op_queue()

static std::shared_ptr< bb::ECCOpQueue > bb::TranslatorRecursiveTests::create_op_queue ( const size_t  num_ops)
inlinestatic

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

◆ SetUpTestSuite()

static void bb::TranslatorRecursiveTests::SetUpTestSuite ( )
inlinestatic

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

◆ test_independent_vk_hash()

static void bb::TranslatorRecursiveTests::test_independent_vk_hash ( )
inlinestatic

Definition at line 139 of file translator_recursive_verifier.test.cpp.

◆ test_recursive_verification()

static void bb::TranslatorRecursiveTests::test_recursive_verification ( )
inlinestatic

Definition at line 65 of file translator_recursive_verifier.test.cpp.

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