ZK proof systems differ in gas costs by over 10x. Groth16 verifies at 230K gas with 192-byte proofs. Raw STARKs cost 2.5M gas. This guide compares every major system across proof size, trusted setup, and circuit security so you can pick the right stack for your dApp.