hypernova_prover.test.cpp File Reference

#include "barretenberg/hypernova/hypernova_prover.hpp"
#include "barretenberg/flavor/mega_app_flavor.hpp"
#include "barretenberg/flavor/mega_kernel_flavor.hpp"
#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"
#include "gtest/gtest.h"
#include <optional>

Go to the source code of this file.

Classes
class	HypernovaFoldingProverTests< Flavor_ >

Typedefs
using	ProverTestFlavors = ::testing::Types< MegaKernelFlavor, MegaAppFlavor >

Functions
	TYPED_TEST_SUITE (HypernovaFoldingProverTests, ProverTestFlavors)
	TYPED_TEST (HypernovaFoldingProverTests, SingleInstance)
	TYPED_TEST (HypernovaFoldingProverTests, FoldVariableWidth)
	TYPED_TEST (HypernovaFoldingProverTests, FoldWithPreviousAccumulator)
	TYPED_TEST (HypernovaFoldingProverTests, TamperPreviousAccumulator)

Typedef Documentation

ProverTestFlavors

using ProverTestFlavors = ::testing::Types<MegaKernelFlavor, MegaAppFlavor>

Definition at line 87 of file hypernova_prover.test.cpp.

Function Documentation

TYPED_TEST() [1/4]

TYPED_TEST	(	HypernovaFoldingProverTests	,
		FoldVariableWidth
	)

Definition at line 98 of file hypernova_prover.test.cpp.

TYPED_TEST() [2/4]

TYPED_TEST	(	HypernovaFoldingProverTests	,
		FoldWithPreviousAccumulator
	)

Definition at line 107 of file hypernova_prover.test.cpp.

TYPED_TEST() [3/4]

TYPED_TEST	(	HypernovaFoldingProverTests	,
		SingleInstance
	)

Definition at line 91 of file hypernova_prover.test.cpp.

TYPED_TEST() [4/4]

TYPED_TEST	(	HypernovaFoldingProverTests	,
		TamperPreviousAccumulator
	)

Definition at line 118 of file hypernova_prover.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	HypernovaFoldingProverTests	,
		ProverTestFlavors
	)