ZkSync vs. Optimism: Exploring the Battle of Zero-Knowledge Proofs