comparação STARKs vs SNARKs. Conheço as duas tecnologias cripto

   SNARKs (Succinct Non-Interactive Arguments of Knowledge)

As provas são muito pequenas e rápidas de verificar.

Exigem uma configuração inicial (trusted setup), ou seja, uma cerimônia secreta para gerar parâmetros. Se essa configuração for comprometida, a segurança pode ser afetada.

São eficientes, mas menos escaláveis que os STARKs.

Não são resistentes a ataques de computadores quânticos.

Projetos conhecidos que usam SNARKs: Zcash, Filecoin, Mina Protocol.

⚡ STARKs (Scalable Transparent Arguments of Knowledge)

As provas são maiores, ocupam mais espaço que as SNARKs.

Não precisam de configuração inicial, o que os torna transparentes e mais seguros.

Foram criados para lidar com alta escalabilidade, conseguindo validar milhares de transações em uma única prova.

São resistentes a ataques quânticos, o que dá mais longevidade à tecnologia.

Projetos que usam STARKs: StarkWare, StarkNet, StarkEx, Immutable X, dYdX, Sorare.

---

✅ Resumo simples:

SNARKs → provas pequenas e rápidas, mas dependem de um setup inicial e não são seguras contra quânticos.

STARKs → provas maiores, mas muito mais seguras, escaláveis e transparentes.