「Provar que algo é verdadeiro sem precisar revelar qualquer detalhe」 — Prova de Conhecimento Zero

▰ O que exatamente é uma prova de conhecimento zero?
Quando foi proposta por três criptógrafos há mais de 30 anos, muitas pessoas achavam que era algo falso, difícil de acreditar. Afinal, normalmente, para convencer alguém, temos que apresentar fatos e evidências. Como é que alguém pode confiar apenas dizendo “não estou a mentir”?

▰ Mas a matemática é realmente incrível
Por exemplo, você conhece um filme muito obscuro com um easter egg escondido. Quer provar que realmente assistiu, mas sem revelar o conteúdo do easter egg.

Então, pode dizer ao seu amigo: “Um personagem no filme, aos 45 minutos, está segurando algo com uma marca especial.”

Se o amigo assistir e perceber que realmente há essa marca, saberá que você assistiu ao filme. Mas você não precisou revelar qual era o easter egg.

Essa é a lógica central da prova de conhecimento zero: transformar o “falar com a boca” em “verificação por detalhes”. Assim, resolve-se o problema de “precisar provar algo e ao mesmo tempo manter segredo”.

▰ Mas essa tecnologia também tem uma grande desvantagem: gerar provas exige muito poder de processamento de computador.

É como quando, na escola, você gastava 10 minutos para resolver uma questão de matemática e precisava escrever um relatório de verificação absolutamente correto, verificando cada passo da solução. A carga de trabalho aumentava dezenas de vezes.

▰ Nesse momento, percebi o projeto @cysic_xyz e achei que eles estavam no caminho certo.

Enquanto todos usam GPU para gerar provas de conhecimento zero, já que as GPUs são boas em processar várias operações repetidas ao mesmo tempo.

Mas o problema é que as GPUs foram feitas para jogos e renderização de vídeos, não para esse tipo de tarefa.

O que @cysic_xyz quer fazer é criar chips específicos para provas de conhecimento zero, com todo o design voltado para “gerar provas de forma eficiente”.

Acho que eles têm uma visão bastante inovadora. Se conseguirem realizar isso, os custos das provas de conhecimento zero podem cair bastante, facilitando sua adoção em massa.

Na verdade, as provas de conhecimento zero não estão tão distantes de nós. No futuro, ao pagar contas de água e luz online, podemos evitar vazamento de dados; ao assinar documentos importantes, evitar alterações; e até na verificação de contas de jogos sem trapaças — tudo isso pode usar essa tecnologia.

E as inovações da @cysic_xyz em hardware podem ser o passo decisivo para levar essa tecnologia ao nosso cotidiano.