zk Rollups vs Optimistic Rollups: Understanding Layer 2 Differences