Hoskinson diz que alerta de Buterin sobre IA poderia atrasar defesas quânticas da internet

O fundador da Cardano, Charles Hoskinson, acusou o cofundador da Ethereum, Vitalik Buterin, de enfraquecer a criptografia resistente a computadores quânticos com alertas especulativos sobre avanços matemáticos impulsionados por IA. Em uma publicação de 9 de outubro, Hoskinson contestou o ceticismo de Buterin em relação à criptografia baseada em reticulados. Hoskinson argumentou que décadas de pesquisa em segurança já haviam levado em conta as fragilidades conhecidas dessa tecnologia. Hoskinson alertou que incentivar desenvolvedores a abandonar abordagens estabelecidas poderia atrasar proteções já em implantação na infraestrutura da internet, deixando sistemas expostos a futuros ataques quânticos.

Buterin alertou que descobertas matemáticas assistidas por IA poderiam enfraquecer a criptografia desenvolvida para resistir a computadores quânticos. Buterin disse que o roteiro de longo prazo “enxuto” da Ethereum passou a priorizar assinaturas e provas baseadas em hash, evitando projetos baseados em reticulados. Hoskinson rejeitou esse raciocínio e acusou Buterin de estar excessivamente comprometido com a atual linha de pesquisa da Ethereum para reconsiderar a abordagem. A disputa envolve alternativas pós-quânticas às assinaturas de curva elíptica usadas por Bitcoin e Ethereum.

A preocupação de Buterin se baseia, em parte, na fatoração de inteiros, área em que avanços matemáticos, como o crivo geral do corpo de números, aprimoraram drasticamente as técnicas de ataque à criptografia RSA. Buterin sugeriu que a IA poderia condensar décadas de avanços matemáticos comparáveis em um período muito mais curto, potencialmente revelando atalhos inesperados contra sistemas baseados em reticulados. Hoskinson caracterizou o argumento contra os reticulados como um palpite sobre a estrutura matemática baseado no histórico do crivo geral do corpo de números. Hoskinson disse que esse crivo surgiu de técnicas envolvendo relações aritméticas e números suaves. Hoskinson afirmou que nenhum mecanismo comparável foi demonstrado contra os problemas de reticulados que fundamentam os padrões pós-quânticos modernos.

Hoskinson citou mais de quatro décadas de pesquisa, incluindo avanços em redução de reticulados e algoritmos de crivo. Hoskinson disse que esses avanços aprimoraram progressivamente os ataques sem produzir um avanço geral capaz de derrotar sistemas configurados adequadamente. O Instituto Nacional de Padrões e Tecnologia dos EUA padronizou o ML-KEM para encapsulamento de chaves e o ML-DSA para assinaturas digitais em 2024. Hoskinson disse que os parâmetros de segurança dos padrões levam em conta ataques conhecidos.

Hoskinson também rejeitou a sugestão ilustrativa de Buterin de que multiplicar por dez o tamanho das chaves poderia proteger a criptografia de chave pública contra avanços matemáticos impulsionados por IA. Hoskinson chamou esse multiplicador de “numerologia” e argumentou que os parâmetros de segurança devem ser ajustados de acordo com melhorias mensuráveis nos algoritmos de ataque. Uma mudança na eficiência dos ataques poderia justificar parâmetros moderadamente maiores. Um avanço matemático fundamental poderia exigir a substituição completa de um algoritmo.

Hoskinson contestou a suposição de que a criptografia baseada em hash oferece maior proteção contra descobertas matemáticas imprevistas. Hoskinson citou fragilidades históricas no MD5 e no SHA-1 como evidência de que funções hash podem conter estruturas exploráveis. No entanto, essas falhas não demonstram vulnerabilidades em construções modernas como o SHA-256. Hoskinson também criticou o Poseidon e o Poseidon2, funções hash projetadas para uso eficiente em provas de conhecimento zero e relevantes para a pesquisa criptográfica de longo prazo da Ethereum. A Fundação Ethereum financiou pesquisas sobre a resistência do Poseidon a ataques algébricos, incluindo investigações com bases de Gröbner e outros métodos de criptoanálise. Hoskinson argumentou que esses projetos também são alvos potenciais de descobertas matemáticas assistidas por IA e questionou por que os sistemas baseados em reticulados deveriam enfrentar maior ceticismo.

Assinaturas baseadas em hash podem permitir a autorização de transações resistente a computadores quânticos. Técnicas de reticulados também permitem o encapsulamento de chaves para criptografia e outras construções criptográficas avançadas. Portanto, abandonar a pesquisa sobre reticulados poderia limitar as opções dos desenvolvedores para sistemas de privacidade, comunicações seguras e outras aplicações que exigem esses recursos.