Arbitrum's fraud proofs haven't been used in the two years since it launched