bb::avm2::constraining::AvmRecursiveTests Class Reference

Inheritance diagram for bb::avm2::constraining::AvmRecursiveTests:

Classes
struct	NativeProofResult

Public Types
using	RecursiveFlavor = AvmRecursiveFlavor
using	InnerProver = AvmProvingHelper
using	InnerVerifier = AvmVerifier
using	OuterBuilder = typename RecursiveFlavor::CircuitBuilder

Static Public Member Functions
static void	SetUpTestSuite ()
static void	create_and_verify_native_proof (NativeProofResult &proof_result)

Detailed Description

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

Member Typedef Documentation

InnerProver

using bb::avm2::constraining::AvmRecursiveTests::InnerProver = AvmProvingHelper

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

InnerVerifier

using bb::avm2::constraining::AvmRecursiveTests::InnerVerifier = AvmVerifier

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

OuterBuilder

using bb::avm2::constraining::AvmRecursiveTests::OuterBuilder = typename RecursiveFlavor::CircuitBuilder

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

RecursiveFlavor

using bb::avm2::constraining::AvmRecursiveTests::RecursiveFlavor = AvmRecursiveFlavor

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

Member Function Documentation

create_and_verify_native_proof()

static void bb::avm2::constraining::AvmRecursiveTests::create_and_verify_native_proof ( NativeProofResult &  proof_result )

inlinestatic

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

SetUpTestSuite()

static void bb::avm2::constraining::AvmRecursiveTests::SetUpTestSuite ( )

inlinestatic

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

---

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

• src/barretenberg/vm2/constraining/recursion/recursive_verifier.test.cpp