Um ZK-STARK (Argumento de Conhecimento Transparente e Escalável de Conhecimento Zero) é um sistema de prova criptográfica que permite a uma parte provar a posse de informações secretas ou a correção de um cálculo para outra parte — sem revelar o segredo e sem exigir uma cerimônia de configuração de confiança. Desenvolvido por Eli Ben-Sasson e pela StarkWare Industries, o STARK alcança transparência (sem necessidade de configuração de confiança), resistência quântica (dependendo apenas de...) funções hash), e escalabilidade (o tempo de verificação da prova é polilogarítmico em relação ao tamanho da computação). Embora os zk-SNARKs produzam provas menores, os zk-STARKs oferecem suposições criptográficas mais fortes e são a base da tecnologia de escalabilidade do Ethereum da StarkWare (StarkEx e StarkNet).
Origem e história
| Data | Evento |
| 1985 | Teoria fundamental da prova de conhecimento zero (Goldwasser, Micali e Rackoff) |
| 2012 | zk-SNARKs formalizados; exigem configuração confiável — uma limitação. |
| 2018 | Ben-Sasson e outros publicam “Integridade computacional escalável, transparente e segura pós-quântica” — apresentando os STARKs |
| 2018 | A StarkWare Industries foi fundada por Ben-Sasson, Bentov, Horesh e Riabzev. |
| 2020 | StarkEx (o mecanismo de escalabilidade da StarkWare) é lançado com dYdX e DeversiFi. |
| 2021 | A rede de testes StarkNet (L2 descentralizada) é lançada no Ethereum. |
| 2022 | Rede principal StarkNet alfa; linguagem de programação Cairo para programas comprováveis por STARK |
| 2023 | A StarkNet processa milhões de transações mensalmente; token STRK anunciado. |
| 2024 | A StarkWare divulga pesquisa STARK recursiva que possibilita a composição de provas. |
“STARKs são maiores que SNARKs, pós-quantum— Primo da segurança, eles sacrificam o tamanho da prova em prol da transparência e da segurança.” — Eli Ben-Sasson, cofundador da StarkWare
Como Funciona
COMPARAÇÃO ZK-STARK vs ZK-SNARK ────────────────────────────────────────────────────────────────────────── SNARK STARK Configuração confiável: Obrigatória (resíduos tóxicos) NENHUMA (transparente) Tamanho da prova: ~200 bytes ~50–200 KB Tempo de verificação: Milissegundos Milissegundos Seguro contra computação quântica: Não (curva elíptica) Sim (hash) (somente funções) Tempo de prova: Rápido Mais lento (constantes maiores) Usado em: Zcash, zkSync, Groth16 StarkNet, StarkEx ─────────────────────────────────────────────────────────────────────
GERAÇÃO DE PROVAS STARK: Computação → Representação Algébrica Intermediária (AIR) → Compromisso polinomial (protocolo FRI) → Prova STARK (verificável por qualquer pessoa) → O verificador de camada 1 do Ethereum verifica a prova em aproximadamente 200k-500k de gás.
| Propriedade | zk-SNARK | zk-STARK |
| instalação | Cerimônia confiável | Nenhum (transparente) |
| Suposição | Curvas elípticas | Somente funções hash |
| Resistência quântica | Não | Sim |
| Tamanho da prova | ~200 bytes | ~50–200 KB |
| Gás de verificação (ETH) | ~200K-300K gás | ~200K-500K gás |
| Global | Alto | Muito alto |
Em termos simples
- Nenhuma configuração confiável – Os STARKs não exigem uma cerimônia secreta para gerar parâmetros. Não há "lixo tóxico" que precise ser destruído; qualquer pessoa pode verificar se a aleatoriedade foi justa.
- Quantum-seguro – Os STARKs dependem apenas de funções hash resistentes a colisões, que os computadores quânticos não conseguem quebrar (ao contrário da matemática de curvas elípticas usada pelos SNARKs).
- Provas maiores, mesma segurança – Uma prova STARK é muito maior do que uma prova SNARK (50 KB contra 200 bytes), mas apresenta pressupostos de segurança mais robustos.
- Escala com computação – O tempo de verificação STARK cresce polilogaritmicamente com o tamanho da computação — a prova de uma computação com 1 milhão de passos não é 1 milhão de vezes mais difícil de verificar.
- Língua do Cairo – A StarkWare criou o Cairo, uma linguagem para escrever programas que podem ser comprovados pelo teste STARK, permitindo que a lógica complexa de contratos inteligentes seja comprovada na camada 2 e liquidada no Ethereum.
Exemplos do mundo real
| Cenário | Implementação | Resultado |
| dYdX v3 no StarkEx | Liquidação de contratos futuros perpétuos por meio de provas STARK | 1,000 TPS com segurança Ethereum; taxas inferiores a US$ 1 |
| Criando NFTs imutáveis X | StarkEx ZK-Rollup para NFTs de jogos | 9,000 NFTs cunhados por segundo; custo zero para os usuários. |
| StarkNet DeFi | JediSwap e Ekubo DEX são implementados na StarkNet. | DeFi com contratos inteligentes completos a uma velocidade 100 vezes maior que a do Ethereum. |
| Contratos do Cairo | Desenvolvedor escreve contrato Cairo para jogo on-chain | Cada movimento comprovado corretamente na blockchain; nenhuma trapaça é possível. |
| STARKs recursivos | StarkWare comprova provas de provas. | Comprima bilhões de transações em uma única transação Ethereum. |
Vantagens
| A Vantagem | Detalhe |
| Nenhuma configuração confiável | Elimina completamente o risco de segurança associado à "cerimônia". |
| Resistente a fenômenos quânticos | O único sistema criptográfico comprovadamente seguro contra computação quântica. |
| aleatoriedade transparente | Todos os parâmetros de prova são publicamente verificáveis. |
| Escalabilidade extrema | As provas recursivas podem agregar computação ilimitada. |
| Matemática testada e comprovada em batalha | Baseia-se em funções hash bem conhecidas, não em suposições novas. |
Desvantagens e Riscos
| Gestão de | Detalhe |
| Tamanho da prova | O envio de provas de 50 a 200 KB para o Ethereum é dispendioso (devido aos custos de dados de chamada). |
| Verificação do custo do gás | ~200K-500K de gás para verificar um processo STARK vs ~200K-300K para um processo SNARK |
| curva de aprendizado do Cairo | A linguagem Cairo é diferente de Solidity; o ecossistema de desenvolvedores é menor. |
| O custo do comprovante de cálculo | A geração STARK requer recursos computacionais significativos. |
| Compatibilidade EVM | A StarkNet nativa não é equivalente à EVM; o Kakarot (EVM no Cairo) contorna esse problema. |
Dicas de gerenciamento de risco:
- Acompanhe o roteiro de descentralização da StarkNet — a centralização dos provedores de provas é um risco atual.
- Para EVM Desenvolvedores, explorem o Kakarot (EVM no Cairo) para uma migração mais fácil para o StarkNet.
- Use o L2Beat para monitorar os principais riscos de segurança e atualização da StarkNet.
Perguntas frequentes
P: O que significa “transparente” em ZK-STARK?
A: Nenhum parâmetro secreto foi gerado. Qualquer pessoa pode verificar de forma independente que a configuração do sistema de provas é justa — ao contrário dos SNARKs, onde a integridade de uma cerimônia confiável deve ser presumida.
P: Por que as provas STARK são maiores que as provas SNARK?
A: Os SNARKs usam emparelhamento de curvas elípticas (suposições compactas, mas menos seguras); os STARKs usam Árvores Merkle e compromissos polinomiais FRI (inerentemente maiores, mas mais seguros).
P: O StarkNet é compatível com a EVM?
A: Nativamente, o StarkNet usa o Cairo (não a EVM). O Kakarot é uma implementação da EVM escrita em Cairo, permitindo que contratos Solidity sejam executados indiretamente no StarkNet.
P: O sistema STARK consegue ser dimensionado para bilhões de transações?
A: Os STARKs recursivos (provando provas de provas) são teoricamente escaláveis para computação arbitrária. O provador Stwo da StarkWare visa provar milhões de transações por segundo.
P: Quem inventou os ZK-STARKs?
A: Eli Ben-Sasson (professor do Technion e cofundador da StarkWare), juntamente com Iddo Bentov, Lior Horesh e Michael Riabzev, publicaram o artigo original sobre o projeto STARK em 2018.
Fontes
- Ben-Sasson et al., “Integridade computacional escalável, transparente e segura pós-quântica” (2018) — IACR ePrint
- Documentação do StarkWare — starkware.co
- Documentação do StarkNet — docs.starknet.io
- Vitalik Buterin, “STARKs, Parte 1” — vitalik.ca
Dica UPay: A resistência quântica dos detectores STARK os torna a opção mais segura a longo prazo para sistemas de prova criptográfica à medida que a computação quântica avança. Embora os detectores SNARK sejam mais eficientes hoje, a mudança gradual do ecossistema criptográfico em direção aos detectores STARK é uma proteção razoável contra futuros riscos quânticos.Aviso: Este verbete do glossário tem fins meramente educativos e não constitui aconselhamento financeiro ou jurídico.
UPay — Tornando a Criptografia Enciclopédica
