レッスン3 — Fraud proof vs validity (ZK) proof