#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)
	Process bytecode decomposition events and populate the relevant columns in the trace. Corresponds to bc_decomposition.pil.

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
	)

Process bytecode decomposition events and populate the relevant columns in the trace. Corresponds to bc_decomposition.pil.

This trace is non memory-aware and does not handle any errors. It populates the columns with bytecode values in a stream or 'sliding window' of DECOMPOSE_WINDOW_SIZE = MAX_INSTRUCTION_SIZE = 37 individual bytes, range checking each byte. It enforces the size of the bytecode by decrementing the bytes_remaining counter. The trace additionally constrains the bytecode as fields by packing in 31 byte segments. These fields are used by the hashing trace to enforce correctness of the bytecode id (= hashed public bytecode commitment).

Parameters

events	The container of bytecode decomposition events to process.
trace	The trace container.

Definition at line 37 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 172 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 293 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 237 of file bytecode_trace.cpp.

Member Data Documentation

◆ interactions

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

static

Initial value:

=
    InteractionDefinition()
        
        .add<perm_bc_hashing_bytecode_length_bytes_settings, InteractionType::Permutation>()
        .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::LookupIntoIndexedByRow>()
        .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::LookupIntoIndexedByRow>()
        .add<lookup_instr_fetching_instr_abs_diff_positive_settings, InteractionType::LookupIntoIndexedByRow>()
        .add<lookup_instr_fetching_tag_value_validation_settings, InteractionType::LookupIntoIndexedByRow>()
        .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