Expand description
Type definitions for the events emitted by the [crate::Executor] during execution.
Structs§
- AluEvent
- Alu Instruction Event.
- Branch
Event - Branch Instruction Event.
- Byte
Lookup Event - Byte Lookup Event.
- EdDecompress
Event - Edwards Decompress Event.
- Edwards
Page Prot Records - Edwards Page Prot Records
- Elliptic
Curve AddEvent - Elliptic Curve Add Event.
- Elliptic
Curve Decompress Event - Elliptic Curve Point Decompress Event.
- Elliptic
Curve Double Event - Elliptic Curve Double Event.
- Elliptic
Curve Page Prot Records - Elliptic Curve Page Prot Records.
- Fp2Add
SubEvent - Emulated Degree 2 Field Addition/Subtraction Events.
- Fp2Mul
Event - Emulated Degree 2 Field Multiplication Events.
- FpOp
Event - Emulated Field Operation Events.
- FpPage
Prot Records - Each fp op has one read slice and one write slice operation that require page prot checks.
- Global
Interaction Event - Global Interaction Event.
- Instruction
Decode Event - Instruction Decode Event.
- Instruction
Fetch Event - Instruction Fetch Event.
- Jump
Event - Jump Instruction Event.
- Keccak
Permute Event - Keccak-256 Permutation Event.
- Keccak
Permute Page Prot Records - Keccak-256 Permutation Page Prot Records.
- MProtect
Event - Mprotect precompile event.
- MemInstr
Event - Memory Instruction Event.
- Memory
Entry - Memory entry.
- Memory
Initialize Finalize Event - Memory Initialize/Finalize Event.
- Memory
Local Event - Memory Local Event.
- Memory
Read Record - Memory Read Record.
- Memory
Record - Memory Record.
- Memory
Write Record - Memory Write Record.
- Page
Prot Initialize Finalize Event - Page prot Initialize/Finalize Event.
- Page
Prot Local Event - Page Prot Local Event.
- Page
Prot Record - Page Prot Record.
- Poseidon2
Precompile Event Poseidon2PrecompileEventEvent.- Precompile
Event Iter - An iterator over the variants of PrecompileEvent
- Precompile
Events - A record of all the precompile events.
- ShaCompress
Event - SHA-256 Compress Event.
- ShaCompress
Page Prot Access - SHA-256 Compress Page Prot Access.
- ShaExtend
Event - SHA-256 Extend Event.
- ShaExtend
Memory Records - SHA-256 Extend Memory Records.
- ShaExtend
Page Prot Records - SHA-256 Extend Page Prot Records.
- SigReturn
Event SigReturnEventEvent.- Syscall
Event - Syscall Event.
- Trap
Exec Event - A
TrapExecEvent. - Trap
MemInstr Event - Trap Memory Instruction Event.
- U256x
U2048 MulEvent U256xU2048Mul Event.- U256x
U2048 MulPage Prot Records U256xU2048Mul Page Prot Records.- UType
Event UTypeInstruction Event.- Uint256
MulEvent - Uint256 Mul Event.
- Uint256
MulPage Prot Records - Uint256 Mul Page Prot Records.
- Uint256
OpsEvent - Uint256 operations event.
- Uint256
OpsPage Prot Records - Uint256 Ops Page Prot Records.
Enums§
- Field
Operation - This is an arithmetic operation for emulating modular arithmetic.
- Memory
Access Position - Memory Access Position.
- Memory
Record Enum - Memory Record Enum.
- Precompile
Event - Precompile event. There should be one variant for every precompile syscall.
- Uint256
Operation - Uint256 operation types.
Constants§
- NUM_
BYTE_ OPS - The number of different byte operations.
- NUM_
LOCAL_ MEMORY_ ENTRIES_ PER_ ROW_ EXEC - The number of local memory entries per row of the memory local chip.
- NUM_
LOCAL_ PAGE_ PROT_ ENTRIES_ PER_ ROW_ EXEC - The number of page prot entries per row of the page prot local chip.
- NUM_
PAGE_ PROT_ ENTRIES_ PER_ ROW_ EXEC - The number of page prot entries per row of the page prot local chip.
Traits§
- Byte
Record - A type that can record byte lookup events.
- Into
Memory Record - Trait to convert something into a
MemoryRecord. - Precompile
Local Memory - Trait to retrieve all the local memory events from a vec of precompile events.
Functions§
- format_
table_ line - Returns a formatted row of a table of counts (e.g.
opcode_counts). - generate_
execution_ report - Returns sorted and formatted rows of a table of counts (e.g.
opcode_counts). - sorted_
table_ lines - Returns a tuple containing everything needed to to correctly display a table of counts
(e.g.
opcode_counts):