Proof showing that a claimed state transition is invalid; used in optimistic rollups during challenge periods.