|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
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) |
Definition at line 62 of file recursive_verifier.test.cpp.