poseidon2_constraint.test.cpp File Reference

#include "poseidon2_constraint.hpp"
#include "acir_format.hpp"
#include "acir_format_mocks.hpp"
#include "barretenberg/crypto/poseidon2/poseidon2_params.hpp"
#include "barretenberg/crypto/poseidon2/poseidon2_permutation.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	Poseidon2TestingFunctions< BuilderType >
struct	Poseidon2TestingFunctions< BuilderType >::InvalidWitness
class	Poseidon2ConstraintsTest< Builder >

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

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

Typedef Documentation

BuilderTypes

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

Definition at line 89 of file poseidon2_constraint.test.cpp.

Function Documentation

TYPED_TEST() [1/2]

TYPED_TEST	(	Poseidon2ConstraintsTest	,
		GenerateVKFromConstraints
	)

Definition at line 93 of file poseidon2_constraint.test.cpp.

TYPED_TEST() [2/2]

TYPED_TEST	(	Poseidon2ConstraintsTest	,
		Tampering
	)

Definition at line 99 of file poseidon2_constraint.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	Poseidon2ConstraintsTest	,
		BuilderTypes
	)