#include <bytecode_trace.hpp>

Public Member Functions
void	process_hashing (const simulation::EventEmitterInterface< simulation::BytecodeHashingEvent >::Container &events, TraceContainer &trace)

void	process_retrieval (const simulation::EventEmitterInterface< simulation::BytecodeRetrievalEvent >::Container &events, TraceContainer &trace)

void	process_decomposition (const simulation::EventEmitterInterface< simulation::BytecodeDecompositionEvent >::Container &events, TraceContainer &trace)

void	process_instruction_fetching (const simulation::EventEmitterInterface< simulation::InstructionFetchingEvent >::Container &events, TraceContainer &trace)

Static Public Attributes
static const InteractionDefinition	interactions

Detailed Description

Definition at line 13 of file bytecode_trace.hpp.

Member Function Documentation

◆ process_decomposition()

void bb::avm2::tracegen::BytecodeTraceBuilder::process_decomposition	(	const simulation::EventEmitterInterface< simulation::BytecodeDecompositionEvent >::Container &	events,
		TraceContainer &	trace
	)

Definition at line 30 of file bytecode_trace.cpp.

◆ process_hashing()

void bb::avm2::tracegen::BytecodeTraceBuilder::process_hashing	(	const simulation::EventEmitterInterface< simulation::BytecodeHashingEvent >::Container &	events,
		TraceContainer &	trace
	)

Definition at line 156 of file bytecode_trace.cpp.

◆ process_instruction_fetching()

void bb::avm2::tracegen::BytecodeTraceBuilder::process_instruction_fetching	(	const simulation::EventEmitterInterface< simulation::InstructionFetchingEvent >::Container &	events,
		TraceContainer &	trace
	)

Definition at line 268 of file bytecode_trace.cpp.

◆ process_retrieval()

void bb::avm2::tracegen::BytecodeTraceBuilder::process_retrieval	(	const simulation::EventEmitterInterface< simulation::BytecodeRetrievalEvent >::Container &	events,
		TraceContainer &	trace
	)

Definition at line 212 of file bytecode_trace.cpp.

Member Data Documentation

◆ interactions

const InteractionDefinition bb::avm2::tracegen::BytecodeTraceBuilder::interactions

static

Initial value:

=
    InteractionDefinition()
        
        .add<lookup_bc_hashing_check_final_bytes_remaining_settings, InteractionType::LookupSequential>()
        .add<lookup_bc_hashing_poseidon2_hash_settings, InteractionType::LookupSequential>()
        
        .add<lookup_bc_retrieval_class_id_derivation_settings, InteractionType::LookupGeneric>()
        .add<lookup_bc_retrieval_contract_instance_retrieval_settings, InteractionType::LookupSequential>()
        .add<lookup_bc_retrieval_is_new_class_check_settings, InteractionType::LookupSequential>()
        .add<lookup_bc_retrieval_retrieved_bytecodes_insertion_settings, InteractionType::LookupSequential>()
        
        .add<lookup_bc_decomposition_bytes_are_bytes_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<InteractionType::MultiPermutation,
             perm_bc_hashing_get_packed_field_0_settings,
             perm_bc_hashing_get_packed_field_1_settings,
             perm_bc_hashing_get_packed_field_2_settings>(Column::bc_decomposition_sel_packed)
        
        .add<lookup_instr_fetching_bytes_from_bc_dec_settings, InteractionType::LookupGeneric>()
        .add<lookup_instr_fetching_bytecode_size_from_bc_dec_settings, InteractionType::LookupGeneric>()
        .add<lookup_instr_fetching_wire_instruction_info_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_instr_fetching_instr_abs_diff_positive_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_instr_fetching_tag_value_validation_settings, InteractionType::LookupIntoIndexedByClk>()
        .add<lookup_instr_fetching_pc_abs_diff_positive_settings, InteractionType::LookupGeneric>()

Definition at line 30 of file bytecode_trace.hpp.

The documentation for this class was generated from the following files:

src/barretenberg/vm2/tracegen/bytecode_trace.hpp
src/barretenberg/vm2/tracegen/bytecode_trace.cpp

Public Member Functions

Static Public Attributes