AcirAvm2RecursionConstraint Class Reference

Inheritance diagram for AcirAvm2RecursionConstraint:

Public Types
using	InnerProver = bb::avm2::AvmProvingHelper
using	InnerVerifier = bb::avm2::AvmVerifier
using	OuterFlavor = UltraRollupFlavor
using	OuterProver = UltraProver_< OuterFlavor >
using	OuterVerifier = UltraVerifier_< OuterFlavor >
using	OuterDeciderProvingKey = DeciderProvingKey_< OuterFlavor >
using	OuterVerificationKey = OuterFlavor::VerificationKey
using	OuterBuilder = UltraCircuitBuilder

Static Public Member Functions
static void	SetUpTestSuite ()
static InnerCircuitData	create_inner_circuit_data ()
static AcirProgram	construct_avm_verifier_program (const std::vector< InnerCircuitData > &inner_circuits)
	Create a circuit that recursively verifies one or more inner avm2 circuits.

Detailed Description

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

Member Typedef Documentation

InnerProver

using AcirAvm2RecursionConstraint::InnerProver = bb::avm2::AvmProvingHelper

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

InnerVerifier

using AcirAvm2RecursionConstraint::InnerVerifier = bb::avm2::AvmVerifier

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

OuterBuilder

using AcirAvm2RecursionConstraint::OuterBuilder = UltraCircuitBuilder

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

OuterDeciderProvingKey

using AcirAvm2RecursionConstraint::OuterDeciderProvingKey = DeciderProvingKey_<OuterFlavor>

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

OuterFlavor

using AcirAvm2RecursionConstraint::OuterFlavor = UltraRollupFlavor

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

OuterProver

using AcirAvm2RecursionConstraint::OuterProver = UltraProver_<OuterFlavor>

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

OuterVerificationKey

using AcirAvm2RecursionConstraint::OuterVerificationKey = OuterFlavor::VerificationKey

Definition at line 45 of file avm2_recursion_constraint.test.cpp.

OuterVerifier

using AcirAvm2RecursionConstraint::OuterVerifier = UltraVerifier_<OuterFlavor>

Definition at line 42 of file avm2_recursion_constraint.test.cpp.

Member Function Documentation

construct_avm_verifier_program()

static AcirProgram AcirAvm2RecursionConstraint::construct_avm_verifier_program ( const std::vector< InnerCircuitData > &  inner_circuits )

inlinestatic

Create a circuit that recursively verifies one or more inner avm2 circuits.

Definition at line 71 of file avm2_recursion_constraint.test.cpp.

create_inner_circuit_data()

static InnerCircuitData AcirAvm2RecursionConstraint::create_inner_circuit_data ( )

inlinestatic

Definition at line 50 of file avm2_recursion_constraint.test.cpp.

SetUpTestSuite()

static void AcirAvm2RecursionConstraint::SetUpTestSuite ( )

inlinestatic

Definition at line 48 of file avm2_recursion_constraint.test.cpp.

---

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

• src/barretenberg/dsl/acir_format/avm2_recursion_constraint.test.cpp