serialization.cpp File Reference

#include "barretenberg/vm2/simulation/lib/serialization.hpp"
#include <cassert>
#include <cstdint>
#include <iomanip>
#include <span>
#include <sstream>
#include <string>
#include <unordered_map>
#include <variant>
#include <vector>
#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/log.hpp"
#include "barretenberg/common/serialize.hpp"
#include "barretenberg/vm2/common/addressing.hpp"
#include "barretenberg/vm2/common/instruction_spec.hpp"
#include "barretenberg/vm2/common/opcodes.hpp"
#include "barretenberg/vm2/common/stringify.hpp"

Go to the source code of this file.

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2
namespace	bb::avm2::simulation
	AVM range check gadget for witness generation.
namespace	bb::avm2::simulation::testonly

Functions
const std::unordered_map< WireOpCode, std::vector< OperandType > > &	bb::avm2::simulation::testonly::get_instruction_wire_formats ()
const std::unordered_map< OperandType, uint32_t > &	bb::avm2::simulation::testonly::get_operand_type_sizes ()
Instruction	bb::avm2::simulation::deserialize_instruction (std::span< const uint8_t > bytecode, size_t pos)
	Attempts to deserialize the instruction at position pos in bytecode. Called by bytecode managers during instruction fetching to extract and check for parse errors.
bool	bb::avm2::simulation::check_tag (const Instruction &instruction)
	Checks whether the tag operand of an instruction is a valid MemoryTag. Called by bytecode managers during instruction fetching to check tag operands.

Variables
const std::vector< OperandType >	bb::avm2::simulation::three_operand_format8
const std::vector< OperandType >	bb::avm2::simulation::three_operand_format16
const std::vector< OperandType >	bb::avm2::simulation::kernel_input_operand_format = { OperandType::INDIRECT8, OperandType::UINT16 }
const std::vector< OperandType >	bb::avm2::simulation::external_call_format