hypernova_decider_verifier.test.cpp File Reference

#include "barretenberg/hypernova/hypernova_decider_verifier.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/flavor/mega_kernel_flavor.hpp"
#include "barretenberg/flavor/mega_kernel_recursive_flavor.hpp"
#include "barretenberg/hypernova/hypernova_decider_prover.hpp"
#include "barretenberg/hypernova/hypernova_prover.hpp"
#include "barretenberg/hypernova/hypernova_verifier.hpp"
#include "barretenberg/hypernova/test_utils.hpp"
#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"
#include "barretenberg/transcript/transcript_manifest.hpp"
#include "gtest/gtest.h"
#include <optional>
#include <vector>

Go to the source code of this file.

Classes
class	HypernovaDeciderVerifierTests

Functions
	TEST_F (HypernovaDeciderVerifierTests, NoTampering)
	TEST_F (HypernovaDeciderVerifierTests, TamperWithFoldedAccumulator)

Function Documentation

TEST_F() [1/2]

TEST_F	(	HypernovaDeciderVerifierTests	,
		NoTampering
	)

Definition at line 235 of file hypernova_decider_verifier.test.cpp.

TEST_F() [2/2]

TEST_F	(	HypernovaDeciderVerifierTests	,
		TamperWithFoldedAccumulator
	)

Definition at line 240 of file hypernova_decider_verifier.test.cpp.