Table of contents Introduction to ZKM Getting Started Introduction to ZK Background Behind zkVMs zkMIPS: a High-Level Specification Combining MIPS with Zero-Knowledge Use Cases ZKM Architecture zkMIPS: Step by Step zkVM vs zkEVM Core Concepts Guest and Host FAQ Guides Proof Generation Guide Quick Start Example Proof Verification Guide Use Case Code