Standards for zero-knowledge proofs will matter in 2025