O que é Zero Knowledge Application (zkApp)?
Uma Zero Knowledge Application (zkApp) é um programa em blockchain que prova que seguiu as regras sem revelar os dados privados que usou. Pense num segurança: você prova que tem idade suficiente, mas a sua data de nascimento permanece privada. A cadeia verifica a matemática, não os segredos.
“Uma Zero Knowledge Application (zkApp) torna tudo anónimo.” Nem por isso. Pode ocultar entradas enquanto mantém os resultados verificáveis, mas muitos zkApps ainda exibem o que importa para consenso e taxas.
Como funcionam os zkApps
Imagine isto: uma Zero Knowledge Application (zkApp) prova que você cumpre um conjunto de regras sem expor os seus dados. Apoia-se em provas de conhecimento zero para tornar isso verificável por todos.
- Passo 1: Você abre a app e escolhe o que quer provar, por exemplo rendimento acima de um limite ou posse de um token.
- Passo 2: O seu dispositivo gera uma prova de que a afirmação é verdadeira, usando um circuito fornecido pela app. Nenhum dado bruto sai do seu dispositivo.
- Passo 3: A prova, juntamente com metadados mínimos, é incluída numa transação e enviada para a rede.
- Passo 4: O contrato inteligente verifica a prova com um verificador. Se for válida, o contrato prossegue.
- Passo 5: A cadeia atualiza o estado, por exemplo concedendo acesso, movendo fundos ou registando um voto, sem revelar os seus dados privados.
Pronto, é isso. A matemática fala por si para que os seus dados não tenham de o fazer.
Por que os zkApps são importantes
O que isso traz para si?
- Vantagem: Privacidade real com verificação pública, o que significa menos fuga de dados e menos etapas.
- Perspetiva: Surgem numa altura em que as pessoas querem controlo dos seus dados e prova de autenticidade, uma mistura entre Rolex e threads do Reddit.
- Relevância: Espere vê-los em verificações de crédito DeFi, votações privadas, acesso KYC ligeiro, jogos e até em assinaturas de criadores.
Antes de usar uma Zero Knowledge Application (zkApp), verifique se as provas são geradas localmente e quanto tempo isso demora no seu dispositivo. Se a app oferecer um serviço de provas, certifique-se de que continua a controlar que dados são partilhados.
Principais características dos zkApps
O que os distingue:
- Provas: Mostram a corretude de um cálculo sem expor as entradas.
- Mínimo: Apenas os dados necessários vão para a cadeia, o que é bom para taxas e privacidade.
- Componibilidade: Uma prova verificada numa app pode desbloquear ações noutra.
- Local: Trabalho pesado pode ocorrer fora da cadeia no seu dispositivo, e depois a cadeia apenas verifica.
- Auditável: A matemática é pública, por isso qualquer pessoa pode verificar o resultado de forma independente.
Variações
Nem todas as implementações são iguais. Variedades comuns que verá:
- SNARK: zkApps baseados em provas sucintas que verificam rápido e ocupam pouco espaço.
- STARK: Provas sem configuração de confiança, frequentemente maiores mas transparentes e escaláveis.
- Rollup: Apps dentro de zk rollups que agrupam muitas ações numa única prova.
- Identidade: Prova de pessoa, idade, residência ou pertença sem expor dados pessoais.
- DeFi: Trocas privadas, verificações de crédito e de garantias com divulgação seletiva.
Zero knowledge protege as entradas, não a lógica. Má economia ou contratos com erros ainda podem levar a explorações, por isso auditorias e limites continuam a ser importantes.
Exemplo
Usa uma Zero Knowledge Application (zkApp) para provar que a sua conta tem um número mínimo de tokens para entrar num Discord privado, enquanto o seu saldo exato fica oculto.
Curiosidade
A matemática por trás das provas zk remonta aos anos 1980, mas a etiqueta cativante Zero Knowledge Application (zkApp) só ganhou força quando os programadores começaram a integrar essas provas em aplicações blockchain do dia a dia que dá para clicar.
Resumo
Em poucas palavras: uma Zero Knowledge Application (zkApp) permite-lhe provar coisas na cadeia sem partilhar em demasia, o que dá a sensação de que a internet amadureceu um pouco.