honk_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/dsl/acir_format/gate_count_constants.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/flavor/test_utils/proof_structures.hpp"
#include "barretenberg/honk/proof_length.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include "ultra_verification_keys_comparator.hpp"

Go to the source code of this file.

Classes
struct	bb::stdlib::recursion::honk::RecursiveVerifierTestParams< RecursiveFlavor_, IO_ >
class	bb::stdlib::recursion::honk::RecursiveVerifierTest< Params >
	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::TestConfigs = testing::Types< RecursiveVerifierTestParams< MegaRecursiveFlavor_< MegaCircuitBuilder >, DefaultIO< MegaCircuitBuilder > >, RecursiveVerifierTestParams< MegaRecursiveFlavor_< UltraCircuitBuilder >, DefaultIO< UltraCircuitBuilder > >, RecursiveVerifierTestParams< UltraRecursiveFlavor_< UltraCircuitBuilder >, DefaultIO< UltraCircuitBuilder > >, RecursiveVerifierTestParams< UltraRecursiveFlavor_< UltraCircuitBuilder >, RollupIO >, RecursiveVerifierTestParams< UltraRecursiveFlavor_< MegaCircuitBuilder >, DefaultIO< MegaCircuitBuilder > >, RecursiveVerifierTestParams< UltraZKRecursiveFlavor_< UltraCircuitBuilder >, DefaultIO< UltraCircuitBuilder > >, RecursiveVerifierTestParams< UltraZKRecursiveFlavor_< MegaCircuitBuilder >, DefaultIO< MegaCircuitBuilder > >, RecursiveVerifierTestParams< MegaZKRecursiveFlavor_< MegaCircuitBuilder >, DefaultIO< MegaCircuitBuilder > >, RecursiveVerifierTestParams< MegaZKRecursiveFlavor_< UltraCircuitBuilder >, DefaultIO< UltraCircuitBuilder > > >

Functions
	bb::stdlib::recursion::honk::TYPED_TEST_SUITE (RecursiveVerifierTest, TestConfigs)
	bb::stdlib::recursion::honk::HEAVY_TYPED_TEST (RecursiveVerifierTest, InnerCircuit)
	bb::stdlib::recursion::honk::HEAVY_TYPED_TEST (RecursiveVerifierTest, RecursiveVerificationKey)
	bb::stdlib::recursion::honk::HEAVY_TYPED_TEST (RecursiveVerifierTest, SingleRecursiveVerification)
	bb::stdlib::recursion::honk::HEAVY_TYPED_TEST (RecursiveVerifierTest, IndependentVKHash)
	bb::stdlib::recursion::honk::HEAVY_TYPED_TEST (RecursiveVerifierTest, SingleRecursiveVerificationFailure)
	bb::stdlib::recursion::honk::HEAVY_TYPED_TEST (RecursiveVerifierTest, GraphAnalysisOfRecursiveVerifier)
	Test recursive verification circuit with graph analysis for unconstrained variables.