https://github.com/zkmove/zkmove
A zero-knowledge Move language runtime environment.
https://github.com/zkmove/zkmove
move-language smart-contracts zero-knowledge-proof
Last synced: about 1 year ago
JSON representation
A zero-knowledge Move language runtime environment.
- Host: GitHub
- URL: https://github.com/zkmove/zkmove
- Owner: zkmove
- License: apache-2.0
- Created: 2021-07-08T01:55:36.000Z (almost 5 years ago)
- Default Branch: master
- Last Pushed: 2023-12-01T04:17:36.000Z (over 2 years ago)
- Last Synced: 2024-08-01T22:48:40.531Z (almost 2 years ago)
- Topics: move-language, smart-contracts, zero-knowledge-proof
- Homepage: https://www.zkmove.net
- Size: 11 MB
- Stars: 76
- Watchers: 7
- Forks: 8
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
## zkMove
**zkMove:** A Zero-Knowledge Virtual Machine that proves the execution of any Move smart contracts.
- 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.
Typical application scenarios include cross-chain interoperability, scale computation-intensive applications, privacy-preserving dApps, and so on.
**Snark verifier:** A generic halo2 snark verifier written in Move. It enables any zk proof generated by halo2 to be verified on Move blockchains.
## Try it
see [doc on latest release](./release/latest)
## Documents
WIP.
## License
zkMove is licensed as [Apache 2.0](./LICENSE).