디지털 신원 증명과 zk와의 관계