So the idea here is you allow users to withdraw from a previous state if a transaction for that address has not already been included ?
My concern here is that after a user has withdraw from an older state what stops that user from continuing to transfer funds that are already inside their rollup ? So the attack is that i withdraw from old state, transfer my funds on rollup to a new address withdraw again. I just doubled my money.
@adompeldorius this may also be applicable to your design ?