STARKs vs. SNARKs e a Ameaça Quântica Famosamente, os STARKs são seguros contra ataques quânticos, mas os SNARKs são quebrados por computadores quânticos. Por quê? Estou a referir-me aqui aos SNARKs de curva elíptica, os tipos com os quais a maioria de vocês está familiarizada (como o Groth16). Um SNARK utiliza uma "chave de prova" secreta para permitir que o provador responda a uma certa pergunta. A forma como o segredo é criado é repetindo muitas vezes uma certa operação matemática. Uma boa analogia é que você começa com um cubo mágico e faz uma certa operação (digamos, torcer um lado dele + girar o cubo na sua mão). Então, você repete isso muitas vezes, um milhão de bilhões de gazilhões de vezes. O número exato de vezes que você faz essas operações -- esse é o segredo. Depois, você apresenta o cubo mágico bagunçado para o mundo todo ver. Agora, se você pudesse olhar para o cubo e responder quantas vezes a operação foi feita para chegar a este estado atual, você quebra o SNARK. Uma maneira de fazer isso é pegar um cubo mágico e começar a mexer nele, contando quantas vezes você faz a operação até chegar à configuração publicada publicamente. Mas isso leva muito tempo (um milhão de bilhões de gazilhões de passos). Aha, mas um computador quântico é este computador realmente inteligente que pode olhar para o cubo e soltar o número: 112.302.305.166 vezes, por exemplo. E com essa resposta, o SNARK é quebrado. OK, e quanto a um STARK? Neste caso, para quebrar um STARK você tem que "quebrar um hash". Um hash funciona mais ou menos assim: Você pega um cubo mágico, faz uma daquelas operações. Então você escreve o padrão em um papel, dobra-o, corta-o, permuta os quadrados de uma maneira louca e os posta em um novo cubo mágico. Então você faz outra operação no cubo mágico, e depois novamente move para o papel. E assim por diante. O ponto importante é este: Em vez de fazer apenas um tipo de operação (matematicamente, uma "operação de grupo") no caso de um SNARK, com um STARK você mistura um grande número de operações muito diferentes, que carecem de conexão e estrutura. E essa mistura, de muitas coisas, é o que confunde os computadores, tanto clássicos quanto quânticos, e salva o dia. FIM.