Fraud proofs are just invalidity proofs, innit?