Open Overcastan opened 5 days ago
It is possible to have subtraction with underflow in the local_to_absolute_addr function (here) during the calculation of the addresses for the memory operation. Proper error message should be returned if this error occurs.
local_to_absolute_addr
Original comment: https://github.com/0xPolygonMiden/miden-vm/issues/1371#issuecomment-2201240761
It is possible to have subtraction with underflow in the
local_to_absolute_addrfunction (here) during the calculation of the addresses for the memory operation. Proper error message should be returned if this error occurs.Original comment: https://github.com/0xPolygonMiden/miden-vm/issues/1371#issuecomment-2201240761