VM Formal Specification

This is the specification of the instruction set of EraVM 1.4.0, a language virtual machine for ZKsync Era. It describes the virtual machine's architecture, instruction syntax and semantics, and some elements of system protocol.