avm2_recursion_constraint.test.cpp File Reference

#include "barretenberg/dsl/acir_format/avm2_recursion_constraint.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/dsl/acir_format/gate_count_constants.hpp"
#include "barretenberg/dsl/acir_format/test_class.hpp"
#include "barretenberg/dsl/acir_format/utils.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include "barretenberg/vm2/common/avm_io.hpp"
#include "barretenberg/vm2/constraining/prover.hpp"
#include "barretenberg/vm2/constraining/recursion/goblin_avm_recursive_verifier.hpp"
#include "barretenberg/vm2/constraining/recursion/recursive_flavor.hpp"
#include "barretenberg/vm2/constraining/recursion/recursive_verifier.hpp"
#include "barretenberg/vm2/constraining/verifier.hpp"
#include "barretenberg/vm2/proving_helper.hpp"
#include "barretenberg/vm2/testing/fixtures.hpp"
#include <gtest/gtest.h>
#include <memory>
#include <vector>

Go to the source code of this file.

Classes
class	AvmRecursionConstraintTestingFunctions
class	AvmRecursionConstraintTestingFunctions::InvalidWitness
class	AvmRecursionConstraintTest
class	AvmRecursionInnerCircuitTests

Functions
	TEST_F (AvmRecursionConstraintTest, GenerateVKFromConstraints)
	TEST_F (AvmRecursionConstraintTest, Tampering)
	TEST_F (AvmRecursionConstraintTest, GateCountAndVKCheck)
	TEST_F (AvmRecursionInnerCircuitTests, DISABLED_VKCheck)
	TEST_F (AvmRecursionInnerCircuitTests, Tampering)
	Test that if the data passed to the outer circuit construction is not valid (mega proof/goblin proof are invalid, vk is different from the one of the inner circuit), then the outer circuit fails.

Function Documentation

TEST_F() [1/5]

TEST_F	(	AvmRecursionConstraintTest	,
		GateCountAndVKCheck
	)

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

TEST_F() [2/5]

TEST_F	(	AvmRecursionConstraintTest	,
		GenerateVKFromConstraints
	)

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

TEST_F() [3/5]

TEST_F	(	AvmRecursionConstraintTest	,
		Tampering
	)

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

TEST_F() [4/5]

TEST_F	(	AvmRecursionInnerCircuitTests	,
		DISABLED_VKCheck
	)

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

TEST_F() [5/5]

TEST_F	(	AvmRecursionInnerCircuitTests	,
		Tampering
	)

Test that if the data passed to the outer circuit construction is not valid (mega proof/goblin proof are invalid, vk is different from the one of the inner circuit), then the outer circuit fails.

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