poseidon2.test.cpp File Reference

#include <gmock/gmock.h>
#include <gtest/gtest.h>
#include <cstdint>
#include "barretenberg/crypto/poseidon2/poseidon2.hpp"
#include "barretenberg/vm2/common/memory_types.hpp"
#include "barretenberg/vm2/constraining/flavor_settings.hpp"
#include "barretenberg/vm2/constraining/testing/check_relation.hpp"
#include "barretenberg/vm2/generated/relations/lookups_poseidon2_hash.hpp"
#include "barretenberg/vm2/generated/relations/poseidon2_hash.hpp"
#include "barretenberg/vm2/optimized/relations/poseidon2_perm.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/simulation/gadgets/range_check.hpp"
#include "barretenberg/vm2/simulation/lib/execution_id_manager.hpp"
#include "barretenberg/vm2/simulation/testing/mock_memory.hpp"
#include "barretenberg/vm2/simulation/testing/mock_range_check.hpp"
#include "barretenberg/vm2/testing/fixtures.hpp"
#include "barretenberg/vm2/testing/macros.hpp"
#include "barretenberg/vm2/tracegen/gt_trace.hpp"
#include "barretenberg/vm2/tracegen/memory_trace.hpp"
#include "barretenberg/vm2/tracegen/poseidon2_trace.hpp"
#include "barretenberg/vm2/simulation/gadgets/poseidon2.hpp"
#include "barretenberg/vm2/tracegen/test_trace_container.hpp"

Go to the source code of this file.

Classes
class	bb::avm2::constraining::Poseidon2ConstrainingTest
class	bb::avm2::constraining::Poseidon2MemoryConstrainingTest

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2
namespace	bb::avm2::constraining

Typedefs
using	bb::avm2::constraining::FF = AvmFlavorSettings::FF
using	bb::avm2::constraining::C = Column
using	bb::avm2::constraining::poseidon2_hash = bb::avm2::poseidon2_hash< FF >
using	bb::avm2::constraining::poseidon2_perm = bb::avm2::optimized_poseidon2_perm< FF >
using	bb::avm2::constraining::poseidon2_mem = bb::avm2::poseidon2_mem< FF >

Functions
	bb::avm2::constraining::TEST_F (Poseidon2ConstrainingTest, Poseidon2EmptyRow)
	bb::avm2::constraining::TEST_F (Poseidon2ConstrainingTest, BasicPermutation)
	bb::avm2::constraining::TEST_F (Poseidon2ConstrainingTest, HashWithSinglePermutation)
	bb::avm2::constraining::TEST_F (Poseidon2ConstrainingTest, HashWithMultiplePermutation)
	bb::avm2::constraining::TEST_F (Poseidon2ConstrainingTest, MultipleHashInvocations)
	bb::avm2::constraining::TEST_F (Poseidon2ConstrainingTest, HashPermInteractions)
	bb::avm2::constraining::TEST_F (Poseidon2ConstrainingTest, NegativeHashPermInteractions)
	bb::avm2::constraining::TEST_F (Poseidon2MemoryConstrainingTest, PermutationMemory)
	bb::avm2::constraining::TEST_F (Poseidon2MemoryConstrainingTest, PermutationMemoryInteractions)
	bb::avm2::constraining::TEST_F (Poseidon2MemoryConstrainingTest, PermutationMemoryInvalidTag)
	bb::avm2::constraining::TEST_F (Poseidon2MemoryConstrainingTest, PermutationMemoryInvalidAddressRange)