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.
-
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]
-
zkMove 0.2.0 - Achieving Full Bytecode Compatibility with Move
zkMove 0.2.0 is out! It’s a big step forward compared to v0.1.0. some important features are implemented, circuit performance optimized, and also bugs fixed! We’re thrilled to introduce to you what we have achieved in the last three months. [Read More] -
zkMove 0.1.0: A Significant Step Towards Bytecode Compatibility with Move
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]