blake2s_constraint.test.cpp File Reference

#include "blake2s_constraint.hpp"
#include "acir_format.hpp"
#include "barretenberg/crypto/blake2s/blake2s.hpp"
#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	Blake2sTestingFunctions< BuilderType, IsInputConstant >
struct	Blake2sTestingFunctions< BuilderType, IsInputConstant >::InvalidWitness
class	Blake2sConstraintsTestInputConstant< Builder >
class	Blake2sConstraintsTestInputWitness< Builder >

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

Functions
	TYPED_TEST_SUITE (Blake2sConstraintsTestInputConstant, BuilderTypes)
	TYPED_TEST (Blake2sConstraintsTestInputConstant, GenerateVKFromConstraints)
	TYPED_TEST (Blake2sConstraintsTestInputConstant, Tampering)
	TYPED_TEST_SUITE (Blake2sConstraintsTestInputWitness, BuilderTypes)
	TYPED_TEST (Blake2sConstraintsTestInputWitness, GenerateVKFromConstraints)
	TYPED_TEST (Blake2sConstraintsTestInputWitness, Tampering)

Typedef Documentation

BuilderTypes

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

Definition at line 112 of file blake2s_constraint.test.cpp.

Function Documentation

TYPED_TEST() [1/4]

TYPED_TEST	(	Blake2sConstraintsTestInputConstant	,
		GenerateVKFromConstraints
	)

Definition at line 115 of file blake2s_constraint.test.cpp.

TYPED_TEST() [2/4]

TYPED_TEST	(	Blake2sConstraintsTestInputConstant	,
		Tampering
	)

Definition at line 121 of file blake2s_constraint.test.cpp.

TYPED_TEST() [3/4]

TYPED_TEST	(	Blake2sConstraintsTestInputWitness	,
		GenerateVKFromConstraints
	)

Definition at line 136 of file blake2s_constraint.test.cpp.

TYPED_TEST() [4/4]

TYPED_TEST	(	Blake2sConstraintsTestInputWitness	,
		Tampering
	)

Definition at line 142 of file blake2s_constraint.test.cpp.

TYPED_TEST_SUITE() [1/2]

TYPED_TEST_SUITE	(	Blake2sConstraintsTestInputConstant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [2/2]

TYPED_TEST_SUITE	(	Blake2sConstraintsTestInputWitness	,
		BuilderTypes
	)