0xPolygonMiden / miden-vm

STARK-based virtual machine
MIT License
632 stars 161 forks source link

Fix block stack table respan #1512

Closed plafer closed 1 month ago

plafer commented 1 month ago

There was still a bug after #1511 with how the a RESPAN operation fetches the is_loop virtual column of the block stack table.

The fix is to set is_loop to ZERO when removing a row from a RESPAN, since the is_loop flag (read in hasher_state[5]) only applies to the END operation. For requests, it will only be set for the LOOP opcode.