Solving the "Are You a Millionaire?" Problem with ZK Certificates