Crate diem_vm

The VM runtime

Transaction flow

This is the path taken to process a single transaction.

                  SignedTransaction
                           +
                           |
+--------------------------|-------------------+
| Validate  +--------------+--------------+    |
|           |                             |    |
|           |       check signature       |    |
|           |                             |    |
|           +--------------+--------------+    |
|                          |                   |
|                          |                   |
|                          v                   |
|           +--------------+--------------+    |
|           |                             |    |
|           |      check size and gas     |    |
|           |                             |    +---------------------------------+
|           +--------------+--------------+    |         validation error        |
|                          |                   |                                 |
|                          |                   |                                 |
|                          v                   |                                 |
|           +--------------+--------------+    |                                 |
|           |                             |    |                                 |
|           |         run prologue        |    |                                 |
|           |                             |    |                                 |
|           +--------------+--------------+    |                                 |
|                          |                   |                                 |
+--------------------------|-------------------+                                 |
                           |                                                     |
+--------------------------|-------------------+                                 |
|                          v                   |                                 |
|  Verify   +--------------+--------------+    |                                 |
|           |                             |    |                                 |
|           |     deserialize script,     |    |                                 |
|           |     verify arguments        |    |                                 |
|           |                             |    |                                 |
|           +--------------+--------------+    |                                 |
|                          |                   |                                 |
|                          |                   |                                 v
|                          v                   |                    +----------------+------+
|           +--------------+--------------+    |                    |                       |
|           |                             |    +------------------->+ discard, no write set |
|           |     deserialize modules     |    | verification error |                       |
|           |                             |    |                    +----------------+------+
|           +--------------+--------------+    |                                 ^
|                          |                   |                                 |
|                          |                   |                                 |
|                          v                   |                                 |
|           +--------------+--------------+    |                                 |
|           |                             |    |                                 |
|           | verify scripts and modules  |    |                                 |
|           |                             |    |                                 |
|           +--------------+--------------+    |                                 |
|                          |                   |                                 |
+--------------------------|-------------------+                                 |
                           |                                                     |
+--------------------------|-------------------+                                 |
|                          v                   |                                 |
| Execute   +--------------+--------------+    |                                 |
|           |                             |    |                                 |
|           |        execute main         |    |                                 |
|           |                             |    |                                 |
|           +--------------+--------------+    |                                 |
|                          |                   |                                 |
|      success or failure  |                   |                                 |
|                          v                   |                                 |
|           +--------------+--------------+    |                                 |
|           |                             |    +---------------------------------+
|           |        run epilogue         |    | invariant violation (internal panic)
|           |                             |    |
|           +--------------+--------------+    |
|                          |                   |
|                          |                   |
|                          v                   |
|           +--------------+--------------+    |                    +-----------------------+
|           |                             |    | execution failure  |                       |
|           |       make write set        +------------------------>+ keep, only charge gas |
|           |                             |    |                    |                       |
|           +--------------+--------------+    |                    +-----------------------+
|                          |                   |
+--------------------------|-------------------+
                           |
                           v
            +--------------+--------------+
            |                             |
            |  keep, transaction executed |
            |        + gas charged        |
            |                             |
            +-----------------------------+

Re-exports

• pub use crate::diem_vm::DiemVM;

Modules

• data_cache
  Scratchpad for on chain values during the execution.
• diem_vm
• logging
• natives
• script_to_script_function
  Module containing remapping information between script hashes and their remapped script function
• system_module_names
  Names of modules, functions, and types used by Diem System.
• transaction_metadata

Macros

• ADD_CURRENCY_TO_ACCOUNT_BYTES
• ADD_RECOVERY_ROTATION_CAPABILITY_BYTES
• ADD_TO_SCRIPT_ALLOW_LIST_BYTES
• ADD_VALIDATOR_AND_RECONFIGURE_BYTES
• BURN_BYTES
• BURN_TXN_FEES_BYTES
• CANCEL_BURN_BYTES
• CREATE_CHILD_VASP_ACCOUNT_BYTES
• CREATE_DESIGNATED_DEALER_BYTES
• CREATE_PARENT_VASP_ACCOUNT_BYTES
• CREATE_RECOVERY_ADDRESS_BYTES
• CREATE_VALIDATOR_ACCOUNT_BYTES
• CREATE_VALIDATOR_OPERATOR_ACCOUNT_BYTES
• FREEZE_ACCOUNT_BYTES
• PEER_TO_PEER_WITH_METADATA_BYTES
• PREBURN_BYTES
• PUBLISH_SHARED_ED25519_PUBLIC_KEY_BYTES
• REGISTER_VALIDATOR_CONFIG_BYTES
• REMOVE_VALIDATOR_AND_RECONFIGURE_BYTES
• ROTATE_AUTHENTICATION_KEY_BYTES
• ROTATE_AUTHENTICATION_KEY_WITH_NONCE_ADMIN_BYTES
• ROTATE_AUTHENTICATION_KEY_WITH_NONCE_BYTES
• ROTATE_AUTHENTICATION_KEY_WITH_RECOVERY_ADDRESS_BYTES
• ROTATE_DUAL_ATTESTATION_INFO_BYTES
• ROTATE_SHARED_ED25519_PUBLIC_KEY_BYTES
• SET_VALIDATOR_CONFIG_AND_RECONFIGURE_BYTES
• SET_VALIDATOR_OPERATOR_BYTES
• SET_VALIDATOR_OPERATOR_WITH_NONCE_ADMIN_BYTES
• TIERED_MINT_BYTES
• UNFREEZE_ACCOUNT_BYTES
• UPDATE_DIEM_VERSION_BYTES
• UPDATE_DUAL_ATTESTATION_LIMIT_BYTES
• UPDATE_EXCHANGE_RATE_BYTES
• UPDATE_MINTING_ABILITY_BYTES

Traits

• VMExecutor
  This trait describes the VM’s execution interface.
• VMValidator
  This trait describes the VM’s validation interfaces.

Functions

• convert_changeset_and_events