Crate zephyr_vm

The Zephyr VM host environment.

Implementation of the Zephyr VM, the core of Mercury’s code execution environment. Even if Zephyr is built to be used in Mercury, it is implementation-agnostic and can be integrated in any kind of implementation.

Modules

• budget
  Metering is currently not being developed for the ZephyrVM
• db
  This module defines all database related logic and structures for a Zephyr execution.
• error
• host
  Structures and implementations for the Zephyr host environment. This module defines all the interactions between the binary code executed within the VM and the implementor.
• snapshot
  Snapshot utilites required to correctly perform tx simulation calculations.
• stack
  This module defines the pseudo stack implementation that is used in Zephyr for the guest environment to provide instructions to host environment.
• testutils
  Utilities for testing Zephyr programs and the ZephyrVM.
• vm
  Structures and implementations for the Zephyr Virtual Machine.
• vm_context
  Defines the context for the host environment. VM context is used when dealing with reading and writing the guest memory.

Traits

• ZephyrMock
  Standard mocked Zephyr object. This trait must be implemented for all components that are encompassed by the Zephyr VM that required mocks for testing.
• ZephyrStandard
  Standard object for Zephyr. This trait must be implemented for all components that are encompassed by the Zephyr VM, specifically the database implementation.