zk-SNARKs na segurança de projetos de Blockchain
A prova de conhecimento zero (ZKP), como uma tecnologia criptográfica avançada, está sendo adotada por um número crescente de projetos de Blockchain. Seja em soluções de Layer 2, cadeias públicas especiais ou projetos de moedas anônimas, a aplicação do ZKP trouxe novos desafios de segurança. Este artigo abordará, a partir de uma perspectiva de segurança, as vulnerabilidades que podem surgir no processo de combinação do ZKP com o Blockchain, fornecendo referências para a segurança de projetos relacionados.
As características principais do ZKP
Antes de analisarmos a segurança do sistema ZKP, precisamos entender suas três características principais:
1. Completude: Para afirmações verdadeiras, o provador consegue sempre demonstrar com sucesso a sua correção ao validador.
2. Confiabilidade: para declarações falsas, o provador malicioso não pode enganar o validador.
3. Propriedade de zero conhecimento: Durante o processo de verificação, o verificador não obterá nenhuma informação sobre os próprios dados.
Estas três características