graph_description_ultra_recursive_verifier.test.cpp File Reference

#include "barretenberg/boomerang_value_detection/graph.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/test.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/flavor/ultra_rollup_recursive_flavor.hpp"
#include "barretenberg/stdlib/honk_verifier/ultra_recursive_verifier.hpp"
#include "barretenberg/stdlib/honk_verifier/ultra_verification_keys_comparator.hpp"
#include "barretenberg/stdlib/test_utils/tamper_proof.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"

Go to the source code of this file.

Classes
class	bb::stdlib::recursion::honk::BoomerangRecursiveVerifierTest< RecursiveFlavor >
	Test suite for recursive verification of Honk proofs for both Ultra and Mega arithmetisation. More...

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::stdlib
namespace	bb::stdlib::recursion
namespace	bb::stdlib::recursion::honk

Typedefs
using	bb::stdlib::recursion::honk::Flavors = testing::Types< UltraRecursiveFlavor_< UltraCircuitBuilder > >

Functions
	bb::stdlib::recursion::honk::TYPED_TEST_SUITE (BoomerangRecursiveVerifierTest, Flavors)
	bb::stdlib::recursion::honk::HEAVY_TYPED_TEST (BoomerangRecursiveVerifierTest, SingleRecursiveVerification)