A diferença entre SNARKs e STARKs
Nos últimos anos, as provas de conhecimento zero (Zero‑Knowledge Proofs) ganharam destaque como soluções para escalabilidade e privacidade nas blockchains. Entre as variantes mais conhecidas estão os SNARKs e os STARKs. Embora ambos cumpram o mesmo objetivo geral – permitir que alguém prove a veracidade de uma afirmação sem revelar detalhes – eles diferem em arquitetura, segurança, desempenho e requisitos de confiança.
O que são SNARKs?
SNARKs (Succinct Non‑Interactive Argument of Knowledge) são provas curtas e verificáveis em tempo constante, independentemente do tamanho da computação original. Elas requerem um trusted setup, ou seja, um processo inicial de geração de parâmetros que deve permanecer secreto; caso contrário, a segurança pode ser comprometida.
Principais características:
- Prova curta: alguns kilobytes, verificável em poucos milissegundos.
- Trusted setup: necessidade de um ceremony de confiança.
- Base de segurança: baseada em pressupostos de criptografia de curvas elípticas.
O que são STARKs?
STARKs (Scalable Transparent ARguments of Knowledge) foram criados para superar as limitações dos SNARKs. Eles eliminam a necessidade de um trusted setup, usando apenas funções hash pós‑quânticas (como SHA‑256) como base de segurança, o que os torna resistentes a ataques de computadores quânticos.
Principais características:
- Transparência: nenhum trusted setup necessário.
- Escalabilidade: provas maiores que SNARKs, mas ainda práticas para transações de lote.
- Segurança pós‑quântica: baseia‑se em hash functions.
Comparativo rápido
| Critério | SNARKs | STARKs |
|---|---|---|
| Tamanho da prova | ~200 bytes a 1 KB | ~10 KB a 100 KB |
| Tempo de verificação | milissegundos | até alguns segundos |
| Trusted setup | Sim | Não |
| Segurança | Curvas elípticas (vulnerável a computação quântica) | Hash‑based (pós‑quântica) |
| Aplicações típicas | zk‑Rollups, Zcash, protocolos de privacidade | StarkWare, DeversiFi, rollups de alta escala |
Quando usar cada tecnologia?
Se a prioridade for mínimo tamanho de prova e verificação ultra‑rápida, SNARKs continuam sendo a escolha ideal – especialmente em ambientes onde o trusted setup já foi realizado de forma transparente (por exemplo, Zcash).
Por outro lado, projetos que buscam resistência a ataques quânticos e desejam evitar a complexidade de um ceremony de confiança tendem a optar por STARKs, mesmo aceitando provas maiores.
Impacto na arquitetura de blockchains
As diferenças entre SNARKs e STARKs influenciam diretamente decisões de design de camada 2, governança e modularidade. Por exemplo, ao avaliar a melhor estratégia de escalabilidade, é fundamental considerar como a escolha da prova afeta a O futuro da arquitetura da blockchain: tendências, desafios e oportunidades e a Blockchain Modular vs Monolítica. A governança do protocolo também pode mudar, como discutido em O papel da governança em projetos cripto, já que a necessidade (ou não) de um trusted setup implica diferentes mecanismos de auditoria e participação da comunidade.
Recursos externos para aprofundamento
Para quem deseja entender mais a fundo, recomendamos duas leituras de autoridade:
- Ethereum ZK‑Rollups – explica como os SNARKs são aplicados em rollups do Ethereum.
- Zcash Technology – detalha a implementação de SNARKs em uma das primeiras criptomoedas focadas em privacidade.
Compreender as nuances entre SNARKs e STARKs permite que desenvolvedores, investidores e entusiastas tomem decisões informadas sobre a melhor solução para seus casos de uso específicos.