ZK proof vulnerability