⚠️ Disclaimer: Software Under Development ⚠️

This software is currently under active development and has not been audited for security or correctness.

Please be aware of the following:

• The software is not fully tested.
• Do not use it in production environments until a stable production release is available. 🚧
• Additional functionalities and optimizations are planned for future releases.
• Future updates may introduce breaking backwards compatible changes as development progresses.
• Mac is currently not supported. We are working to support it soon.

If you encounter any errors or unexpected behavior, please report them. Your feedback is highly appreciated in improving the software.

ZisK

ZisK is an innovative and high-performance zkVM (Zero-Knowledge Virtual Machine) developed by Polygon that enables trustless, verifiable computation, allowing developers to generate and verify proofs for arbitrary program execution efficiently.

ZisK aims to provide a flexible and developer-friendly zkVM, with Rust as its primary language for writing provable programs, with planned support for other languages in the future. By abstracting complex zero-knowledge proof generation, ZisK simplifies the integration of ZK technology into scalable, private, and secure applications across blockchain ecosystems and beyond.

Getting Started

To start using ZisK, follow the Quickstart guide.

📚 Complete Documentation: ZisK Docs

License

All crates in this monorepo are licensed under one of the following options:

• The Apache License, Version 2.0 (see LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)

• The MIT License (see LICENSE-MIT or http://opensource.org/licenses/MIT)

You may choose either license at your discretion.

Acknowledgements

ZisK is a collaborative effort made possible by the contributions of researchers, engineers, and developers dedicated to advancing zero-knowledge technology.

We extend our gratitude to the Polygon zkEVM and Plonky3 teams for their foundational work in zero-knowledge proving systems, as well as to the RISC-V community for providing a robust architecture that enables the zkVM model.

Additionally, we acknowledge the efforts of the open-source cryptography and ZK research communities, whose insights and contributions continue to shape the evolution of efficient and scalable zero-knowledge technologies.

🚀 Special thanks to all contributors who have helped develop, refine, and improve ZisK!