FHE vs. provas ZK: qual é a diferença entre as tecnologias de privacidade?
A Criptografia Totalmente Homomórfica (FHE) e as provas de Conhecimento Zero (ZK) oferecem soluções distintas para privacidade e computação. A FHE permite que aplicações computem diretamente sobre dados criptografados, mantendo-os privados durante o processamento. Já as provas ZK verificam se uma computação ou declaração é válida sem expor as entradas privadas subjacentes. Enquanto a FHE protege os dados durante a computação, as provas ZK focam na correção verificável. Alguns sistemas blockchain combinam as duas tecnologias para cobrir diferentes partes da computação confidencial, embora cada uma traga custos de desempenho e trade-offs de implementação específicos.
A Criptografia Totalmente Homomórfica (FHE) permite que aplicações realizem cálculos sobre dados criptografados sem descriptografá-los primeiro. O resultado permanece criptografado, o que torna a FHE útil quando dados sensíveis precisam permanecer privados durante toda a computação.
As Provas de Conhecimento Zero (ZK) têm outra finalidade. Elas permitem que uma parte comprove que uma declaração ou computação está correta sem revelar os dados privados subjacentes. As provas ZK são usadas comumente para credenciais privadas, verificação de rollups, provas de solvência e outros casos em que a verificação importa mais do que manter toda uma computação criptografada.
A diferença central é que a FHE protege os dados enquanto eles são processados, ao passo que as provas ZK verificam um resultado sem expor as entradas privadas. Alguns sistemas blockchain voltados à privacidade combinam as duas tecnologias porque elas resolvem partes diferentes do mesmo problema.
O que é a Criptografia Totalmente Homomórfica (FHE)?
A Criptografia Totalmente Homomórfica (FHE) é um método criptográfico que permite realizar computações diretamente sobre dados criptografados. Os dados permanecem criptografados durante o processamento, e o resultado final pode depois ser descriptografado para o mesmo valor que teria sido produzido a partir do texto simples original.
Em aplicações blockchain, a FHE pode viabilizar saldos criptografados, votação privada ou estado confidencial de aplicações sem expor os valores subjacentes a validadores ou outros participantes. O sistema ainda precisa de regras claras para gestão de chaves, autoridade de descriptografia e acesso aos resultados finais.
O que são provas de conhecimento zero (ZK)?
As provas de conhecimento zero (ZK) permitem que uma parte comprove que uma declaração ou computação é válida sem revelar as informações privadas usadas para gerar a prova. O provador cria a prova, enquanto o verificador a confere segundo regras predefinidas.
As provas ZK podem ser usadas para verificações privadas de identidade, verificação de transações, validade de rollups e provas de reservas ou de solvência. A privacidade depende de como a aplicação é projetada, já que algumas entradas, saídas ou detalhes de transação podem continuar públicos.
FHE vs. provas ZK: quais são as principais diferenças?
A FHE e as provas ZK resolvem partes diferentes da computação confidencial. Tratá-las como substitutas pode deixar a privacidade ou a correção sem resposta.
| Dimensão | Criptografia Totalmente Homomórfica (FHE) | Provas de Conhecimento Zero (ZK) |
| Propósito principal | Computar diretamente sobre dados que permanecem criptografados o tempo todo | Provar que uma declaração é válida sem expor sua testemunha |
| Saída | Produz resultados criptografados que exigem um caminho de descriptografia autorizado | Produz uma prova compacta e saídas públicas selecionadas |
| Modelo de computação | Os avaliadores transformam o texto cifrado por meio das operações criptografadas suportadas | Os provadores codificam a computação em circuitos ou máquinas virtuais |
| Verificação | A descriptografia correta revela o resultado computado em texto simples | O verificador confere a prova sem repetir toda a computação |
| Custo de desempenho | Operações sobre texto cifrado e bootstrapping geram sobrecarga de execução substancial | A geração de provas é pesada, mas a verificação pode continuar compacta |
| Dependência de chaves | A governança da chave de descriptografia se torna uma escolha crítica de design do sistema | A configuração confiável ou as premissas da prova dependem do esquema escolhido |
Como a FHE e as provas ZK funcionam de forma diferente?
- FHE: Os dados permanecem criptografados enquanto as computações são realizadas sobre eles. As aplicações podem atualizar saldos criptografados, votos ou outros estados privados sem expor os valores subjacentes. O sistema ainda precisa de regras para chaves de descriptografia, acesso autorizado e recuperação caso as chaves sejam perdidas ou comprometidas.
- Provas ZK: O provador demonstra que entradas privadas satisfazem um conjunto de regras sem revelar essas entradas. O verificador confere a prova resultante em vez de repetir toda a computação. A prova confirma apenas as regras codificadas no sistema, de modo que uma lógica de circuito incorreta ainda pode gerar uma prova válida para a condição errada.
Quais são os projetos comuns de FHE e ZK?
Projetos comuns de FHE
1. Zama: Desenvolve ferramentas de FHE e infraestrutura blockchain para contratos inteligentes confidenciais e aplicações onchain criptografadas.
2. Fhenix: Constrói infraestrutura blockchain que usa FHE para viabilizar a execução de contratos inteligentes criptografados.
3. Inco: Foca em computação confidencial para aplicações blockchain usando estado criptografado baseado em FHE.
Projetos comuns de ZK
1. zkSync: Usa provas de conhecimento zero para escalar o Ethereum ao verificar lotes de transações fora da chain.
2. Starknet: Usa provas STARK para verificar computação e escalar a execução de contratos inteligentes no Ethereum.
3. Aztec: Foca em aplicações blockchain que preservam a privacidade usando tecnologia de provas de conhecimento zero.
Que riscos ou trade-offs a FHE e as provas ZK criam?
- Riscos da FHE: A computação criptografada consome muito mais recursos do que a computação normal. Textos cifrados grandes, processamento mais lento, gestão de chaves e autoridade de descriptografia podem aumentar o custo e a complexidade.
- Riscos das provas ZK: A geração de provas exige circuitos e software especializados. Falhas em circuitos, compiladores, contratos verificadores ou processos de configuração podem afetar a privacidade ou a correção, enquanto metadados públicos ainda podem revelar informações.
As duas tecnologias dependem fortemente de uma implementação correta e do design da aplicação, e não apenas da criptografia.
Qual tecnologia de privacidade se encaixa em aplicações blockchain?
- FHE: Mais adequada a aplicações que precisam processar dados privados continuamente, como saldos confidenciais, leilões privados e votação criptografada.
- Provas ZK: Mais adequadas para provar que uma condição ou computação é válida sem revelar as informações subjacentes, como verificações de identidade, verificação de rollups, provas de solvência ou checagens privadas de elegibilidade.
- Usar as duas: Alguns sistemas combinam FHE e provas ZK para que os dados permaneçam criptografados durante a computação, enquanto as provas verificam que as entradas e o processamento seguem as regras exigidas.
Conceitos relacionados
3. O que é um contrato inteligente?
Leitura adicional
1. O que é a rede descentralizada de ZKP Succinct (PROVE) e como negociá-la na BingX?
2. O que é o AZTEC, camada 2 de privacidade zkRollup no Ethereum, e como comprá-lo?
3. Quais são os principais projetos cripto de conhecimento zero (ZK) de 2026?
4. O que é a Zama (ZAMA), a camada \"HTTPZ\" para contratos inteligentes confidenciais?
Perguntas Frequentes
A FHE é um tipo de prova de conhecimento zero?
Não. A FHE permite computação sobre dados criptografados, enquanto uma prova ZK demonstra que uma declaração é verdadeira sem revelar sua testemunha. As primitivas podem se complementar, mas têm saídas, custos de desempenho, premissas de chave e objetivos de segurança diferentes. Uma não fornece a outra automaticamente.
As provas ZK sempre tornam as transações blockchain privadas?
Quem pode descriptografar dados processados com FHE?
Por que a FHE é mais lenta que a computação comum?
Não tem uma conta?
Cadastre-se agora para começar sua jornada em criptomoedas
