Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::constraining::AvmRecursiveTestsParameterized Class Reference
Inheritance diagram for bb::avm2::constraining::AvmRecursiveTestsParameterized:
bb::avm2::constraining::AvmRecursiveTests

Additional Inherited Members

- Public Types inherited from bb::avm2::constraining::AvmRecursiveTests
using RecursiveFlavor = AvmRecursiveFlavor
 
using InnerProver = AvmProvingHelper
 
using InnerVerifier = AvmVerifier
 
using OuterBuilder = typename RecursiveFlavor::CircuitBuilder
 
- Static Public Member Functions inherited from bb::avm2::constraining::AvmRecursiveTests
static void SetUpTestSuite ()
 
static void create_and_verify_native_proof (NativeProofResult &proof_result)
 

Detailed Description

Definition at line 62 of file recursive_verifier.test.cpp.


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