Interactive or single step proof that shows a disputed rollup state transition is invalid.