hypernova_verifier.test.cpp File Reference

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

Go to the source code of this file.

Classes
class	HypernovaFoldingVerifierTests

Functions
	TEST_F (HypernovaFoldingVerifierTests, Fold)
	TEST_F (HypernovaFoldingVerifierTests, TamperInstance)

Function Documentation

TEST_F() [1/2]

TEST_F	(	HypernovaFoldingVerifierTests	,
		Fold
	)

Definition at line 143 of file hypernova_verifier.test.cpp.

TEST_F() [2/2]

TEST_F	(	HypernovaFoldingVerifierTests	,
		TamperInstance
	)

Definition at line 148 of file hypernova_verifier.test.cpp.