Ethereum planeja substituir assinaturas BLS por esquemas pós-quânticos com LeanSig

A substituição de assinaturas BLS por LeanSig representa uma inflexão crítica na arquitetura criptográfica do Ethereum, motivada pela ameaça concreta de computadores quânticos capazes de executar o algoritmo de Shor. As assinaturas BLS, fundamentais para o consenso Proof of Stake desde a ativação da Beacon Chain, dependem de curvas elípticas e perderiam toda segurança diante de um ataque quântico de escala suficiente. O LeanSig contorna isso com um esquema baseado em hash (derivado de XMSS e árvores de Merkle), tecnicamente resistente a ataques quânticos conhecidos, mas com uma troca arquitetural: sacrifica a agregação algébrica que torna as BLS tão eficientes para consenso distribuído.

A leanVM, máquina virtual zkVM baseada em hash inspirada em Cairo, resolve o gargalo de agregação através de provas criptográficas e verificação formal com o assistente Lean, garantindo correção matemática. Esse movimento alinha-se ao reposicionamento estratégico da Ethereum Foundation anunciado por Vitalik Buterin em maio, que elevou a segurança (security) como pilar CROPS central: a transição pós-quântica é simultaneamente um exercício de resiliência de longo prazo e de reconhecimento de que a defesa do protocolo é tão importante quanto sua inovação funcional.

Até maio de 2026, a Ethereum Foundation havia sinalizado priorização em propriedades de segurança, mas sem anúncio concreto de substituição de primitivas criptográficas. A proposta do LeanSig em junho materializa essa intenção estratégica em um roadmap técnico específico: muda o Ethereum de um protocolo baseado em curvas elípticas para um baseado em hashing, eliminando completamente a vulnerabilidade ao algoritmo de Shor. Essa não é uma melhoria incremental, mas uma migração de infraestrutura que afeta aproximadamente 1 milhão de validadores e o consenso de toda a rede.

A segurança do consenso do Ethereum contra ataques quânticos é existencial para os ativos que o protocolo protege. Conforme análises recentes, o Ethereum defende cerca de US$ 250 bilhões em ativos (stablecoins, colateral de bridges L2, RWAs tokenizados e BTC), uma responsabilidade que justifica investimento defensivo em criptografia pós-quântica mesmo antes de máquinas quânticas práticas existirem. A adoção de LeanSig demonstra que a Ethereum Foundation está operacionalizando sua recém-declarada ênfase em segurança como propriedade fundamental.

Além disso, a escolha de leanVM e verificação formal com o assistente Lean reflete um padrão na indústria: as stacks mais críticas (como supply chain security da IBM com Project Lightwell) estão migrando para abstrações formalmente verificáveis. Para o Ethereum, essa é uma oportunidade de estabelecer o padrão de ouro em segurança pós-quântica antes que competitors abordem o problema.