A 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 is bytecode-compatible with Move and inherits the safety of Move.

Application-specifc and Turing-complete. zkMove circuit is built based on the Halo2 proof system and is a general-purpose VM circuit. Unlike common VM circuit, zkMove circuit is application-specific. It has smaller circuit size and shorter proving time.

Scaling and privacy solution rolled into one. Based on zkMove, we will provide a safe and efficient zk rollup solution. We are also exploring adding more privacy properties to the solution.

  • 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]
  • zkMove at a Glance

    Post thumbnail
    Post thumbnail
    With the boom of Defi and the emergence of non-financial smart contracts, the scalability of public chains, represented by Ethereum, is being increasingly challenged. Although technologies such as POS and sharding can improve the throughput rate to a certain extent, the root cause of congestion still exists in the long... [Read More]