CBDCs & ZK Proofs