ZKPs sucintos são uma daquelas coisas para as quais até mesmo veteranos experientes que trabalharam com a matemática por mais de uma década ainda ocasionalmente param e refletem: "Não consigo acreditar que isso realmente funciona." Às vezes parece que não funcionaria, mas pela mão de Deus empurrando o lápis.