MIPs

MIPs copied to clipboard

Right now AFAIU (although I haven't tested it), you could set the precondition to s1, then again to s4, which is very unintuitive and could break zkapps depending on it only going forward.

I propose resetting all action states older than the one used for the precondition to it, solving this problem.

Unless, of course, this is already impossible.

This would also solve another problem where you want to "flush" the action state, to prevent matching on partial histories, e.g. perhaps you want to undo something in the action state, and so submit an Undo action, but you want to be sure that it's not ignored.