4626b052dc
The `illegal instruction` error is back on nightly, see here: https://github.com/powdr-labs/powdr/actions/runs/16954946528/job/48054989302 We suspect it could because `test_apc` uses the same cache as the normal tests, but that cache has its build done in a different machine so the dependencies could have instructions that cannot run on the server. If this is the case, it happens most likely from the C/C++ dependency. Anyway, we don't know that for sure, but this PR seems to fix it, see here https://github.com/powdr-labs/powdr/actions/runs/16944315837/job/48021334148.
powdr
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.
Project structure
For an overview of the project structure, run:
cargo doc --workspace --no-deps --open
Contributing
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.
License
This project is licensed under either of
at your option.