Interactive verification process used by optimistic rollups to prove fraud via bisection and on‑chain resolution. ← DAG (Directed Acyclic Graph) DID Method →