Description
zkMove is a Zero-Knowledge Virtual Machine (ZKVM) that proves the execution of any Move smart contracts. It combines zero-knowledge proofs with the Move language to create safe, efficient and trustless protocols to enhance blockchain capabilities. Key features include being fully compatible with Move and inheriting its security, state-of-the-art circuit design, client-side proving to preserve user privacy, and compatibility with common development tools. It allows existing Move programs to run without modifications. Typical application scenarios include cross-chain interoperability, scaling computation-intensive applications, and privacy-preserving dApps.