Categorias: Tecnologia
Google DeepMind lançou o AlphaProof Code e verificou formalmente propriedades de segurança do código do protocolo Signal em quatro semanas.
Leia mais
Categorias: Inteligência Artificial
Pesquisadores do Google DeepMind verificaram formalmente garantias criptográficas do protocolo Signal com o framework AlphaProof Code em cerca de quatro semanas, sem encontrar novas vulnerabilidades nas partes analisadas.
Leia mais
Categorias: Tecnologia
Pesquisa anunciada em 6 de novembro mostra que agentes de IA guiados por humanos encontraram duas fraquezas na criptografia RSA-1024, já aposentada — sem ameaçar as chaves de 2048 bits usadas hoje.
Leia mais
Categorias: Tecnologia
DeepMind agentes de IA RSA 1024 bits encontram fraquezas em padding de assinaturas e fatoração em lote. Chaves modernas de 2048 bits permanecem seguras.
Leia mais
Categorias: Segurança
Agentes de IA do DeepMind, guiados por humanos, expõem duas falhas em RSA de 1024 bits; chaves modernas de 2048 bits permanecem seguras.
Leia mais
Categorias: Tecnologia
Pesquisadores da empresa francesa Alice & Bob estimam, em estudo ainda sem revisão por pares, que 22.593 qubits do tipo 'cat' seriam suficientes para quebrar a criptografia RSA-2048 em 3,14 dias — mas nenhuma máquina desse porte existe hoje.
Leia mais
Categorias: Inteligência Artificial
O Frontier Red Team da Anthropic liberou um proótipo open source que anexa provas zkSNARK às respostas de modelos, permitindo verificar a origem sem revelar os pesos. Testado em Llama 4 Maverick a cerca de 110 tokens/s em uma H100.
Leia mais
Categorias: Inteligência Artificial
O protótipo open source da Anthropic permite confirmar criptograficamente que uma resposta veio de um modelo específico sem revelar seus pesos, com testes em Llama 4 Maverick a cerca de 110 tokens por segundo.
Leia mais