recursive_verifier.test.cpp File Reference

#include "barretenberg/vm2/constraining/recursion/recursive_verifier.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/flavor/ultra_rollup_flavor.hpp"
#include "barretenberg/stdlib/honk_verifier/ultra_recursive_verifier.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.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/verifier.hpp"
#include "barretenberg/vm2/proving_helper.hpp"
#include "barretenberg/vm2/testing/fixtures.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	bb::avm2::constraining::AvmRecursiveTests
struct	bb::avm2::constraining::AvmRecursiveTests::NativeProofResult

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2
namespace	bb::avm2::constraining

Functions
	bb::avm2::constraining::TEST_F (AvmRecursiveTests, GoblinRecursion)
	A test of the Goblinized AVM recursive verifier.
	bb::avm2::constraining::TEST_F (AvmRecursiveTests, GoblinRecursionWithoutPIValidation)
	bb::avm2::constraining::TEST_F (AvmRecursiveTests, GoblinRecursionFailsWithWrongPIs)