Zero knowledge virtual machines (zkVMs) have emerged as foundational primitives for building verifiable computation systems that prove correct execution of arbitrary programs while preserving privacy.