sha256_constraint.test.cpp File Reference

#include "sha256_constraint.hpp"
#include "acir_format.hpp"
#include "barretenberg/crypto/sha256/sha256.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>

Go to the source code of this file.

Classes
class	Sha256TestingFunctions< BuilderType, IsInputConstant >
struct	Sha256TestingFunctions< BuilderType, IsInputConstant >::InvalidWitness
class	Sha256ConstraintsTestInputConstant< Builder >
class	Sha256ConstraintsTestInputWitness< Builder >

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

Functions
	TYPED_TEST_SUITE (Sha256ConstraintsTestInputConstant, BuilderTypes)
	TYPED_TEST (Sha256ConstraintsTestInputConstant, GenerateVKFromConstraints)
	TYPED_TEST (Sha256ConstraintsTestInputConstant, Tampering)
	TYPED_TEST_SUITE (Sha256ConstraintsTestInputWitness, BuilderTypes)
	TYPED_TEST (Sha256ConstraintsTestInputWitness, GenerateVKFromConstraints)
	TYPED_TEST (Sha256ConstraintsTestInputWitness, Tampering)

Typedef Documentation

BuilderTypes

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

Definition at line 120 of file sha256_constraint.test.cpp.

Function Documentation

TYPED_TEST() [1/4]

TYPED_TEST	(	Sha256ConstraintsTestInputConstant	,
		GenerateVKFromConstraints
	)

Definition at line 124 of file sha256_constraint.test.cpp.

TYPED_TEST() [2/4]

TYPED_TEST	(	Sha256ConstraintsTestInputConstant	,
		Tampering
	)

Definition at line 130 of file sha256_constraint.test.cpp.

TYPED_TEST() [3/4]

TYPED_TEST	(	Sha256ConstraintsTestInputWitness	,
		GenerateVKFromConstraints
	)

Definition at line 145 of file sha256_constraint.test.cpp.

TYPED_TEST() [4/4]

TYPED_TEST	(	Sha256ConstraintsTestInputWitness	,
		Tampering
	)

Definition at line 151 of file sha256_constraint.test.cpp.

TYPED_TEST_SUITE() [1/2]

TYPED_TEST_SUITE	(	Sha256ConstraintsTestInputConstant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [2/2]

TYPED_TEST_SUITE	(	Sha256ConstraintsTestInputWitness	,
		BuilderTypes
	)