zkMove Documentation¶
Welcome to the official documentation for zkMove — a zero-knowledge virtual machine (zkVM) for the Move language. zkMove enables developers to generate succinct zero-knowledge proofs for Move programs, unlocking programmable privacy and verifiable computation on-chain.
Table of Contents¶
Litepaper¶
Understand the motivation, design principles, and internals of zkMove.
| # | Page | Description |
|---|---|---|
| 1 | Abstract | Overview and scope of this litepaper |
| 2 | Introduction | Background and motivation for building zkMove |
| 3 | zkVM for Move | How to develop a zkVM for the Move language |
| 4 | Architecture | High-level architecture of zkMove |
| 5 | Circuit Design | Design of the zkMove circuit |
| 6 | Performance | Performance analysis and benchmarks |
| 7 | Use Cases | Real-world applications enabled by zkMove |
| 8 | References | All citations and references used in this litepaper |
User Guide¶
Set up your environment, write Move programs, generate proofs, and verify them on-chain.
| # | Page | Description |
|---|---|---|
| 1 | Set Up the Dev Environment | Configure your development environment |
| 2 | Circuit and Proof | Compile a Move program and generate the ZK proof |
| 3 | Deploy an On-Chain Verifier | Deploy the on-chain verifier on a local devnet |
| 4 | Verify a Proof On-Chain | Submit and verify a proof on the local devnet |