0xMiden / 0xMiden/protocol

Change kernel procedures from `export` to `proc`

Offen
#852 3 Kommentare 1 Reaktion 1 zugewiesene Person Beansprucht von @zeapoz Auf GitHub ansehen
blocked kernels
Vorherrschende Sprache
Rust
Sterne
132
Forks
167
Ø Merge
1 T. 23 Std.
Gemergte PRs (30 T.)
110

Beschreibung

### What should be done?

As soon as we will be able to compile a "dead code" (as it was described in [this comment](https://github.com/0xPolygonMiden/miden-vm/issues/1434#issuecomment-2325137789)), we should change the type of the kernel procedures from `export` to `proc`. This change should be done for all procedures, except for `exec_kernel_proc` one, because all these procedures will be called only by `dynexec` instructions in the `exec_kernel_proc`.

### How should it be done?

Types of the dynamically executed kernel procedures in the [`api.masm`](https://github.com/0xPolygonMiden/miden-base/blob/main/miden-lib/asm/kernels/transaction/api.masm) file should be changed from `export` to `proc`.
If the hashes of these procedures will change, they also should be updated in the [`procedures.rs`](https://github.com/0xPolygonMiden/miden-base/blob/andrew-dynamic-kernel-procedure-invocation/miden-lib/src/transaction/procedures.rs) file.

### When is this task done?

This task is done when dynamically executed kernel procedures, which are described as `proc` procedures, could be executed by their hash using `exec_kernel_proc` procedure.

### Additional context

_No response_

Beitragsleitfaden

Beitragsleitfaden öffnen

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.