A Zero-Knowledge Virtual Machine that proves the execution of any Move functions.
- 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.
The most typical use case for zkMove is programmable privacy — it protects sensitive data inside smart contracts.
A generic halo2 snark verifier written in Move. It enables any zk proof generated by halo2 to be verified on Move blockchains.
A customized aptos-core with a built-in execution trace generator. It can generate execution traces for Move functions.
- git = "https://github.com/zkmove/aptos-core", branch = "witnessing"
A customized aptos-core with uilt-in native functions required by the Halo2 verifier. It allows developers to easily test zkmove applications.
- git = "https://github.com/zkmove/aptos-core", branch = "main"
see doc on latest release for a step-by-step tutorial on how to create a zkMove circuit, generate a proof, and verify it on-chain.
WIP.
zkMove is licensed as Apache 2.0.