keccakf1600.test.cpp File Reference

#include <gmock/gmock.h>
#include <gtest/gtest.h>
#include <algorithm>
#include <cstddef>
#include <cstdint>
#include "barretenberg/crypto/keccak/keccak.hpp"
#include "barretenberg/vm2/common/aztec_constants.hpp"
#include "barretenberg/vm2/common/memory_types.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/range_check.hpp"
#include "barretenberg/vm2/simulation/lib/execution_id_manager.hpp"
#include "barretenberg/vm2/simulation/standalone/pure_memory.hpp"
#include "barretenberg/vm2/testing/macros.hpp"

Go to the source code of this file.

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

Variable Documentation

bitwise

Bitwise bitwise

protected

Definition at line 43 of file keccakf1600.test.cpp.

bitwise_event_emitter

NoopEventEmitter<BitwiseEvent> bitwise_event_emitter

protected

Definition at line 39 of file keccakf1600.test.cpp.

execution_id_manager

ExecutionIdManager execution_id_manager

protected

Definition at line 37 of file keccakf1600.test.cpp.

field_gt

FieldGreaterThan field_gt

protected

Definition at line 45 of file keccakf1600.test.cpp.

field_gt_event_emitter

NoopEventEmitter<FieldGreaterThanEvent> field_gt_event_emitter

protected

Definition at line 42 of file keccakf1600.test.cpp.

greater_than

GreaterThan greater_than

protected

Definition at line 46 of file keccakf1600.test.cpp.

greater_than_event_emitter

NoopEventEmitter<GreaterThanEvent> greater_than_event_emitter

protected

Definition at line 41 of file keccakf1600.test.cpp.

keccak

KeccakF1600 keccak

protected

Definition at line 47 of file keccakf1600.test.cpp.

keccak_event_emitter

NoopEventEmitter<KeccakF1600Event> keccak_event_emitter

protected

Definition at line 38 of file keccakf1600.test.cpp.

memory

MemoryStore memory

protected

Definition at line 36 of file keccakf1600.test.cpp.

range_check

RangeCheck range_check

protected

Definition at line 44 of file keccakf1600.test.cpp.

range_check_event_emitter

NoopEventEmitter<RangeCheckEvent> range_check_event_emitter

protected

Definition at line 40 of file keccakf1600.test.cpp.