GenVM Specification

Note

Single text file docs for AI

This specification describes abstract GenLayer’s virtual machine, that runs Intelligent Contracts.

The specification has been split into multiple sections for better organization and maintainability.

Contents:

• Glossary
• Core Architecture
  • GenVM Components Overview
    • Introduction
    • Architecture Overview
  • Sub-VM Architecture
    • Overview
    • WebAssembly Foundation
    • VM Execution Modes
    • VM Instance Management
    • Memory Model
    • Gas and Resource Metering
    • Execution Modes
    • Error Handling
• Execution Environment
  • WASM Utilization
    • Enabled WASM Features and Proposals
    • gvm-def-det-mode Additional Limitations
    • RAM Consumption
  • WASI Preview 1 Implementation
    • Overview
    • WASI Preview 1 Foundation
    • Deterministic Modifications
    • WASI Specification Compliance
    • Always Erroring Operations
    • Functions
    • Virtual File System
    • gvm-def-det-mode FD Allocation and Deallocation
  • GenLayer WASI SDK WASI Interface
    • Overview
    • Interface Design
    • Interface Definition
    • Backwards Compatibility
    • Functions
    • gl_call Functions
  • Runners
    • Runner Architecture
    • Runner Layout
    • version file
    • runner.json File
    • Startup
• VM Specification
  • VM Execution Result
    • Result Kinds
    • InternalError
    • Non-Deterministic Block Result Encoding
    • Contract Result Encoding
  • Sandboxing
  • Resource Limiting
    • RAM Consumption
    • RAM Release
  • Switching To gvm-def-non-det-mode
    • Leader Mode
    • Sync Mode
    • Validator Mode
• Contract Interface
  • Calldata Encoding
    • Types
    • Format
  • Application Binary Interface
    • Method Calling Convention
    • Special Methods
  • Storage System
    • Storage Architecture
    • Default Derivation Algorithm
    • Root Slot
  • Contract Upgradability
    • Upgrade Control Mechanism
  • Contract Execution Flow
    • 1. Contract Deployment (if needed)
    • 2. Contract Loading
    • 3. WebAssembly Execution
    • 4. Contract Entry Point Processing
• Appendix
  • runner.json JSON Schema