execution_trace.hpp

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <span>
#include <vector>
 
#include "barretenberg/vm2/common/memory_types.hpp"
#include "barretenberg/vm2/common/opcodes.hpp"
#include "barretenberg/vm2/simulation/events/addressing_event.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/simulation/events/execution_event.hpp"
#include "barretenberg/vm2/simulation/events/gas_event.hpp"
#include "barretenberg/vm2/simulation/lib/serialization.hpp"
#include "barretenberg/vm2/tracegen/lib/interaction_def.hpp"
#include "barretenberg/vm2/tracegen/trace_container.hpp"
 
namespace bb::avm2::tracegen {
 
class ExecutionTraceBuilder final {
  public:
    void process(const simulation::EventEmitterInterface<simulation::ExecutionEvent>::Container& ex_events,
                 TraceContainer& trace);
 
    // Public for testing.
    void process_instr_fetching(const simulation::Instruction& instruction, TraceContainer& trace, uint32_t row);
    void process_execution_spec(const simulation::ExecutionEvent& ex_event, TraceContainer& trace, uint32_t row);
    void process_gas(const simulation::GasEvent& gas_event,
                     ExecutionOpCode exec_opcode,
                     TraceContainer& trace,
                     uint32_t row);
    void process_addressing(const simulation::AddressingEvent& addr_event,
                            const simulation::Instruction& instruction,
                            TraceContainer& trace,
                            uint32_t row);
    void invert_columns(TraceContainer& trace);
    // Sets global register information and reads.
    void process_registers(ExecutionOpCode exec_opcode,
                           const std::vector<MemoryValue>& inputs,
                           const MemoryValue& output,
                           std::span<MemoryValue> registers,
                           TraceContainer& trace,
                           uint32_t row);
    // Sets the writes.
    void process_registers_write(ExecutionOpCode exec_opcode, TraceContainer& trace, uint32_t row);
    void process_get_env_var_opcode(simulation::Operand envvar_enum,
                                    MemoryValue output,
                                    TraceContainer& trace,
                                    uint32_t row);
 
    static const InteractionDefinition interactions;
};
 
} // namespace bb::avm2::tracegen