Since its introduction two years ago, Arbitrum’s fraud proofs have not been applied.