0xMiden / 0xMiden/protocol

Change kernel procedures from `export` to `proc`

Đang mở
#852 3 bình luận 1 reaction 1 người được giao Được @zeapoz nhận Xem trên GitHub
blocked kernels
Ngôn ngữ chính
Rust
Star
132
Fork
167
Merge trung bình
1 ngày 23 giờ
Pull request đã merge (30 ngày)
110

Mô tả

### 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_

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Đánh giá

Issue này chưa được đánh giá.

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.