Zero-Knowledge Move Language Virtual Machine. As a new generation of programming language for smart contract, Move ensures programming safety using its type checking, borrow checking and ownership mechanism. zkMove VM is fully compatible with Move and is the only zkVM with runtime type-safety!

zkMove supports Txn-level concurrent proving for low latency. It also supports client-side proving to naturally preserve user privacy.

zkMove Trustless Computing Service (aka Agger). A trustless computing service designed to extend the feature set of the blockchain. It enables Dapps to access on-chain historical data in a trust-free manner, to access any external data with minimal trust, and allows arbitrary computations to be performed on the data.

It also enables developers to create customized ZK applications using the Move language, integrate them with other ZK modules, and easily deploy them onto chains.

  • Universal Halo2 Verifier for Move Ecosystem

    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

    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]
  • The First Demo of zkMove

    Post thumbnail
    Post thumbnail
    Last week, I gave a demo at the Move community’s weekly meeting. It was the first public appearance of zkMove. We had a comprehensive discussion about the features of zkMove, which I will summarize briefly here with this post. [Read More]