Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::tracegen::BytecodeTraceBuilder Class Referencefinal

#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 15 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 27 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 134 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 199 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 165 of file bytecode_trace.cpp.

Member Data Documentation

◆ interactions

const InteractionDefinition bb::avm2::tracegen::BytecodeTraceBuilder::interactions
static
Initial value:
=
InteractionDefinition()
.add<lookup_bc_hashing_iv_is_len_settings, InteractionType::LookupSequential>()
.add<lookup_bc_retrieval_contract_instance_retrieval_settings, InteractionType::LookupSequential>()
.add<lookup_instr_fetching_bytes_from_bc_dec_settings, InteractionType::LookupGeneric>()
.add<lookup_instr_fetching_wire_instruction_info_settings, InteractionType::LookupIntoIndexedByClk>()
.add<lookup_instr_fetching_tag_value_validation_settings, InteractionType::LookupIntoIndexedByClk>()
lookup_settings< lookup_instr_fetching_bytecode_size_from_bc_dec_settings_ > lookup_instr_fetching_bytecode_size_from_bc_dec_settings
lookup_settings< lookup_instr_fetching_instr_abs_diff_positive_settings_ > lookup_instr_fetching_instr_abs_diff_positive_settings
lookup_settings< lookup_instr_fetching_pc_abs_diff_positive_settings_ > lookup_instr_fetching_pc_abs_diff_positive_settings
lookup_settings< lookup_bc_hashing_get_packed_field_settings_ > lookup_bc_hashing_get_packed_field_settings
lookup_settings< lookup_bc_retrieval_class_id_derivation_settings_ > lookup_bc_retrieval_class_id_derivation_settings
lookup_settings< lookup_bc_decomposition_bytes_are_bytes_settings_ > lookup_bc_decomposition_bytes_are_bytes_settings

Definition at line 32 of file bytecode_trace.hpp.


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