0xPolygonMiden / miden-vm

STARK-based virtual machine
MIT License
611 stars 148 forks source link

Stable procedure order when compiling with Assembler::compile_module #1376

Open hackaugusto opened 4 days ago

hackaugusto commented 4 days ago

Problem

Assembler::compile_module order changes if the procedure type is a re-export or not. This causes issues on code refactoring, if someone changes a procedure to a re-export (say, because the procedure was moved to another module, and re-exported for backwards compatibility).

This caused issue while maintaining test code in the miden-base repo. Because changing the order of the procedures changes the account code commitment.