merge_verifier.test.cpp File Reference

#include "barretenberg/ultra_honk/merge_verifier.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/test.hpp"
#include "barretenberg/ecc/fields/field_conversion.hpp"
#include "barretenberg/goblin/mock_circuits.hpp"
#include "barretenberg/stdlib/merge_verifier/merge_recursive_verifier.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/ultra_honk/merge_prover.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::goblin::RecursiveMergeVerifierTest< RecursiveBuilder >
	Test suite for recursive verification of Goblin Merge proofs. More...

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

Typedefs
using	bb::stdlib::recursion::goblin::Builders = testing::Types< MegaCircuitBuilder, UltraCircuitBuilder >

Functions
	bb::stdlib::recursion::goblin::TYPED_TEST_SUITE (RecursiveMergeVerifierTest, Builders)
	bb::stdlib::recursion::goblin::TYPED_TEST (RecursiveMergeVerifierTest, SingleRecursiveVerification)
	bb::stdlib::recursion::goblin::TYPED_TEST (RecursiveMergeVerifierTest, DegreeCheckFailure)
	bb::stdlib::recursion::goblin::TYPED_TEST (RecursiveMergeVerifierTest, MergeFailure)
	bb::stdlib::recursion::goblin::TYPED_TEST (RecursiveMergeVerifierTest, EvalFailure)