Blockchain à prova de quantum: por que a matemática, e não as máquinas, é a chave