hypernova_decider_verifier.test.cpp File Reference

#include "barretenberg/hypernova/hypernova_decider_verifier.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/hypernova/hypernova_decider_prover.hpp"
#include "barretenberg/hypernova/hypernova_prover.hpp"
#include "barretenberg/hypernova/hypernova_verifier.hpp"
#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"
#include "gtest/gtest.h"

Go to the source code of this file.

Classes
class	HypernovaDeciderVerifierTests

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

Function Documentation

TEST_F() [1/4]

TEST_F	(	HypernovaDeciderVerifierTests	,
		NoTampering
	)

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

TEST_F() [2/4]

TEST_F	(	HypernovaDeciderVerifierTests	,
		TamperWithAccumulator
	)

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

TEST_F() [3/4]

TEST_F	(	HypernovaDeciderVerifierTests	,
		TamperWithFoldedAccumulator
	)

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

TEST_F() [4/4]

TEST_F	(	HypernovaDeciderVerifierTests	,
		TamperWithInstance
	)

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