AvmRecursionInnerCircuitTests Class Reference

Inheritance diagram for AvmRecursionInnerCircuitTests:

Public Types
using	Builder = UltraCircuitBuilder
using	InnerProverOutput = AvmGoblinRecursiveVerifier::InnerProverOutput
using	RecursiveAvmGoblinOutput = AvmGoblinRecursiveVerifier::RecursiveAvmGoblinOutput
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

Detailed Description

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

Member Typedef Documentation

Builder

using AvmRecursionInnerCircuitTests::Builder = UltraCircuitBuilder

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

FF

using AvmRecursionInnerCircuitTests::FF = Builder::FF

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

InnerProverOutput

using AvmRecursionInnerCircuitTests::InnerProverOutput = AvmGoblinRecursiveVerifier::InnerProverOutput

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

RecursiveAvmGoblinOutput

using AvmRecursionInnerCircuitTests::RecursiveAvmGoblinOutput = AvmGoblinRecursiveVerifier::RecursiveAvmGoblinOutput

Definition at line 165 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 174 of file avm2_recursion_constraint.test.cpp.

SetUpTestSuite()

static void AvmRecursionInnerCircuitTests::SetUpTestSuite ( )

inlinestatic

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

Member Data Documentation

EXPECTED_INNER_VK_HASH

constexpr FF AvmRecursionInnerCircuitTests::EXPECTED_INNER_VK_HASH

staticconstexpr

Initial value:

=
        FF("0x01caba77a068a59190885beaf6c30240dcd92b0515064b36dd4a3035b39154ea")

Definition at line 168 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