Auditor de IA zkao encontra falha crítica de solidez na biblioteca convidada zkVM da OpenVM
O auditor de IA da ZK/SEC, zkao, descobriu um bug crítico de solidez na biblioteca convidada openvm-pairing do OpenVM. O bug permite que um provador malicioso forje qualquer igualdade de pareamento, quebrando a solidez do Groth16, PLONK com KZG e assinaturas BLS que dependem da biblioteca vulnerável. O problema foi registrado como CVE-2026-46669 e corrigido no OpenVM 1.6.0.
Como foi encontrado
A ZK/SEC examinou o OpenVM como parte de um experimento de IA usando Opus 4.6, 4.7 e Codex 5.3, 5.4 com prompts simples e habilidades mantidas por especialistas. Execuções iniciais retornaram descobertas válidas, mas não exploráveis. A equipe então implantou o zkao, seu auditor de IA especializado, que após mais de 9,5 horas de varredura produziu muitas descobertas. Uma triagem rápida identificou o problema crítico de pareamento com um PoC mínimo gerado pelo próprio zkao.
O bug em resumo
| Bug | Severidade IA | Severidade OpenVM | Commit de correção | Encontrado por |
|---|---|---|---|---|
| Verificação de pareamento openvm-pairing sem verificação de subcorpo adequada no fator de escala | Crítico | Crítico | a720e2c | zkao |
Impacto
Pareamentos são o motor por trás do Groth16, PLONK com KZG e assinaturas BLS. Um verificador normalmente verifica se um produto de pareamentos é igual a um. Se um provador pode fazer um produto de pareamento falso parecer um, tudo construído sobre isso deixa de ser sólido. O bug está especificamente na verificação de pareamento que não faz uma verificação adequada de subcorpo no fator de escala.
Nota: Isso não é um bug no sistema de prova do zkVM em si — apenas código que usa a biblioteca openvm-pairing vulnerável é afetado.
Detalhes técnicos
O pipeline de IA da ZK/SEC usa uma arquitetura modular: subagentes analisam módulos de código individuais para suposições e invariantes, e então um agente principal combina as descobertas. Para bases de código complexas como o OpenVM, a caça isolada a bugs é insuficiente; o segredo é capturar violações de invariantes entre módulos. A ZK/SEC planeja publicar mais detalhes técnicos em um post subsequente.
📖 Leia a fonte completa: HN LLM Tools
👀 See Also
Três alternativas de código aberto ao litellm após o ataque à cadeia de suprimentos do PyPI
As versões 1.82.7 e 1.82.8 do litellm no PyPI foram comprometidas com malware que rouba credenciais. Três alternativas de código aberto incluem Bifrost (baseado em Go, ~50x mais rápido na latência P99), Kosong (orientado a agentes do Kimi) e Helicone (gateway de IA com análises).
Gerenciamento de cluster OpenClaw: mantenha o caminho de recuperação fora do cluster
Uma topologia mais segura para clusters gerenciados pelo OpenClaw: execute o Gateway e o estado das tarefas fora, use acesso somente leitura e conduza mudanças via PRs + CI + merge aprovado por humano no Argo CD.
McpVanguard: Proxy de segurança de código aberto para agentes de IA baseados em MCP
McpVanguard é um proxy de segurança e firewall de 3 camadas que fica entre agentes de IA e ferramentas MCP, adicionando proteção contra injeção de prompt, travessia de caminho e outros ataques com cerca de 16ms de latência.
Site falso do Claude distribui malware PlugX por meio de ataque de sideloading
Um site falso do Claude serve um instalador trojanizado que implanta o malware PlugX através de DLL sideloading, dando aos atacantes acesso remoto a sistemas comprometidos. O ataque usa um atualizador do antivírus G DATA assinado legitimamente para carregar código malicioso.