avm2_recursion_constraint.test.cpp File Reference

#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/dsl/acir_format/acir_format_mocks.hpp"
#include "barretenberg/dsl/acir_format/avm2_recursion_constraint.hpp"
#include "barretenberg/dsl/acir_format/proof_surgeon.hpp"
#include "barretenberg/dsl/acir_format/utils.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
#include "barretenberg/ultra_honk/decider_keys.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include "barretenberg/vm2/common/avm_inputs.hpp"
#include "barretenberg/vm2/constraining/prover.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
struct	InnerCircuitData
class	AcirAvm2RecursionConstraint

Functions
	TEST_F (AcirAvm2RecursionConstraint, TestBasicSingleAvm2RecursionConstraint)
	TEST_F (AcirAvm2RecursionConstraint, TestGenerateVKFromConstraintsWithoutWitness)
	Ensure that an AVM2 recursive verifier circuit VK can be constructed from a corresponding acir program without a witness.

Function Documentation

TEST_F() [1/2]

TEST_F	(	AcirAvm2RecursionConstraint	,
		TestBasicSingleAvm2RecursionConstraint
	)

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

TEST_F() [2/2]

TEST_F	(	AcirAvm2RecursionConstraint	,
		TestGenerateVKFromConstraintsWithoutWitness
	)

Ensure that an AVM2 recursive verifier circuit VK can be constructed from a corresponding acir program without a witness.

This is the logic required, for example, to write the VK of the public base circuit without knowledge of a particular satisfying witness.

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