USD
Como o ZK-STARK funciona
Um ZK‑STARK envolve dois papéis: o prover (quem executou uma computação) e o verifier (quem quer ter certeza de que o resultado está correto). Em vez de executar a computação novamente, o verifier confere uma prova.
De forma geral, os STARKs transformam a pergunta “você executou este programa corretamente?” em álgebra. O prover aritmetiza a computação, ou seja, reescreve o comportamento passo a passo do programa como restrições algébricas.
Esses passos formam um execution trace (um registro das transições de estado). O trace é codificado em polinômios, e a correção passa a ser a afirmação de que determinadas relações polinomiais são válidas (frequentemente descritas como uma identidade polinomial ou uma verificação de divisão).
Para manter a verificação eficiente, os STARKs usam técnicas no estilo das interactive oracle proofs e o low-degree testing para mostrar que os dados codificados se comportam como polinômios de grau baixo. Muitos sistemas STARK usam o FRI (Fast Reed-Solomon IOP of Proximity) como teste de proximidade central.
“Transparente” significa que a aleatoriedade e os parâmetros do protocolo podem ser derivados publicamente, de modo que não existe uma “trapdoor” secreta criada por uma cerimônia de setup.
Exemplo
Se conferir uma lição de matemática longa linha por linha é como reexecutar um programa, então um ZK‑STARK é como um certificado curto e verificável de que o trabalho segue as regras, sem mostrar as anotações particulares do aluno.
Por que é importante
Os ZK‑STARKs são usados em provas que preservam a privacidade e em soluções de escalabilidade, pois permitem que blockchains verifiquem grandes computações sem processar todos os dados subjacentes. Também costumam ser descritos como mais “seguros do ponto de vista sistêmico” do que muitas implementações de ZK‑SNARK, porque evitam o risco do trusted setup.
Em comparação com os ZK‑SNARKs, os STARKs normalmente geram provas maiores e podem ser mais lentos de verificar em muitas implementações reais, mas oferecem transparência e costumam ser apresentados como mais compatíveis com a era pós‑quântica, por dependerem menos de premissas baseadas em pairings.
Riscos ou limitações
“Seguro contra ataques pós‑quânticos” depende do contexto: a segurança no mundo real ainda depende de parâmetros concretos, da força da função hash e de implementações corretas.
Nem toda prova STARK é automaticamente de conhecimento zero; algumas implementações comprovam apenas a integridade, e adicionar privacidade pode exigir etapas extras de mascaramento e mais overhead.
Termos relacionados
- Zero-Knowledge Proof (ZKP)
- ZK-SNARK
- Trusted Setup
- zkVM
- Aritmetização
