honk_recursion_constraint.test.cpp File Reference

#include "honk_recursion_constraint.hpp"
#include "acir_format.hpp"
#include "barretenberg/chonk/mock_circuit_producer.hpp"
#include "barretenberg/dsl/acir_format/gate_count_constants.hpp"
#include "barretenberg/dsl/acir_format/test_class_predicate.hpp"
#include "barretenberg/dsl/acir_format/utils.hpp"
#include "barretenberg/dsl/acir_format/witness_constant.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include <gtest/gtest.h>
#include <vector>

Go to the source code of this file.

Classes
class	HonkRecursionTestParams< RecursiveFlavor_, IsRootRollup_, N_, LayerSizes_ >
class	HonkRecursionConstraintTestingFunctions< RecursiveFlavor, IsRootRollup, N, LayerSizes >
struct	HonkRecursionConstraintTestingFunctions< RecursiveFlavor, IsRootRollup, N, LayerSizes >::InvalidWitness
class	HonkRecursionConstraintTestWithPredicate< Params >
class	HonkRecursionConstraintTestWithoutPredicate< Params >

Typedefs
using	HonkRecursionTypesWithPredicate = testing::Types< HonkRecursionTestParams< UltraRecursiveFlavor_< UltraCircuitBuilder >, false, 1, { 1 }>, HonkRecursionTestParams< UltraZKRecursiveFlavor_< UltraCircuitBuilder >, false, 1, { 1 }>, HonkRecursionTestParams< UltraRecursiveFlavor_< MegaCircuitBuilder >, false, 1, { 1 }>, HonkRecursionTestParams< UltraZKRecursiveFlavor_< MegaCircuitBuilder >, false, 1, { 1 }> >
using	HonkRecursionTypesWithoutPredicate = testing::Types< HonkRecursionTestParams< UltraRecursiveFlavor_< UltraCircuitBuilder >, false, 1, { 2 }>, HonkRecursionTestParams< UltraZKRecursiveFlavor_< UltraCircuitBuilder >, false, 1, { 2 }>, HonkRecursionTestParams< UltraRecursiveFlavor_< UltraCircuitBuilder >, true, 1, { 2 }>, HonkRecursionTestParams< UltraZKRecursiveFlavor_< UltraCircuitBuilder >, false, 2, { 2, 1 }>, HonkRecursionTestParams< UltraZKRecursiveFlavor_< UltraCircuitBuilder >, false, 2, { 2, 2 }>, HonkRecursionTestParams< UltraRecursiveFlavor_< MegaCircuitBuilder >, false, 4, { 4, 3, 1, 1 }> >

Functions
	TYPED_TEST_SUITE (HonkRecursionConstraintTestWithPredicate, HonkRecursionTypesWithPredicate)
	TYPED_TEST (HonkRecursionConstraintTestWithPredicate, GenerateVKFromConstraints)
	TYPED_TEST (HonkRecursionConstraintTestWithPredicate, ConstantTrue)
	TYPED_TEST (HonkRecursionConstraintTestWithPredicate, WitnessTrue)
	TYPED_TEST (HonkRecursionConstraintTestWithPredicate, WitnessFalseSlow)
	TYPED_TEST (HonkRecursionConstraintTestWithPredicate, GateCountSingleHonkRecursion)
	TYPED_TEST_SUITE (HonkRecursionConstraintTestWithoutPredicate, HonkRecursionTypesWithoutPredicate)
	TYPED_TEST (HonkRecursionConstraintTestWithoutPredicate, GenerateVKFromConstraints)
	TYPED_TEST (HonkRecursionConstraintTestWithoutPredicate, Tampering)
	TYPED_TEST (HonkRecursionConstraintTestWithoutPredicate, GateCountRootRollup)

Typedef Documentation

HonkRecursionTypesWithoutPredicate

using HonkRecursionTypesWithoutPredicate = testing::Types< HonkRecursionTestParams<UltraRecursiveFlavor_<UltraCircuitBuilder>, false, 1, { 2 }>, HonkRecursionTestParams<UltraZKRecursiveFlavor_<UltraCircuitBuilder>, false, 1, { 2 }>, HonkRecursionTestParams<UltraRecursiveFlavor_<UltraCircuitBuilder>, true, 1, { 2 }>, HonkRecursionTestParams<UltraZKRecursiveFlavor_<UltraCircuitBuilder>, false, 2, { 2, 1 }>, HonkRecursionTestParams<UltraZKRecursiveFlavor_<UltraCircuitBuilder>, false, 2, { 2, 2 }>, HonkRecursionTestParams<UltraRecursiveFlavor_<MegaCircuitBuilder>, false, 4, { 4, 3, 1, 1 }> >

Definition at line 441 of file honk_recursion_constraint.test.cpp.

HonkRecursionTypesWithPredicate

using HonkRecursionTypesWithPredicate = testing::Types<HonkRecursionTestParams<UltraRecursiveFlavor_<UltraCircuitBuilder>, false, 1, { 1 }>, HonkRecursionTestParams<UltraZKRecursiveFlavor_<UltraCircuitBuilder>, false, 1, { 1 }>, HonkRecursionTestParams<UltraRecursiveFlavor_<MegaCircuitBuilder>, false, 1, { 1 }>, HonkRecursionTestParams<UltraZKRecursiveFlavor_<MegaCircuitBuilder>, false, 1, { 1 }> >

Definition at line 350 of file honk_recursion_constraint.test.cpp.

Function Documentation

TYPED_TEST() [1/8]

TYPED_TEST	(	HonkRecursionConstraintTestWithoutPredicate	,
		GateCountRootRollup
	)

Definition at line 472 of file honk_recursion_constraint.test.cpp.

TYPED_TEST() [2/8]

TYPED_TEST	(	HonkRecursionConstraintTestWithoutPredicate	,
		GenerateVKFromConstraints
	)

Definition at line 451 of file honk_recursion_constraint.test.cpp.

TYPED_TEST() [3/8]

TYPED_TEST	(	HonkRecursionConstraintTestWithoutPredicate	,
		Tampering
	)

Definition at line 466 of file honk_recursion_constraint.test.cpp.

TYPED_TEST() [4/8]

TYPED_TEST	(	HonkRecursionConstraintTestWithPredicate	,
		ConstantTrue
	)

Definition at line 368 of file honk_recursion_constraint.test.cpp.

TYPED_TEST() [5/8]

TYPED_TEST	(	HonkRecursionConstraintTestWithPredicate	,
		GateCountSingleHonkRecursion
	)

Definition at line 386 of file honk_recursion_constraint.test.cpp.

TYPED_TEST() [6/8]

TYPED_TEST	(	HonkRecursionConstraintTestWithPredicate	,
		GenerateVKFromConstraints
	)

Definition at line 358 of file honk_recursion_constraint.test.cpp.

TYPED_TEST() [7/8]

TYPED_TEST	(	HonkRecursionConstraintTestWithPredicate	,
		WitnessFalseSlow
	)

Definition at line 380 of file honk_recursion_constraint.test.cpp.

TYPED_TEST() [8/8]

TYPED_TEST	(	HonkRecursionConstraintTestWithPredicate	,
		WitnessTrue
	)

Definition at line 374 of file honk_recursion_constraint.test.cpp.

TYPED_TEST_SUITE() [1/2]

TYPED_TEST_SUITE	(	HonkRecursionConstraintTestWithoutPredicate	,
		HonkRecursionTypesWithoutPredicate
	)

TYPED_TEST_SUITE() [2/2]

TYPED_TEST_SUITE	(	HonkRecursionConstraintTestWithPredicate	,
		HonkRecursionTypesWithPredicate
	)