Quando se trata de sistemas de conhecimento zero, a maioria dos projetos enfrenta eventualmente a mesma escolha.

zk-SNARKs ou zk-STARKs.

Ambos são poderosos. Ambos têm compromissos.

Para uma camada de computação infinita que precisa de empurrar dados históricos massivos para fora da cadeia, @brevis_zk tomou uma decisão muito deliberada.

Eles construíram em torno de zk-SNARKs.

Por que isso importa:

→ Provas extremamente pequenas mantêm a verificação na cadeia barata
→ Verificação rápida permite lógica de dApp quase em tempo real
→ Ferramentas maduras e testadas em batalha
→ Ideal para resumir grandes conjuntos de dados históricos de forma eficiente

Isso permite que um dApp prove algo como
um usuário executou 100 trocas nos últimos 30 dias
sem revelar quais trocas ou quaisquer detalhes sensíveis

Tudo comprimido em uma prova com apenas algumas centenas de bytes.

Escolhas de design simples como essa são o que fazem o cálculo verificável em grande escala realmente funcionar.