Support for remote account

[marijamijailovic]

Adds remote account support to the call command: accounts not in the local store are resolved as public foreign accounts and invoked via FPI.

This is Draft because I am suggesting that we first merge #2179, and then this one , which will close #2097.

cc @Keinberger, @igamigo

[marijamijailovic]

Hi @igamigo same question(as on #2179 ) about the changelog for this PR: there is already an entry saying “Added miden-cli call command for invoking account procedures directly from the CLI”. Should we reuse that existing entry for this PR or to add a new changelog entry?

[igamigo]

Hi @igamigo same question(as on #2179 ) about the changelog for this PR: there is already an entry saying “Added miden-cli call command for invoking account procedures directly from the CLI”. Should we reuse that existing entry for this PR or to add a new changelog entry?

Sorry for the delay in this response. Similarly to the other PR, not a strong opinion but we can reuse the original log.

[igamigo]

Hey @marijamijailovic / @Keinberger, just a heads up, if we want this on the 0.15.x we'll need to rebase this to main.

[marijamijailovic]

This PR is blocked for now.

miden-client exec and call do not work with the latest compiler on the next branch. We must wait for the fix first.
See: 0xMiden/compiler#1192

After the fix is introduce, I will:

1. Run full testing locally.
2. Mark this PR as ready for review.

So this PR stays in draft until then.

[igamigo]

Hey @marijamijailovic. Do we want to continue this work? AFAIK the compiler should already be on the VM version that has the fix, right?

[marijamijailovic]

Hey @marijamijailovic. Do we want to continue this work? AFAIK the compiler should already be on the VM version that has the fix, right?

Hi, yes we want! I will rebase this one.