Skip to content

0xPolygonHermez/pil2-proofman

Repository files navigation

⚠️ 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 backward compatible changes as development progresses.

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

Proofs Manager

The Proof Manager is an adaptable Proof Manager designed to assist in the creation of proofs from a PIL2 pilout-formatted file. It is designed to be used in conjunction with the PIL2 compiler and proofman-js pil2-proofman-js to generate the setup.

License

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

You may choose either license at your discretion.

Acknowledgements

ProofMan 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.

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 ProofMan!