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/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/gadgets/bitwise.hpp"
#include "barretenberg/vm2/simulation/gadgets/keccakf1600.hpp"
#include "barretenberg/vm2/simulation/gadgets/memory.hpp"
#include "barretenberg/vm2/simulation/lib/execution_id_manager.hpp"
#include "barretenberg/vm2/tracegen/bitwise_trace.hpp"
#include "barretenberg/vm2/tracegen/gt_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::FieldGreaterThanSimulator = simulation::FieldGreaterThan
using	bb::avm2::testing::GreaterThanSimulator = simulation::GreaterThan
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, uint16_t space_id)
void	bb::avm2::testing::generate_keccak_trace (TestTraceContainer &trace, const std::vector< MemoryAddress > &dst_addresses, const std::vector< MemoryAddress > &src_addresses, uint16_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, uint16_t space_id)
void	bb::avm2::testing::generate_keccak_trace_with_slice_error (TestTraceContainer &trace, MemoryAddress dst_address, MemoryAddress src_address, uint16_t space_id)