poseidon2.test.cpp File Reference

#include "poseidon2.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/test.hpp"
#include "barretenberg/crypto/poseidon2/poseidon2.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/stdlib/primitives/field/field_conversion.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"

Go to the source code of this file.

Classes
class	StdlibPoseidon2< Builder >

Typedefs
using	CircuitTypes = testing::Types< bb::MegaCircuitBuilder, bb::UltraCircuitBuilder >

Functions
	TYPED_TEST_SUITE (StdlibPoseidon2, CircuitTypes)
	TYPED_TEST (StdlibPoseidon2, TestHashZeros)
	TYPED_TEST (StdlibPoseidon2, TestHashSmall)
	TYPED_TEST (StdlibPoseidon2, TestHashLarge)
	TYPED_TEST (StdlibPoseidon2, TestHashRepeatedPairs)
	TYPED_TEST (StdlibPoseidon2, TestHashConstants)
	TYPED_TEST (StdlibPoseidon2, TestHashPadding)
	TYPED_TEST (StdlibPoseidon2, Consistency)
	TYPED_TEST (StdlibPoseidon2, PointCoordinatesVsAliasProduceDifferentHashes)

Typedef Documentation

CircuitTypes

using CircuitTypes = testing::Types<bb::MegaCircuitBuilder, bb::UltraCircuitBuilder>

Definition at line 423 of file poseidon2.test.cpp.

Function Documentation

TYPED_TEST() [1/8]

TYPED_TEST	(	StdlibPoseidon2	,
		Consistency
	)

Definition at line 462 of file poseidon2.test.cpp.

TYPED_TEST() [2/8]

TYPED_TEST	(	StdlibPoseidon2	,
		PointCoordinatesVsAliasProduceDifferentHashes
	)

Definition at line 468 of file poseidon2.test.cpp.

TYPED_TEST() [3/8]

TYPED_TEST	(	StdlibPoseidon2	,
		TestHashConstants
	)

Definition at line 454 of file poseidon2.test.cpp.

TYPED_TEST() [4/8]

TYPED_TEST	(	StdlibPoseidon2	,
		TestHashLarge
	)

Definition at line 444 of file poseidon2.test.cpp.

TYPED_TEST() [5/8]

TYPED_TEST	(	StdlibPoseidon2	,
		TestHashPadding
	)

Definition at line 458 of file poseidon2.test.cpp.

TYPED_TEST() [6/8]

TYPED_TEST	(	StdlibPoseidon2	,
		TestHashRepeatedPairs
	)

Definition at line 449 of file poseidon2.test.cpp.

TYPED_TEST() [7/8]

TYPED_TEST	(	StdlibPoseidon2	,
		TestHashSmall
	)

Definition at line 432 of file poseidon2.test.cpp.

TYPED_TEST() [8/8]

TYPED_TEST	(	StdlibPoseidon2	,
		TestHashZeros
	)

Definition at line 427 of file poseidon2.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	StdlibPoseidon2	,
		CircuitTypes
	)