keccakf1600_fixture.test.cpp File Reference

#include "barretenberg/vm2/testing/keccakf1600_fixture.test.hpp"
#include "barretenberg/vm2/common/aztec_constants.hpp"
#include "barretenberg/vm2/simulation/bitwise.hpp"
#include "barretenberg/vm2/simulation/events/bitwise_event.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/simulation/events/keccakf1600_event.hpp"
#include "barretenberg/vm2/simulation/events/range_check_event.hpp"
#include "barretenberg/vm2/simulation/keccakf1600.hpp"
#include "barretenberg/vm2/simulation/lib/execution_id_manager.hpp"
#include "barretenberg/vm2/simulation/memory.hpp"
#include "barretenberg/vm2/tracegen/bitwise_trace.hpp"
#include "barretenberg/vm2/tracegen/keccakf1600_trace.hpp"
#include "barretenberg/vm2/tracegen/memory_trace.hpp"
#include "barretenberg/vm2/tracegen/precomputed_trace.hpp"
#include "barretenberg/vm2/tracegen/range_check_trace.hpp"
#include <cstdint>
#include <gmock/gmock.h>

Go to the source code of this file.

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

Typedefs
using	bb::avm2::testing::MemorySimulator = simulation::Memory
using	bb::avm2::testing::KeccakSimulator = simulation::KeccakF1600
using	bb::avm2::testing::BitwiseSimulator = simulation::Bitwise
using	bb::avm2::testing::RangeCheckSimulator = simulation::RangeCheck
using	bb::avm2::testing::ExecutionIdManagerSimulator = simulation::ExecutionIdManager

Functions
void	bb::avm2::testing::generate_keccak_trace_impl (TestTraceContainer &trace, const std::function< void(MemorySimulator &, size_t)> &memory_init_fn, const std::vector< MemoryAddress > &dst_addresses, const std::vector< MemoryAddress > &src_addresses, bool expect_error, uint32_t space_id)
void	bb::avm2::testing::generate_keccak_trace (TestTraceContainer &trace, const std::vector< MemoryAddress > &dst_addresses, const std::vector< MemoryAddress > &src_addresses, uint32_t space_id)
void	bb::avm2::testing::generate_keccak_trace_with_tag_error (TestTraceContainer &trace, MemoryAddress dst_address, MemoryAddress src_address, size_t error_offset, MemoryTag error_tag, uint32_t space_id)
void	bb::avm2::testing::generate_keccak_trace_with_slice_error (TestTraceContainer &trace, MemoryAddress dst_address, MemoryAddress src_address, uint32_t space_id)