Groth16 still dominates ZK verification at ~227K gas per proof, but a new transparent system called GLYPH-zk has demonstrated 29.5K gas on testnets — a 7.7x improvement. Here's how every major proving system compares, plus why proof batching delivers bigger savings than any single system choice.