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.
-
zkMove 0.1.0 has recently been released, marking a significant milestone since its initial demo release in July of last year. This release is the first alpha version of zkMove that is now very close to being fully bytecode-compatible with Move. [Read More]
-
Seven Questions About zkMove
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
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
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]