Many new blockchain applications (e.g., layer-2 scaling solutions, proof-of-stake layer-1 chains, and cross-chain bridges, etc.) adopt an “optimistic” design, that is, the system proceeds as if all participants are well-behaving, presumably sustained by some “stake-and-slash” mechanisms....