Como provar mentiras: o novo risco invisível da criptografia
Estudo revela vulnerabilidade em sistemas de validação de transações, destacando riscos em protocolos de blockchain. Especialistas alertam para a necessidade de compreensão e revisão crítica em tecnologia criptográfica.
Exemplo da Prova: Um professor verifica a lição de casa de um aluno escolhendo aleatoriamente 10 de 100 questões, acreditando que se essas estiverem certas, o restante também estará.
Desafio: Convencer uma escola inteira da veracidade sem interação direta. Sistemas similares são usados em blockchains e bancos para garantir que transações são verdadeiras, sem necessidade de revisar cada detalhe.
Método Utilizado: O truque chamado Fiat-Shamir transforma checagens interativas em provas verificáveis, utilizando funções hash.
Problema Identificado: Um novo estudo revelou que, mesmo com funções hash consideradas seguras, é possível criar provas falsas, enganando verificadores em sistemas de criptomoedas e blockchains.
Como Funciona o Ataque: Um programa malicioso pode prever perguntas aleatórias e preparar respostas falsas que parecem corretas, enganando os verificadores. Esse problema é aplicável em protocolos reais.
Aviso de Carl Sagan: A civilização moderna depende de ciência e tecnologia, mas o entendimento é limitado, levando a uma confiança cega nos sistemas.
Reação Necessária: O ataque é uma vulnerabilidade séria, mas não um colapso completo das blockchains. É essencial repensar projetos de protocolos críticos.
Futuro: O futuro requer:
- Humildade
- Curiosidade
- Responsabilidade coletiva
Leitura Complementar: Indicada pelo autor.