Magnetar (Microsoft): provas 10 a 39 vezes mais rápidas, em investigação

Um resultado informático chega normalmente acompanhado de uma pergunta: o programa correu realmente como foi declarado? Hoje, a resposta assenta na confiança em quem o executou, apoiada em contratos, auditorias e registos. As provas de conhecimento nulo (zero-knowledge) oferecem outro caminho. O programa é executado e, a par do seu resultado, produz um certificado criptográfico curto. Quem o tiver pode confirmar o resultado em milissegundos, sem voltar a executar o programa e sem ver os dados que utilizou.

A ideia data dos anos 1980, mas três obstáculos impediram que se tornasse uma ferramenta geral. Produzir uma prova exigiu historicamente milhões de vezes mais cálculo do que executar o próprio programa. Muitos sistemas obrigavam também os programadores a reescrever o programa à mão como circuito criptográfico, uma descrição aritmética fixa de um cálculo exato, tarefa que demora meses e tem de ser refeita a cada alteração. E muitas provas assentam em curvas elípticas, que um computador quântico suficientemente potente poderia quebrar. O Programa Quantum Safe da Microsoft vai migrar os seus produtos e serviços para criptografia pós-quântica, objetivo que foi recentemente acelerado para 2029.

A Microsoft Research trabalha no problema há mais de uma década. O seu sistema Spartan, de 2019, voltou à abordagem sum-check e tornou-a aplicável a programas gerais sem configuração de confiança, um passo inicial secreto cuja fuga permitiria a qualquer pessoa forjar provas. O Phalanx, em 2021, explorou a repetição, como um processador que executa o mesmo ciclo de instruções em cada passo, para provar cálculos uma ordem de grandeza mais depressa. O Magnetar, anunciado a 15 de outubro de 2026, prova programas escritos em Rust, Go ou C e assenta a sua segurança apenas em funções de hash padrão.

O principal valor é que o Magnetar é 10 a 39 vezes mais rápido, em média, do que os sistemas comparáveis mais rápidos anteriores. Estes números vêm do próprio anúncio da Microsoft Research. A publicação descreve um sistema de investigação e não menciona qualquer produto construído com base nele.

Para agentes de IA que atuam em nome de alguém, a ideia é que cada ação possa trazer uma prova de que cumpriu a política que lhe foi atribuída. Para instituições financeiras reguladas, mostraria que as transações foram processadas corretamente sem as tornar públicas. A Microsoft Research apresenta ambas as utilizações como possíveis quando produzir uma prova for tão rotineiro como executar o programa, mas não avança uma data para esse momento.