0xPolygonMiden / miden-base

Core components of the Polygon Miden rollup
MIT License
70 stars 44 forks source link

Update ordering and naming of kernel procedure offsets #870

Open Fumuran opened 2 months ago

Fumuran commented 2 months ago

What should be done?

We should update naming and ordering of the offsets of the kernel procedures to make them more consistent.

How should it be done?

Offsets, located in the miden-lib/asm/miden/kernel_proc_offsets.masm file, should be updated. Order of the kernel procedure hashes in the KERNEL0_PROCEDURES constant array should be updated in accordance with the new ordering of the offsets.

When is this task done?

The task is done when the offsets are correctly grouped, properly rearranged and renamed corresponding to the group where they are located.

Additional context

No response