chonk_recursion_constraints.test.cpp File Reference

#include "barretenberg/chonk/mock_circuit_producer.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/dsl/acir_format/acir_format_mocks.hpp"
#include "barretenberg/dsl/acir_format/gate_count_constants.hpp"
#include "barretenberg/dsl/acir_format/proof_surgeon.hpp"
#include "barretenberg/stdlib/chonk_verifier/chonk_recursive_verifier.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	ChonkRecursionConstraintTest
struct	ChonkRecursionConstraintTest::ChonkData

Functions
	TEST_F (ChonkRecursionConstraintTest, GenerateRecursiveChonkVerifierVKFromConstraints)
	TEST_F (ChonkRecursionConstraintTest, GateCountChonkRecursion)

Function Documentation

TEST_F() [1/2]

TEST_F	(	ChonkRecursionConstraintTest	,
		GateCountChonkRecursion
	)

Definition at line 142 of file chonk_recursion_constraints.test.cpp.

TEST_F() [2/2]

TEST_F	(	ChonkRecursionConstraintTest	,
		GenerateRecursiveChonkVerifierVKFromConstraints
	)

Definition at line 102 of file chonk_recursion_constraints.test.cpp.