mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-04-20 03:03:25 -04:00
db5809fe12
This PR updated the openvm dependency to 1.4.0. A lot of changes were introduced, hence the size of this PR. Not covered in this PR: - gpu: this PR brings us to parity with existing functionality, so only CPU is supported. See #3347 for GPU support. - plonk: since the main proving route for openvm is using a single row, plonk support was deprioritized for now and will be eventually fixed in another PR. Changes to openvm [here](https://github.com/openvm-org/openvm/compare/v1.4.0...powdr-labs:openvm:1.4.0-wip?expand=1) Changes to stark-backend [here](https://github.com/openvm-org/stark-backend/compare/v1.2.0...powdr-labs:stark-backend:1.2.0-wip?expand=1) Tasks: - [x] make compile - [x] pil export test - [x] implement all extensions (Circuit, Executor, (Prover)) - [x] make tracegen work - [x] re-enable `Send + Sync` bound on Executor in ovm (instead, removed the need for that bound in ovm) - [x] support tco flag --------- Co-authored-by: schaeff <thibaut@powdrlabs.com> Co-authored-by: Thibaut Schaeffer <schaeffer.thibaut@gmail.com> Co-authored-by: Leandro Pacheco <contact@leandropacheco.com> Co-authored-by: schaeff <thibaut@schaeff.fr>