AvmRecursionInnerCircuitTests Class Reference

Inheritance diagram for AvmRecursionInnerCircuitTests:

Public Types
using	Builder = UltraCircuitBuilder
using	InnerProverOutput = TwoLayerAvmRecursiveVerifier::InnerProverOutput
using	TwoLayerAvmRecursiveVerifierOutput = TwoLayerAvmRecursiveVerifier::TwoLayerAvmRecursiveVerifierOutput
using	FF = Builder::FF

Static Public Member Functions
static void	SetUpTestSuite ()
static std::tuple< stdlib::Proof< Builder >, std::vector< std::vector< field_t< Builder > > >, InnerProverOutput >	create_and_prove_inner_circuit (Builder &outer_builder, const HonkProof &proof, const std::vector< FF > &public_inputs_flat)

Static Public Attributes
static constexpr FF	EXPECTED_INNER_VK_HASH
static constexpr size_t	EXPECT_GATE_COUNT = 1203700

Detailed Description

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

Member Typedef Documentation

Builder

using AvmRecursionInnerCircuitTests::Builder = UltraCircuitBuilder

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

FF

using AvmRecursionInnerCircuitTests::FF = Builder::FF

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

InnerProverOutput

using AvmRecursionInnerCircuitTests::InnerProverOutput = TwoLayerAvmRecursiveVerifier::InnerProverOutput

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

TwoLayerAvmRecursiveVerifierOutput

using AvmRecursionInnerCircuitTests::TwoLayerAvmRecursiveVerifierOutput = TwoLayerAvmRecursiveVerifier::TwoLayerAvmRecursiveVerifierOutput

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

Member Function Documentation

create_and_prove_inner_circuit()

static std::tuple< stdlib::Proof< Builder >, std::vector< std::vector< field_t< Builder > > >, InnerProverOutput > AvmRecursionInnerCircuitTests::create_and_prove_inner_circuit ( Builder &  outer_builder, const HonkProof &  proof, const std::vector< FF > &  public_inputs_flat  )

inlinestatic

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

SetUpTestSuite()

static void AvmRecursionInnerCircuitTests::SetUpTestSuite ( )

inlinestatic

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

Member Data Documentation

EXPECT_GATE_COUNT

constexpr size_t AvmRecursionInnerCircuitTests::EXPECT_GATE_COUNT = 1203700

staticconstexpr

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

EXPECTED_INNER_VK_HASH

constexpr FF AvmRecursionInnerCircuitTests::EXPECTED_INNER_VK_HASH

staticconstexpr

Initial value:

=
        FF("0x2be1149e37f087a8420d61586aed0d7db942f04937f2d3fa01bdf7f4cc62fb3c")

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

---

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

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