pg_recursion_constraint.test.cpp File Reference

#include "barretenberg/dsl/acir_format/pg_recursion_constraint.hpp"
#include "acir_format.hpp"
#include "acir_format_mocks.hpp"
#include "barretenberg/client_ivc/client_ivc.hpp"
#include "barretenberg/dsl/acir_format/mock_verifier_inputs.hpp"
#include "barretenberg/goblin/mock_circuits.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include "honk_recursion_constraint.hpp"
#include "proof_surgeon.hpp"
#include <gtest/gtest.h>
#include <vector>

Go to the source code of this file.

Classes
class	IvcRecursionConstraintTest

Functions
	TEST_F (IvcRecursionConstraintTest, MockMergeProofSize)
	Check that the size of a mock merge proof matches expectation.
	TEST_F (IvcRecursionConstraintTest, AccumulateSingleApp)
	Test IVC accumulation of a one app and one kernel; The kernel includes a recursive oink verification for the app, specified via an ACIR RecursionConstraint.
	TEST_F (IvcRecursionConstraintTest, AccumulateTwoApps)
	Test IVC accumulation of two apps and two kernels; The first kernel contains a recursive oink verification and the second contains two recursive PG verifications, all specified via ACIR RecursionConstraints.
	TEST_F (IvcRecursionConstraintTest, GenerateInitKernelVKFromConstraints)
	TEST_F (IvcRecursionConstraintTest, GenerateResetKernelVKFromConstraints)
	TEST_F (IvcRecursionConstraintTest, GenerateTailKernelVKFromConstraints)
	TEST_F (IvcRecursionConstraintTest, GenerateInnerKernelVKFromConstraints)
	TEST_F (IvcRecursionConstraintTest, GenerateHidingKernelVKFromConstraints)
	TEST_F (IvcRecursionConstraintTest, RecursiveVerifierAppCircuitTest)
	Test IVC accumulation of a one app and one kernel. The app includes a UltraHonk Recursive Verifier. This test was copied from the AccumulateTwo test.
	TEST_F (IvcRecursionConstraintTest, BadRecursiveVerifierAppCircuitTest)
	Test IVC accumulation of a one app and one kernel. The app includes a UltraHonk Recursive Verifier that verifies a failed proof. This test was copied from the AccumulateTwo test.

Function Documentation

TEST_F() [1/10]

TEST_F	(	IvcRecursionConstraintTest	,
		AccumulateSingleApp
	)

Test IVC accumulation of a one app and one kernel; The kernel includes a recursive oink verification for the app, specified via an ACIR RecursionConstraint.

Definition at line 302 of file pg_recursion_constraint.test.cpp.

TEST_F() [2/10]

TEST_F	(	IvcRecursionConstraintTest	,
		AccumulateTwoApps
	)

Test IVC accumulation of two apps and two kernels; The first kernel contains a recursive oink verification and the second contains two recursive PG verifications, all specified via ACIR RecursionConstraints.

Definition at line 324 of file pg_recursion_constraint.test.cpp.

TEST_F() [3/10]

TEST_F	(	IvcRecursionConstraintTest	,
		BadRecursiveVerifierAppCircuitTest
	)

Test IVC accumulation of a one app and one kernel. The app includes a UltraHonk Recursive Verifier that verifies a failed proof. This test was copied from the AccumulateTwo test.

Definition at line 597 of file pg_recursion_constraint.test.cpp.

TEST_F() [4/10]

TEST_F	(	IvcRecursionConstraintTest	,
		GenerateHidingKernelVKFromConstraints
	)

Definition at line 526 of file pg_recursion_constraint.test.cpp.

TEST_F() [5/10]

TEST_F	(	IvcRecursionConstraintTest	,
		GenerateInitKernelVKFromConstraints
	)

Definition at line 352 of file pg_recursion_constraint.test.cpp.

TEST_F() [6/10]

TEST_F	(	IvcRecursionConstraintTest	,
		GenerateInnerKernelVKFromConstraints
	)

Definition at line 474 of file pg_recursion_constraint.test.cpp.

TEST_F() [7/10]

TEST_F	(	IvcRecursionConstraintTest	,
		GenerateResetKernelVKFromConstraints
	)

Definition at line 387 of file pg_recursion_constraint.test.cpp.

TEST_F() [8/10]

TEST_F	(	IvcRecursionConstraintTest	,
		GenerateTailKernelVKFromConstraints
	)

Definition at line 428 of file pg_recursion_constraint.test.cpp.

TEST_F() [9/10]

TEST_F	(	IvcRecursionConstraintTest	,
		MockMergeProofSize
	)

Check that the size of a mock merge proof matches expectation.

Definition at line 292 of file pg_recursion_constraint.test.cpp.

TEST_F() [10/10]

TEST_F	(	IvcRecursionConstraintTest	,
		RecursiveVerifierAppCircuitTest
	)

Test IVC accumulation of a one app and one kernel. The app includes a UltraHonk Recursive Verifier. This test was copied from the AccumulateTwo test.

Definition at line 573 of file pg_recursion_constraint.test.cpp.