0xPolygonMiden / miden-base

Core components of the Polygon Miden rollup
MIT License
68 stars 41 forks source link

Define the kernel version for transaction execution #874

Open Fumuran opened 2 weeks ago

Fumuran commented 2 weeks ago

What should be done?

We should be able to define the version of the kernel which will be used during the transaction execution.

How should it be done?

Version should be specified during the creation of the TransactionExecutor. Then, inside the execute_transaction() function, it should be passed to the TransactionKernel to be able to load the proper kernel version to the memory.

When is this task done?

The task is done when kernel version, instantiated in the TransactionExecutor, will be used to load the proper kernel version.

Additional context

No response