Bob Carl Mallory(op) exiting state t=0 by Mallory tx1->tx2->(-Tx3)->tx4 Mallory exits invalid history Tx Oddly Carl can't challenge because of absence of proof
Bob Carl Mallory(op) responded state challengeBefore state respondChallenge state by Mallory tx1->tx2->(-Tx3)->tx4 period/2 < t < period Mallory publish proof - Bob & Carl finally see Tx4 - exit game continued - Tx3 is still exitable Mallory aims to publish proof at (period - 1sec) Mallory can invalidate Bob's challenge via publishing Carl's proof
Bob Carl Mallory(op) challenged state challengeBefore state by Carl period < t maybe tx1->tx2->(-Tx3)->tx4 Because of Mallory's griefing Carl's challengeBefore doesn't prevent Tx3 to be exited