Fraud Proofs: How Validators Keep Arbitrum Honest