O que é Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)?

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) é um sistema de prova que permite a alguém demonstrar que um cálculo foi executado corretamente sem revelar as entradas nem todo o cálculo. É escalável e transparente porque evita cerimónias de confiança e baseia-se em operações simples de hash, o que também se alinha a abordagens resistentes a computadores quânticos. Pense nisso como um pequeno recibo verificável que confirma que o trabalho foi feito, sem mostrar o trabalho.

Mito

“zk-STARK é exatamente a mesma coisa que um SNARK.” Não é bem assim. É uma variante de Prova de Conhecimento Zero (ZKP), mas evita a configuração confiável, visa resistência a computadores quânticos e troca provas ligeiramente maiores por verificação rápida e pública.

Como Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) funciona

Imagine um rollup a provar que milhares de transações foram processadas corretamente. Com Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK), a cadeia não executa tudo de novo. Verifica apenas uma prova compacta e segue em frente.

Passo 1: Um provador escolhe uma alegação a provar, por exemplo “este lote de transações seguiu as regras.”
Passo 2: O cálculo é transformado num rasto estruturado. O provador compromete-se com esse rasto usando hashes para que nada possa ser alterado mais tarde.
Passo 3: Matemática sofisticada, escondida por código acessível. O provador constrói uma prova pequena que seria muito difícil de falsificar.
Passo 4: A prova é enviada a um verificador, muitas vezes um contrato inteligente. O verificador executa checagens leves.
Passo 5: Se for aprovada, o resultado é aceite na cadeia e o estado é atualizado. Efeito líquido: maior vazão e desempenho com menos bytes de dados.

Esse é o plano, sem o pó do giz.

Por que Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) importa

Isto interessa porque muda a forma como as blockchains se tornam rápidas e privadas sem perder a confiança.

Benefício: Grandes cálculos tornam-se verificações pequenas, o que poupa taxas e tempo.
Perspetiva: É possível provar a correção mantendo a privacidade das entradas. Partilhe a prova, não os segredos.
Relevância: Verá isto em rollups, jogos, NFTs e pagamentos, onde velocidade e certeza são importantes.

Dica

Quando vir um projeto a usar Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK), verifique duas coisas: evita a configuração confiável e mantém a calldata pequena através de recursão ou de soluções inteligentes de disponibilidade de dados. Essas escolhas influenciam as taxas e o conforto do utilizador.

Principais características de Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)

Eis o que o distingue:

Transparente: Sem cerimónia de configuração confiável, por isso não há um grupo especial em que tenha de confiar.
Escalável: Concebido para elevada escalabilidade, agrupando enormes cargas de trabalho em provas pequenas.
Resistente a computadores quânticos: Baseado em funções de hash, que são consideradas mais seguras face a futuras capacidades quânticas.

Variações

Variações relacionadas que ouvirá:

SNARKs: Provas mais pequenas e verificação rápida, mas muitas vezes exigem uma configuração confiável. Apresentam compensações diferentes em comparação com Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK).
Provas de validade: Termo genérico que inclui SNARKs e STARKs. Provam que uma atualização de estado é correta.
Provas de fraude: Utilizadas por optimistic rollups. Assume-se que está correto até alguém provar um erro e desafiar.

Lembrete

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) prova a correção, não a legalidade nem a equidade. Pode ocultar entradas, mas por defeito não oculta todos os metadados, salvo se a aplicação for desenhada para isso.

Exemplo

Uma DeFi exchange na Starknet agrupa operações e publica uma prova zk-STARK na Ethereum para que a cadeia verifique todo o lote com gás mínimo.

Curiosidade

A sigla foi cunhada por investigadores incluindo Eli Ben Sasson, e sim, STARK também significa forte em alemão. Faz sentido, já que o desenho apoia-se em funções de hash robustas em vez de cerimónias pesadas de chave pública.

Resumo

Versão curta: zk-STARK fornece provas pequenas de que trabalho substancial foi realizado, para que possa confiar nos resultados sem espreitar os dados.

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)