WARNING: This codebase is experimental and has not been audited. DO NOT USE FOR PRODUCTION!
If you have any questions or want to contribute, feel free to write us in our Matrix Chat.
powdr provides state-of-the-art performance and security to zkVMs, enhancing them with compiler-based techniques including static analysis and formal verification.
The main components are:
- Autoprecompiles: automated synthesis of guest-specific precompiles.
- Constraint Solver: compile-time solver used to detect potential optimizations and security issues.
- powdr-OpenVM: powdr extensions for OpenVM.
For detailed documentation on powdr-asm, powdr-pil and podwrVM please visit the powdr book.
For an overview of the project structure, run:
cargo doc --workspace --no-deps --open
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as below, without any additional terms or conditions.
This project is licensed under either of
at your option.