Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | 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:

Classes

struct  RecursiveVerifierInputs
 

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 OuterProverInstance = ProverInstance_< OuterFlavor >
 
using TranslatorBF = TranslatorRecursiveFlavor::BF
 
using Transcript = InnerFlavor::Transcript
 

Static Public Member Functions

static void SetUpTestSuite ()
 
static void add_random_ops (std::shared_ptr< bb::ECCOpQueue > &op_queue, size_t count)
 
static void add_mixed_ops (std::shared_ptr< bb::ECCOpQueue > &op_queue, size_t count=100)
 
static InnerBuilder generate_test_circuit (const InnerBF &batching_challenge_v, const InnerBF &evaluation_challenge_x, const size_t circuit_size_parameter=500)
 
static std::array< InnerFlavor::Commitment, InnerFlavor::NUM_OP_QUEUE_WIRES > create_native_op_queue_commitments (const std::shared_ptr< TranslatorProvingKey > &proving_key)
 
static std::array< RecursiveFlavor::Commitment, InnerFlavor::NUM_OP_QUEUE_WIRES > create_stdlib_op_queue_commitments (OuterBuilder *builder, const std::array< InnerFlavor::Commitment, InnerFlavor::NUM_OP_QUEUE_WIRES > &native_comms)
 
static RecursiveVerifierInputs create_recursive_verifier_inputs (OuterBuilder *builder, const InnerProver &prover, const InnerBF &evaluation_challenge_x, const InnerBF &batching_challenge_v)
 
static std::tuple< OuterBuilder, std::shared_ptr< OuterFlavor::VerificationKey > > create_recursive_verifier_circuit (size_t circuit_size_parameter=500)
 
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 19 of file translator_recursive_verifier.test.cpp.

Member Typedef Documentation

◆ InnerBF

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

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

◆ InnerBuilder

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

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

◆ InnerFF

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

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

◆ InnerFlavor

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

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

◆ InnerG1

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

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

◆ InnerProver

using bb::TranslatorRecursiveTests::InnerProver = TranslatorProver

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

◆ InnerProvingKey

using bb::TranslatorRecursiveTests::InnerProvingKey = TranslatorProvingKey

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

◆ InnerVerifier

using bb::TranslatorRecursiveTests::InnerVerifier = TranslatorVerifier

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

◆ OuterBuilder

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

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

◆ OuterFlavor

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

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

◆ OuterProver

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

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

◆ OuterProverInstance

using bb::TranslatorRecursiveTests::OuterProverInstance = ProverInstance_<OuterFlavor>

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

◆ OuterVerifier

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

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

◆ RecursiveFlavor

using bb::TranslatorRecursiveTests::RecursiveFlavor = TranslatorRecursiveFlavor

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

◆ RecursiveVerifier

using bb::TranslatorRecursiveTests::RecursiveVerifier = TranslatorRecursiveVerifier

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

◆ Transcript

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

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

◆ TranslatorBF

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

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

Member Function Documentation

◆ add_mixed_ops()

static void bb::TranslatorRecursiveTests::add_mixed_ops ( std::shared_ptr< bb::ECCOpQueue > &  op_queue,
size_t  count = 100 
)
inlinestatic

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

◆ add_random_ops()

static void bb::TranslatorRecursiveTests::add_random_ops ( std::shared_ptr< bb::ECCOpQueue > &  op_queue,
size_t  count 
)
inlinestatic

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

◆ create_native_op_queue_commitments()

static std::array< InnerFlavor::Commitment, InnerFlavor::NUM_OP_QUEUE_WIRES > bb::TranslatorRecursiveTests::create_native_op_queue_commitments ( const std::shared_ptr< TranslatorProvingKey > &  proving_key)
inlinestatic

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

◆ create_recursive_verifier_circuit()

static std::tuple< OuterBuilder, std::shared_ptr< OuterFlavor::VerificationKey > > bb::TranslatorRecursiveTests::create_recursive_verifier_circuit ( size_t  circuit_size_parameter = 500)
inlinestatic

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

◆ create_recursive_verifier_inputs()

static RecursiveVerifierInputs bb::TranslatorRecursiveTests::create_recursive_verifier_inputs ( OuterBuilder *  builder,
const InnerProver &  prover,
const InnerBF &  evaluation_challenge_x,
const InnerBF &  batching_challenge_v 
)
inlinestatic

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

◆ create_stdlib_op_queue_commitments()

static std::array< RecursiveFlavor::Commitment, InnerFlavor::NUM_OP_QUEUE_WIRES > bb::TranslatorRecursiveTests::create_stdlib_op_queue_commitments ( OuterBuilder *  builder,
const std::array< InnerFlavor::Commitment, InnerFlavor::NUM_OP_QUEUE_WIRES > &  native_comms 
)
inlinestatic

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

◆ generate_test_circuit()

static InnerBuilder bb::TranslatorRecursiveTests::generate_test_circuit ( const InnerBF &  batching_challenge_v,
const InnerBF &  evaluation_challenge_x,
const size_t  circuit_size_parameter = 500 
)
inlinestatic

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

◆ SetUpTestSuite()

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

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

◆ test_independent_vk_hash()

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

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

◆ test_recursive_verification()

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

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

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