Validium Docs
Ctrlk
  • Overview
  • Connect to Validium
  • Start Coding 🚀
  • Tooling
  • Test and Debug
  • API Reference
  • Concepts
  • Components
    • Overview
    • Smart & System Contracts
    • Shared Bridges
    • Sequencer / Server
    • Validium Network EVM
      • Overview
      • Bootloader
      • Precompiles
      • Virtual Machine Specification
        • ZKsync Virtual Machine primer
        • VM Formal Specification
    • Prover
    • Compiler
    • Fee Withdrawer
    • Portal - Wallet + Bridge
    • Block Explorer
    • Transaction filtering
Powered by GitBook
On this page
  1. Components
  2. Validium Network EVM

Virtual Machine Specification

ZKsync Virtual Machine primerVM Formal Specification
PreviousPrecompilesNextZKsync Virtual Machine primer