Add ability to load libraries into TX executor and prover

0xPolygonMiden / miden-base

Core components of the Polygon Miden rollup

MIT License

73 stars 45 forks source link

Add ability to load libraries into TX executor and prover #954

Closed bobbinth closed 2 weeks ago

bobbinth commented 2 weeks ago

This PR adds two small methods to let users load custom libraries into TransactionExecutor and LocalTransactionProver. This is a temporary workaround which is needed to let users use user-defined libraries in account code. As mentioned in the comments, once we have support for library vendoring in the assembler, these methods can be removed.

cc @plafer and @bitwalker to highlight one use-case were we need library vendoring.

PhilippGackstatter commented 2 weeks ago

We can do that in a follow-up PR or maybe @PhilippGackstatter can write a quick test tomorrow?

I'm working on this and should have it ready before end of day.