Zero-knowledge (ZK) proofs make it possible