Event emitted by the Keccak-f[1600] simulation for trace generation. More...

#include <keccakf1600_event.hpp>

Public Attributes
uint32_t	execution_clk = 0

MemoryAddress	dst_addr = 0

MemoryAddress	src_addr = 0

std::array< MemoryValue, AVM_KECCAKF1600_STATE_SIZE >	src_mem_values {}

uint16_t	space_id = 0

std::array< KeccakF1600RoundData, AVM_KECCAKF1600_NUM_ROUNDS >	rounds {}
	Per-round intermediate data.

bool	dst_out_of_range = false

bool	src_out_of_range = false

bool	tag_error = false

Detailed Description

Event emitted by the Keccak-f[1600] simulation for trace generation.

On success all fields are populated. On error, only the fields set before the exception are meaningful (see individual error flags).

Definition at line 55 of file keccakf1600_event.hpp.

Member Data Documentation

◆ dst_addr

MemoryAddress bb::avm2::simulation::KeccakF1600Event::dst_addr = 0

Definition at line 57 of file keccakf1600_event.hpp.

◆ dst_out_of_range

bool bb::avm2::simulation::KeccakF1600Event::dst_out_of_range = false

Definition at line 62 of file keccakf1600_event.hpp.

◆ execution_clk

uint32_t bb::avm2::simulation::KeccakF1600Event::execution_clk = 0

Definition at line 56 of file keccakf1600_event.hpp.

◆ rounds

std::array<KeccakF1600RoundData, AVM_KECCAKF1600_NUM_ROUNDS> bb::avm2::simulation::KeccakF1600Event::rounds {}

Per-round intermediate data.

Definition at line 61 of file keccakf1600_event.hpp.

◆ space_id

uint16_t bb::avm2::simulation::KeccakF1600Event::space_id = 0

Definition at line 60 of file keccakf1600_event.hpp.

◆ src_addr

MemoryAddress bb::avm2::simulation::KeccakF1600Event::src_addr = 0

Definition at line 58 of file keccakf1600_event.hpp.

◆ src_mem_values

std::array<MemoryValue, AVM_KECCAKF1600_STATE_SIZE> bb::avm2::simulation::KeccakF1600Event::src_mem_values {}

Definition at line 59 of file keccakf1600_event.hpp.

◆ src_out_of_range

bool bb::avm2::simulation::KeccakF1600Event::src_out_of_range = false

Definition at line 63 of file keccakf1600_event.hpp.

◆ tag_error

bool bb::avm2::simulation::KeccakF1600Event::tag_error = false

Definition at line 64 of file keccakf1600_event.hpp.

The documentation for this struct was generated from the following file:

src/barretenberg/vm2/simulation/events/keccakf1600_event.hpp

Public Attributes