Will be needed for something like the above. For every instruction we should know the cost, rather than just incrementing by 1 with each instruction. The other approach here is to just execute the miden code and put some stuff in the miden vm internals that allow us to count the cost of the program. This might be better since we can't estimate the cost of ex. a for loop where we don't know the # of loops.
Cost estimation
Will be needed for something like the above. For every instruction we should know the cost, rather than just incrementing by 1 with each instruction. The other approach here is to just execute the miden code and put some stuff in the miden vm internals that allow us to count the cost of the program. This might be better since we can't estimate the cost of ex. a for loop where we don't know the # of loops.