Um ZK-SNARK, abreviatura de Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (Argumento de Conhecimento Sucinto Não Interativo de Conhecimento Zero), é uma técnica criptográfica utilizada para provar a posse de determinada informação sem revelar a própria informação. No contexto das criptomoedas como a Ethereum, os ZK-SNARKs são utilizados para fins de privacidade e escalabilidade.
Segue-se uma explicação do significado de cada parte do termo:
Zero-Knowledge: isto significa que uma parte (o provador) pode provar a outra parte (o verificador) que conhece determinada informação sem revelar a informação em si. Por outras palavras, o provador pode convencer o verificador de que uma afirmação é verdadeira sem divulgar qualquer informação adicional para além do facto de a afirmação ser verdadeira.
Succinct: isto refere-se à prova ser curta e fácil de verificar. Mesmo que a prova possa envolver cálculos complexos, pode ser verificada rapidamente sem necessidade de refazer esses cálculos.
Non-Interactive: numa prova não interativa, o provador gera a prova uma vez e o verificador pode verificá-la sem necessidade de interagir novamente com o provador. Isto é importante para a eficiência e escalabilidade nos sistemas de blockchain.
Argument of Knowledge: isto indica que a prova demonstra não apenas que uma afirmação é verdadeira, mas também que o provador sabe por que é verdadeira (ou seja, possui a informação ou o segredo necessário).
Os ZK-SNARKs são particularmente valiosos na tecnologia blockchain porque permitem que transações ou smart contracts sejam verificados sem revelar os detalhes subjacentes. Os seus tamanhos de prova reduzidos e verificação permanente garantem uma velocidade de autenticação consistente, independentemente da complexidade da afirmação a ser provada. Os ZK-SNARKs melhoram a privacidade na blockchain, mantendo simultaneamente a integridade e segurança.
