Na segunda-feira (26), a OpenAI anunciou que um de seus sistemas de IA teria refutado a chamada Hipótese do Tempo Exponencial (ETH, na sigla em inglês), uma suposição antiga sobre a dificuldade de resolver certos problemas de lógica. A notícia logo despertou a pergunta que a comunidade cripto sempre faz diante de avanços em matemática e computação: isso ameaça a segurança do Bitcoin?
A resposta curta, com base no que foi divulgado até agora, é: não há nenhuma demonstração de ataque prático ao Bitcoin. Vamos entender o porquê.
Atenção: ETH aqui não é o Ether
A sigla é a mesma da segunda maior criptomoeda, mas o assunto é outro. A Hipótese do Tempo Exponencial trata de um problema clássico chamado 3-SAT: dado um conjunto de regras lógicas, o computador precisa encontrar uma combinação de valores verdadeiro/falso que satisfaça todas elas. A hipótese sustenta que, no pior caso, o tempo necessário para isso cresce de forma exponencial conforme aumenta o número de variáveis. É uma das premissas mais usadas por pesquisadores para medir o quanto certos problemas são, de fato, difíceis.
O que a OpenAI afirma ter feito
Segundo o manuscrito divulgado pela empresa, existiria um algoritmo determinístico capaz de contar, em tempo subexponencial, as soluções de fórmulas booleanas de largura fixa. Em termos simples, o tempo de execução cresceria mais devagar do que uma curva exponencial à medida que o problema aumenta. A OpenAI também diz que o resultado foi verificado no Lean, um assistente de provas matemáticas.
Mas há ressalvas importantes:
- A verificação no Lean, segundo a documentação da própria empresa, cobre um limite de tempo mais fraco do que a versão mais ambiciosa da afirmação.
- Os pesquisadores Russell Impagliazzo, Ramamohan Paturi e Ryan Williams foram convidados a organizar um exame independente e aberto, mas avisaram que sua participação não deve ser vista como certificação do resultado.
- O resultado não resolve o famoso problema P vs NP e não prova que existe um algoritmo de tempo polinomial para esses problemas.
Por que isso ainda não é uma ameaça ao Bitcoin
A segurança do Bitcoin se apoia em duas frentes diferentes, e nenhuma delas é atacada diretamente por esse anúncio:
- Mineração: os mineradores procuram um hash de cabeçalho de bloco que fique abaixo de um valor-alvo. É uma busca por força bruta, e um avanço teórico em SAT não entrega, por si só, uma vantagem real e medida na mineração.
- Assinaturas: gastar bitcoins exige uma assinatura digital (ECDSA ou Schnorr, na curva secp256k1). A segurança aqui depende de problemas como o logaritmo discreto em curvas elípticas e de funções hash, não de resolver fórmulas lógicas em geral.
Para transformar um avanço em SAT em um ataque real, seria preciso ainda codificar o problema criptográfico como uma fórmula lógica, implementar o método e comparar os custos com os de outras abordagens. Além disso, o número de variáveis de uma fórmula SAT não equivale ao tamanho em bits de uma chave ou de um hash, então não dá para simplesmente “plugar” os números do Bitcoin no resultado teórico. Até agora, não há tempos de ataque, tamanhos de codificação, testes de desempenho nem auditoria criptográfica independente que indiquem risco concreto.
Segundo o relato de Ryan Williams, ele pediu à OpenAI que verificasse se os criptossistemas atuais estariam comprometidos e foi informado de que aparentemente não. Vale lembrar que esse é um relato de segunda mão, e não uma auditoria independente. A própria OpenAI reconhece que transformar esses avanços teóricos em melhorias práticas exige muita pesquisa adicional.
O que observar daqui para frente
- O resultado do exame independente organizado pelos pesquisadores.
- Se a comunidade acadêmica confirmará ou apontará falhas na prova.
- Qualquer trabalho que tente, de forma concreta, aplicar o método a hashes ou assinaturas, algo que até agora não foi apresentado.
Conclusão
Se confirmado, o resultado seria um marco para a teoria da computação. Para o Bitcoin, porém, a distância entre “avanço teórico em lógica” e “ataque viável a mineração ou assinaturas” continua grande, e nada do que foi divulgado até agora a fecha. O mais sensato é acompanhar a revisão da comunidade científica antes de tirar conclusões, e desconfiar de manchetes que prometem o fim da segurança do Bitcoin.
Este conteúdo é informativo e não constitui recomendação de investimento. Criptoativos envolvem alto risco.
Fontes: CryptoSlate (reportagem original, em inglês)
