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::ECCVMRecursiveTests Class Reference
Inheritance diagram for bb::ECCVMRecursiveTests:

Public Types

using RecursiveFlavor = ECCVMRecursiveFlavor
 
using InnerFlavor = RecursiveFlavor::NativeFlavor
 
using InnerBuilder = InnerFlavor::CircuitBuilder
 
using InnerProver = ECCVMProver
 
using InnerVerifier = ECCVMVerifier
 
using InnerG1 = InnerFlavor::Commitment
 
using InnerFF = InnerFlavor::FF
 
using InnerBF = InnerFlavor::BF
 
using InnerPK = InnerFlavor::ProvingKey
 
using InnerVK = InnerFlavor::VerificationKey
 
using Transcript = InnerFlavor::Transcript
 
using StdlibTranscript = RecursiveFlavor::Transcript
 
using RecursiveVerifier = ECCVMRecursiveVerifier
 
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 >
 

Static Public Member Functions

static void SetUpTestSuite ()
 
static InnerBuilder generate_circuit (numeric::RNG *engine=nullptr, const size_t num_iterations=1)
 Adds operations in BN254 to the op_queue and then constructs and ECCVM circuit from the op_queue.
 
static void test_recursive_verification ()
 
static void test_recursive_verification_failure ()
 
static void test_recursive_verification_failure_tampered_proof ()
 
static void test_independent_vk_hash ()
 

Detailed Description

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

Member Typedef Documentation

◆ InnerBF

using bb::ECCVMRecursiveTests::InnerBF = InnerFlavor::BF

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

◆ InnerBuilder

using bb::ECCVMRecursiveTests::InnerBuilder = InnerFlavor::CircuitBuilder

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

◆ InnerFF

using bb::ECCVMRecursiveTests::InnerFF = InnerFlavor::FF

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

◆ InnerFlavor

using bb::ECCVMRecursiveTests::InnerFlavor = RecursiveFlavor::NativeFlavor

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

◆ InnerG1

using bb::ECCVMRecursiveTests::InnerG1 = InnerFlavor::Commitment

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

◆ InnerPK

using bb::ECCVMRecursiveTests::InnerPK = InnerFlavor::ProvingKey

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

◆ InnerProver

using bb::ECCVMRecursiveTests::InnerProver = ECCVMProver

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

◆ InnerVerifier

using bb::ECCVMRecursiveTests::InnerVerifier = ECCVMVerifier

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

◆ InnerVK

using bb::ECCVMRecursiveTests::InnerVK = InnerFlavor::VerificationKey

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

◆ OuterBuilder

using bb::ECCVMRecursiveTests::OuterBuilder = RecursiveFlavor::CircuitBuilder

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

◆ OuterDeciderProvingKey

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

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

◆ OuterFlavor

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

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

◆ OuterProver

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

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

◆ OuterVerifier

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

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

◆ RecursiveFlavor

using bb::ECCVMRecursiveTests::RecursiveFlavor = ECCVMRecursiveFlavor

Definition at line 20 of file eccvm_recursive_verifier.test.cpp.

◆ RecursiveVerifier

using bb::ECCVMRecursiveTests::RecursiveVerifier = ECCVMRecursiveVerifier

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

◆ StdlibTranscript

using bb::ECCVMRecursiveTests::StdlibTranscript = RecursiveFlavor::Transcript

Definition at line 32 of file eccvm_recursive_verifier.test.cpp.

◆ Transcript

using bb::ECCVMRecursiveTests::Transcript = InnerFlavor::Transcript

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

Member Function Documentation

◆ generate_circuit()

static InnerBuilder bb::ECCVMRecursiveTests::generate_circuit ( numeric::RNG *  engine = nullptr,
const size_t  num_iterations = 1 
)
inlinestatic

Adds operations in BN254 to the op_queue and then constructs and ECCVM circuit from the op_queue.

Parameters
engine
Returns
ECCVMCircuitBuilder

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

◆ SetUpTestSuite()

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

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

◆ test_independent_vk_hash()

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

Definition at line 205 of file eccvm_recursive_verifier.test.cpp.

◆ test_recursive_verification()

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

Definition at line 82 of file eccvm_recursive_verifier.test.cpp.

◆ test_recursive_verification_failure()

static void bb::ECCVMRecursiveTests::test_recursive_verification_failure ( )
inlinestatic

Definition at line 142 of file eccvm_recursive_verifier.test.cpp.

◆ test_recursive_verification_failure_tampered_proof()

static void bb::ECCVMRecursiveTests::test_recursive_verification_failure_tampered_proof ( )
inlinestatic

Definition at line 164 of file eccvm_recursive_verifier.test.cpp.

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