Zero-knowledge proofs reduce verification costsZero-knowledge proofs reduce verification costs