instruction_spec.hpp

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <optional>
#include <unordered_map>
 
#include "barretenberg/numeric/uint128/uint128.hpp"
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/common/opcodes.hpp"
#include "barretenberg/vm2/generated/columns.hpp"
 
namespace bb::avm2::tracegen {
 
enum class SubtraceSel : uint8_t {
    ALU,
    CAST,
    SET,
    BITWISE,
    TORADIXBE,
    POSEIDON2PERM,
    ECC,
    CALLDATACOPY,
    RETURNDATACOPY,
    EXECUTION,
    KECCAKF1600,
    GETCONTRACTINSTANCE,
    EMITUNENCRYPTEDLOG,
    SHA256COMPRESSION
};
 
struct SubtraceInfo {
    SubtraceSel subtrace_selector;
    uint128_t subtrace_operation_id;
};
 
extern const std::unordered_map<ExecutionOpCode, SubtraceInfo> SUBTRACE_INFO_MAP;
 
FF get_subtrace_id(SubtraceSel subtrace_sel);
 
Column get_subtrace_selector(SubtraceSel subtrace_sel);
 
Column get_dyn_gas_selector(uint32_t dyn_gas_id);
 
} // namespace bb::avm2::tracegen