merge.test.cpp File Reference

#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/test.hpp"
#include "barretenberg/ecc/fields/field_conversion.hpp"
#include "barretenberg/goblin/merge_prover.hpp"
#include "barretenberg/goblin/merge_verifier.hpp"
#include "barretenberg/goblin/mock_circuits.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"

Go to the source code of this file.

Classes
struct	bb::BuilderTypeHelper< Curve, typename >
struct	bb::BuilderTypeHelper< Curve, typename >::DummyBuilder
struct	bb::BuilderTypeHelper< Curve, std::enable_if_t< Curve::is_stdlib_type > >
class	bb::MergeTests< Curve >
	Unified test fixture for native and recursive merge verification. More...
class	bb::MergeTranscriptTests
	Test class for merge protocol transcript pinning tests. More...

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

Functions
	bb::TYPED_TEST_SUITE (MergeTests, CurveTypes)
	bb::TYPED_TEST (MergeTests, MergeProofSizeCheck)
	bb::TYPED_TEST (MergeTests, SingleMerge)
	bb::TYPED_TEST (MergeTests, MultipleMergesPrepend)
	bb::TYPED_TEST (MergeTests, MergePrependThenAppend)
	bb::TYPED_TEST (MergeTests, DegreeCheckFailurePrepend)
	bb::TYPED_TEST (MergeTests, DegreeCheckFailureAppend)
	bb::TYPED_TEST (MergeTests, MergeFailurePrepend)
	bb::TYPED_TEST (MergeTests, MergeFailureAppend)
	bb::TYPED_TEST (MergeTests, EvalFailurePrepend)
	bb::TYPED_TEST (MergeTests, EvalFailureAppend)
	bb::TYPED_TEST (MergeTests, DifferentTranscriptOriginTagFailure)
	Test that mixing values from different transcript instances causes instant failure.
	bb::TEST_F (MergeTranscriptTests, ProverManifestConsistency)
	Ensure consistency between the hardcoded manifest and the one generated by the merge prover.
	bb::TEST_F (MergeTranscriptTests, VerifierManifestConsistency)
	Ensure consistency between prover and verifier manifests.