keccak_constraint.test.cpp File Reference

#include "keccak_constraint.hpp"
#include "acir_format.hpp"
#include "barretenberg/crypto/keccak/keccak.hpp"
#include "barretenberg/crypto/keccak/keccakf1600.cpp"
#include "barretenberg/dsl/acir_format/test_class.hpp"
#include "barretenberg/dsl/acir_format/utils.hpp"
#include "barretenberg/dsl/acir_format/witness_constant.hpp"
#include <gtest/gtest.h>
#include <vector>

Go to the source code of this file.

Classes
class	KeccakTestingFunctions< BuilderType >
struct	KeccakTestingFunctions< BuilderType >::InvalidWitness
class	KeccakConstraintsTest< Builder >

Typedefs
using	BuilderTypes = testing::Types< UltraCircuitBuilder, MegaCircuitBuilder >

Functions
	TYPED_TEST_SUITE (KeccakConstraintsTest, BuilderTypes)
	TYPED_TEST (KeccakConstraintsTest, GenerateVKFromConstraints)
	TYPED_TEST (KeccakConstraintsTest, Tampering)

Typedef Documentation

BuilderTypes

using BuilderTypes = testing::Types<UltraCircuitBuilder, MegaCircuitBuilder>

Definition at line 97 of file keccak_constraint.test.cpp.

Function Documentation

TYPED_TEST() [1/2]

TYPED_TEST	(	KeccakConstraintsTest	,
		GenerateVKFromConstraints
	)

Definition at line 101 of file keccak_constraint.test.cpp.

TYPED_TEST() [2/2]

TYPED_TEST	(	KeccakConstraintsTest	,
		Tampering
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	KeccakConstraintsTest	,
		BuilderTypes
	)