essential-vm

The Essential VM.

lib.rs:

The essential VM implementation.

Reading State

The primary entrypoint for this crate is the [Vm type][Vm].

The Vm allows for executing arbitrary [essential ASM][asm] ops. The primary use-case is executing Programs that make up a Predicate's program graph during Solution validation.

Executing Ops

There are three primary methods available for executing operations:

• Vm::exec_ops
• Vm::exec_bytecode
• Vm::exec_bytecode_iter

Each have slightly different performance implications, so be sure to read the docs before selecting a method.

Execution Future

The Vm::exec_* functions all return Futures that not only yield on async operations, but yield based on a user-specified gas limit too. See the ExecFuture docs for further details on the implementation.