Currently the miden-base has to maintain the corresponding values for constants in masm and rust source code by hand. This is both inconvenient and error prone. To make the development of the kernel easier we should have the ability to query constants from compiled modules.
Currently the miden-base has to maintain the corresponding values for constants in masm and rust source code by hand. This is both inconvenient and error prone. To make the development of the kernel easier we should have the ability to query constants from compiled modules.
Additional context: https://github.com/0xPolygonMiden/miden-vm/pull/1277#discussion_r1532766308