A Zero-Knowledge Virtual Machine that proves the execution of any Move smart contracts.

  • Fully compatible with Move and inherits Move's security.
  • State-of-the-art circuit design and cutting-edge performance.
  • Client-side proving to naturally preserve user privacy.
  • Compatible with commonly used development tools in the ecosystem.
  • Allows existing Move programs to run without modifications.

Typical application scenarios include cross-chain interoperability, scale computation-intensive applications, privacy-preserving dApps, and so on.

  • zkMove v0.4.0: Achieving a Tenfold Performance Leap

    Posted on January 13, 2025

    Post thumbnail
    Post thumbnail
    zkMove, a zero-knowledge virtual machine (ZKVM) that proves the execution of any Move smart contract, has just unveiled version v0.4.0. This release represents a significant overhaul, with the entire circuit rewritten to incorporate the latest advancements in academic research. Let’s delve into what has been achieved: [Read More]

  • Universal Halo2 Verifier for Move Ecosystem

    Posted on December 19, 2023

    Post thumbnail
    Post thumbnail
    The zkMove developers have recently launched a project called halo2-verifier. Its objective is to enhance the capability of the blockchains in the Move ecosystem by enabling halo2 zero-knowledge proofs to be verified on-chain. The project has chosen aptos as a pilot and will cover more platforms in the future. [Read More]

  • Seven Questions About zkMove

    Posted on October 4, 2022

    Post thumbnail
    Post thumbnail
    zkMove has been increasingly attracting people’s attention recently, and as the founder of the project, I get misc questions from time to time. Although the backgrounds of the questioners varied, the questions raised up were quite similar. So I would like to take this chance to answer those questions in... [Read More]