ZK proof vulnerability bridge