Lesson 4 — Fraud proofs vs validity (ZK) proofs