blake3_constraint.test.cpp File Reference

#include "blake3_constraint.hpp"
#include "acir_format.hpp"
#include "barretenberg/crypto/blake3s/blake3s.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	Blake3TestingFunctions< BuilderType, IsInputConstant >
struct	Blake3TestingFunctions< BuilderType, IsInputConstant >::InvalidWitness
class	Blake3ConstraintsTestInputConstant< Builder >
class	Blake3ConstraintsTestInputWitness< Builder >

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

Functions
	TYPED_TEST_SUITE (Blake3ConstraintsTestInputConstant, BuilderTypes)
	TYPED_TEST (Blake3ConstraintsTestInputConstant, GenerateVKFromConstraints)
	TYPED_TEST (Blake3ConstraintsTestInputConstant, Tampering)
	TYPED_TEST_SUITE (Blake3ConstraintsTestInputWitness, BuilderTypes)
	TYPED_TEST (Blake3ConstraintsTestInputWitness, GenerateVKFromConstraints)
	TYPED_TEST (Blake3ConstraintsTestInputWitness, Tampering)

Typedef Documentation

BuilderTypes

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

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

Function Documentation

TYPED_TEST() [1/4]

TYPED_TEST	(	Blake3ConstraintsTestInputConstant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [2/4]

TYPED_TEST	(	Blake3ConstraintsTestInputConstant	,
		Tampering
	)

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

TYPED_TEST() [3/4]

TYPED_TEST	(	Blake3ConstraintsTestInputWitness	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [4/4]

TYPED_TEST	(	Blake3ConstraintsTestInputWitness	,
		Tampering
	)

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

TYPED_TEST_SUITE() [1/2]

TYPED_TEST_SUITE	(	Blake3ConstraintsTestInputConstant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [2/2]

TYPED_TEST_SUITE	(	Blake3ConstraintsTestInputWitness	,
		BuilderTypes
	)