zk-SNARK é um protocolo criptográfico usado no método de validação de informações chamado prova de conhecimento zero. O termo quer dizer "Zero-Knowledge Succint Non-Interactive Argument of Knowledge" (argumento de conhecimento não interativo sucinto de conhecimento zero). Cada componente desse termo se refere a uma característica do protocolo, a saber: 

• Conhecimento zero: a capacidade de uma das partes provar que uma afirmação é verdadeira para a outra parte sem revelar seu conteúdo. Portanto, a parte verificadora tem conhecimento zero do conteúdo, mas pode confirmar que a afirmação é verídica.
• Sucinto: a prova é tão pequena que pode ser verificada em poucos milissegundos e não exige grande capacidade computacional.
• Não-interativo: nenhuma das partes precisa trocar informações. Uma única mensagem com a prova é enviada do provador para o verificador.
• Argumento: termo usado para descrever a prova fornecida pelo provador. 
• Conhecimento: informação processada pelo provador para gerar a prova, que nunca é revelada para o verificador.

Em resumo, o protocolo zk-SNARK, quando aplicado, permite que uma pessoa prove a veracidade de uma afirmação para outra pessoa enviando uma única mensagem curta e criptografada com a prova, que pode ser descriptografada. Mas quem recebe pode confirmar que a mensagem é verdadeira executando o mesmo protocolo, sem jamais precisar ver o conteúdo da prova.

Este é o protocolo que usamos na Bitso para gerar nossa prova de solvência.

Apenas a título informativo, isso não se trata de consultoria de investimento. Ao comprar, vender, fazer trade ou usar criptomoedas, você assume certos riscos, como volatilidade de preços e perda de capital. Para mais informações, acesse este link.