A matemática tem uma solução para não arruinar os seus jogos de “Onde está o Wally?”. Há uma forma de provar que o encontrou sem revelar onde ele está. Alguma vez jogou um jogo de “Onde está o Wally?” e se questionou como poderia provar que encontrou o Wally sem estragar a diversão aos outros? Parece uma tarefa difícil, mas os matemáticos arranjaram uma solução: provas de conhecimento zero. Em matemática, uma prova é um argumento que demonstra a verdade de uma afirmação. Normalmente, as provas não só mostram que algo é verdadeiro, mas também explicam porque é que é
