BloQBench: A Blockchain Benchmarking Framework for Quantum Supremacy
O artigo apresenta o BloQBench, um framework descentralizado baseado em Ethereum que utiliza enigmas classicamente intratáveis sem segredos pré-computados para fornecer uma garantia publicamente verificável e sem necessidade de confiança de supremacia quântica e para acionar automaticamente transições para esquemas criptográficos quântico-seguros após a demonstração bem-sucedida.
Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo
Imagine um mundo onde os computadores estão se tornando tão poderosos que podem resolver enigmas que levariam um supercomputador comum mais tempo do que a idade do universo para decifrar. Esta é a emocionante, e ligeiramente assustadora, fronteira da computação quântica. Pense em um computador quântico não como uma versão mais rápida do seu laptop, mas como uma chave mágica que pode abrir instantaneamente fechaduras que foram projetadas para serem inquebráveis por meios normais. A grande questão que os cientistas estão fazendo é: "Como sabemos com certeza quando um computador quântico realmente fez isso?"
Normalmente, quando alguém afirma "Eu consegui!", a pessoa apenas diz isso, e temos que confiar nela. Mas na ciência, confiança não é suficiente; precisamos de provas. O problema é que, se um enigma é difícil demais para um computador normal resolver, também é difícil demais para um computador normal verificar a resposta. É como pedir a alguém para resolver um labirinto mentalmente e depois pedir a você para verificar se a pessoa não trapaceou, mas você não consegue ver o labirinto. Este artigo aborda exatamente esse problema: Como criamos um teste que seja impossível para um computador normal falsificar, mas fácil de provar que é real, sem precisar confiar na pessoa que estabeleceu o teste?
O Mel de Abelha Digital: BloQBench
Os autores deste artigo, Nicholas J.C. Papadopoulos e Ramin Ayanzadeh, construíram uma armadilha digital chamada BloQBench. Imagine um enorme baú de tesouro público situado em uma rede global chamada blockchain (pense nisso como um grande livro de registro público imutável onde todos podem ver tudo o que acontece). Este baú está cheio de dinheiro, mas está trancado com 119 fechaduras diferentes e incrivelmente complexas.
Aqui está o truque de mágica: Ninguém, nem mesmo a pessoa que construiu o baú, sabe a combinação dessas fechaduras. As fechaduras são geradas por um programa de computador (um "smart contract" ou contrato inteligente) que as cria na hora usando um método que garante que não existam "segredos pré-computados". É como uma máquina de vendas que imprime aleatoriamente um enigma único e insolúvel toda vez que você aperta um botão, e a própria máquina esquece a resposta imediatamente após a impressão.
O desafio? As fechaduras são baseadas em fatoração de inteiros. Em termos simples, isso significa pegar um número enorme e bagunçado e descobrir quais dois números primos menores foram multiplicados para criá-lo. Para um computador comum, isso é como tentar "desassar" um bolo para encontrar os ovos e a farinha exatos usados; é praticamente impossível para números grandes. Mas para um computador quântico, usando um algoritmo especial, é como ter uma máquina do tempo que pode ver os ingredientes antes de serem misturados.
O Plano de Jogo: Como Funciona
O processo é configurado como um jogo de alto nível com um toque especial:
- A Configuração: O contrato inteligente gera 119 "fechaduras". Cada fechadura é um número composto por 4.608 bits (um número enorme). O contrato é projetado de modo que haja apenas uma chance em um bilhão de que todas essas fechaduras pudessem ser resolvidas por um computador comum. O objetivo é garantir que pelo menos uma delas seja verdadeiramente impossível de ser quebrada por um computador normal.
- A Recompensa: Existe um pote de dinheiro (uma "recompensa") no contrato. O artigo sugere um mínimo de 800.000.000 de gas (a moeda usada para pagar transações na rede Ethereum) para cobrir o custo de resolver os enigmas. Se o preço atual for 23,8 Gwei por unidade de gas, isso equivale a cerca de 19,04 ETH.
- A Corrida: Qualquer pessoa pode tentar resolver as fechaduras. Se você tiver um computador quântico (ou um gênio muito sortudo com um supercomputador), pode tentar encontrar os fatores primos.
- O Anti-Trapaça: Para evitar que as pessoas roubem as respostas umas das outras, o sistema usa um esquema de "commit-reveal" (compromisso e revelação). Você deve primeiro trancar sua resposta em um envelope digital (um hash) e esperar um dia. Após esse dia, você abre o envelope e mostra a resposta. Isso evita o "front-running", onde um agente mal-intencionado vê sua resposta chegando e a rouba antes que você possa reivindicar o prêmio.
- A Vitória: Se você resolver uma fechadura, o contrato a marca como "resolvida". Se você resolver a última e mais difícil fechadura, você recebe toda a recompensa, e uma grande bandeira na blockchain muda para "TRUE" (Verdadeiro). Esta bandeira é a prova inequívoca de que a supremacia quântica foi alcançada.
Por Que Isso Importa: O Interruptor Automático
A parte mais legal do BloQBench não é apenas o dinheiro; é o que acontece quando a bandeira muda. Atualmente, as blockchains usam segurança "clássica" (como RSA e ECDSA) para proteger seu dinheiro. Estas são seguras até que um computador quântico surja e as quebre.
O artigo propõe que o BloQBench atue como um gatilho automático. Imagine que sua conta bancária tenha um interruptor de segurança. Enquanto a "Bandeira Quântica" for falsa, o banco usa a segurança clássica, que é rápida e barata. Mas no momento em que alguém resolve o enigma e muda a bandeira para "TRUE", o sistema muda automaticamente para um novo sistema de segurança "à prova de quântica" (usando algo chamado assinaturas de Lamport).
Isso é crucial porque a nova segurança à prova de quântica é mais lenta e cara de usar. Se mudarmos para ela cedo demais, desperdiçamos dinheiro e atrasamos tudo. Se mudarmos tarde demais, nosso dinheiro será roubado. O BloQBench resolve isso esperando pelo exato momento em que a ameaça é provada real, e então aciona o interruptor instantaneamente.
O Que o Artigo Descarta
Os autores foram muito cuidadosos com o que eles não fizeram. Eles rejeitaram explicitamente várias outras ideias:
- Sem Geradores Confiáveis: Eles rejeitaram a ideia de ter um humano ou uma empresa gerando os enigmas. Se um humano faz o enigma, ele pode manter uma "porta dos fundos" secreta para resolvê-lo sozinho, o que arruína a prova.
- Sem "Busca de Ordem" (Order-Finding): Eles consideraram um tipo diferente de enigma matemático chamado "busca de ordem", mas descobriram que era caro demais para configurar na blockchain (custando mais de 6 bilhões de gas para implantar) comparado ao seu método de fatoração (que custou cerca de 237 milhões de gas).
- Sem Enigmas Inverificáveis: Eles rejeitaram "problemas de amostragem" (onde um computador gera padrões aleatórios) porque, embora sejam difíceis de fazer, também são difíceis de provar que estão corretos. Não é fácil verificar se o padrão está certo, portanto, não funciona como uma prova pública.
A Conclusão
O artigo não afirma que os computadores quânticos já venceram o mundo. Em vez disso, fornece um framework (estrutura) e uma ferramenta (BloQBench) para provar isso quando acontecer. Eles construíram o contrato, testaram e mostraram que funciona. Eles calcularam que resolver uma de suas fechaduras custaria cerca de 6.110.290 de gas para verificação, e resolver todas as 119 custaria cerca de 741.048.802 de gas.
Os autores sugerem que este sistema cria um "gradiente ajustável". Você poderia tornar as fechaduras mais fáceis para detectar sinais precoces de poder quântico, ou mantê-las super difíceis (como as fechaduras de 4.608 bits que escolheram) para esperar o momento em que os computadores quânticos possam quebrar os padrões de criptografia mais famosos do mundo, como o RSA.
Em resumo, o BloQBench é um árbitro imparcial, público e automatizado. Ele espera o computador quântico entrar em campo, resolve o enigma e, então, instantaneamente aciona o interruptor para proteger nosso mundo digital, sem que ninguém precise confiar em uma única pessoa. Ele transforma a corrida pela supremacia quântica em um jogo com um vencedor claro e uma rede de segurança garantida.
Afogado em artigos na sua área?
Receba digests diários dos artigos mais recentes que correspondam às suas palavras-chave de pesquisa — com resumos técnicos, no seu idioma.