Desempacotando zk-SNARKs e zk-STARKs

O anonimato é incrível no crypto. Grande mesmo. Ajuda com a fungibilidade—um requisito essencial para qualquer moeda séria. A maioria das pessoas que mantêm ativos em crypto não está exatamente entusiasmada com a ideia de ter suas informações financeiras expostas. Entre as tecnologias de privacidade para blockchains, os zk-SNARKs e zk-STARKs parecem bastante especiais.

zk-SNARK significa Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. É um nome complicado. zk-STARK? Isso é Zero-Knowledge Scalable Transparent Argument of Knowledge. Zcash usa zk-SNARKs. Assim como o JP Morgan Chase em alguns projetos. Eles estão meio que em todo lugar agora. zk-STARKs são os novos na área, supostamente corrigindo o que há de errado com o protocolo mais antigo.

A História da Caverna

Em 1990, um criptógrafo chamado Jean-Jacques Quisquater contou uma história sobre a caverna de Alibaba para explicar provas de conhecimento zero. As pessoas adoram recontá-la.

Imagine uma caverna circular. Uma entrada. Porta mágica dentro. É necessário uma palavra-passe para essa porta.

Alice quer provar a Bob que sabe esta palavra-passe. Mas ela não lhe vai apenas dizer. De maneira nenhuma.

Bob espera do lado de fora. Alice entra. Toma o caminho 1.

Mais tarde, Bob aparece e grita: "Saiam caminho 2!"

Se Alice souber a palavra secreta, ela abre a porta mágica e aparece onde Bob pediu. Mágico.

Faça isso algumas vezes. Não é apenas sorte.

Esta pequena história mostra do que se tratam as provas de conhecimento zero. Provar que você sabe algo sem revelar o que realmente é.

zk-SNARK de Perto

O Zcash foi pioneiro em zk-SNARKs em grande escala. O Monero faz a privacidade de forma diferente—fumaça e espelhos com assinaturas em anel. Mas zk-SNARKs? Eles mudam completamente o jogo. Transações encriptadas que ainda são verificadas. Impressionante. Os validadores da rede não precisam de todos os detalhes saborosos. Apenas prova. Embora estranhamente, as funcionalidades de privacidade do Zcash nem sequer estão ativadas por padrão. Você tem que ativar esse interruptor você mesmo.

As provas de conhecimento zero permitem que alguém prove que algo é verdadeiro sem revelar informação extra. Você tem um provador e um verificador. Algumas evidências sendo mantidas em segredo. O objetivo? Menos compartilhamento de dados. Muito menos.

A parte "succinct" significa que essas provas são rápidas de verificar. "Non-interactive" significa um mínimo de troca de informações. As coisas antigas de zero-knowledge precisavam de conversa. Não estas.

Até 2025 (aparentemente), zk-SNARKs dominam para operações simples. Prova rápida. Tamanhos de prova diminutos. Eles estão vencendo a corrida de adoção devido a todas as ferramentas e ao suporte do Ethereum.

Há um porém. Estas provas necessitam de uma "configuração de confiança"—parâmetros públicos estabelecidos previamente. É como definir as regras do jogo. Problema? Não muitas pessoas estão envolvidas na criação destes parâmetros. Risco de centralização. Uau.

Os pesquisadores estão tentando resolver esse problema de confiança. A fase de configuração é importante porque qualquer um que conheça os valores aleatórios utilizados poderia falsificar provas que parecem válidas. Isso é ruim.

Sobre a parte "Argumentos"—zk-SNARKs são maioritariamente seguros, a menos que você tenha um imenso poder computacional. Isso deixa algumas pessoas nervosas em relação aos computadores quânticos. O futuro parece incerto nesse aspecto.

"Conhecimento" significa que o provador realmente precisa saber a coisa que está provando. Falsificações não são permitidas.

Essas provas verificam rapidamente e não ocupam muito espaço de dados. Bom para privacidade E escalabilidade. Não é mau.

Curso Intensivo de zk-STARKs

zk-STARKs apareceram como a alternativa mais fixe e rápida. Nenhuma configuração de confiança necessária! É isso que o "T" de transparência significa.

Eles usam criptografia simétrica mais simples através de colisões de funções hash. Esta abordagem abandona as suposições matemáticas complexas dos zk-SNARKs—que podem ser vulneráveis a ataques quânticos de qualquer maneira.

Uma grande vantagem? A comunicação entre provador e verificador permanece constante, não importa quão complexa a computação se torne. Com zk-SNARKs, mais computação significa mais mensagens trocadas. Mais dados no geral.

Pesquisas de 2025 sugerem que zk-STARKs têm tamanhos de prova maiores, mas lidam melhor com cálculos maiores. Eles parecem representar o futuro desta tecnologia—escalável, transparente, resistente a quânticos. Ainda assim, zk-SNARKs dominam hoje devido à sua infraestrutura estabelecida.

Ambas as tecnologias estão a ganhar atenção no mundo da privacidade. No cripto, podem ser verdadeiros agentes de mudança. Revolucionárias, até. Veremos.