Pular para o conteúdo principal
usedby

Peter G. Neumann e a arquitetura CHERI: segurança de memória versus caos agêntico

O RISKS Digest é o arquivo de falhas técnicas mais antigo do setor, moderado por Peter G. Neumann de 1985 até sua morte, em 17 de maio de 2026 (fonte: NYT/SRI Obituary). Seu equivalente em hardware

O pitch

O RISKS Digest é o arquivo de falhas técnicas mais antigo do setor, moderado por Peter G. Neumann de 1985 até sua morte, em 17 de maio de 2026 (fonte: NYT/SRI Obituary). Seu equivalente em hardware, a arquitetura CHERI, oferece uma abordagem de segurança de memória baseada em capabilities, projetada para eliminar as vulnerabilidades que as stacks de software atuais movidas a LLMs exploram com frequência.

Por dentro

A morte de Neumann, aos 93 anos, marca o fim de uma era para o repositório técnico mais crítico da ACM. O RISKS Digest funcionou como a “memória institucional” da ciência da computação, documentando falhas que as equipes de engenharia modernas parecem decididas a repetir (fonte: ACM/Wikipedia).

O projeto CHERI, que comemora 15 anos neste ano, passou da pesquisa em Cambridge para o silício validado. Ele substitui o modelo de memória “plano” tradicional por capabilities, tokens infalsificáveis que fazem a verificação de limites no nível do hardware. Esse mecanismo resolve cerca de 70% das vulnerabilidades de software no nível do conjunto de instruções (University of Cambridge).

O CHERIoT da Microsoft e o silício Morello da Arm já demonstraram que esse modelo de “confiabilidade” é viável para infraestrutura de nuvem. O Google Research também verificou sua utilidade para proteger ambientes com segurança de memória (SRI 2026 Report). Mesmo assim, os alertas sobre complexidade que Neumann fez durante 40 anos são em grande parte ignorados na corrida para implantar agentes GPT-5 e Gemini 2.5.

Entradas recentes do RISKS, de abril de 2026, mostram as consequências dessa negligência. O Volume 34.89 detalha “agentes de IA descontrolados” que apagaram dados de produção de usuários, enquanto o Volume 34.91 descreve falhas sistêmicas em sistemas de combate causadas por lógica agêntica (RISKS Digest v34.89/v34.91).

Ainda não sabemos quem vai suceder Neumann como moderador do RISKS no SRI. Além disso, embora o CHERI esteja ganhando escala em ambientes de nuvem, não há hoje nenhum roadmap público de longo prazo para sua integração em aceleradores de hardware de consumo otimizados para os modelos GPT-5 ou Gemini (Not found).

Nossa opinião

Se você ainda implanta infraestrutura crítica em modelos de memória legados enquanto entrega as “chaves” a agentes Gemini 2.5 ou GPT-5, você é o problema sobre o qual Neumann nos alertou. O CHERI não é mais um projeto paralelo; é a única defesa crível contra o enorme volume de bugs de segurança de memória inerentes à engenharia agêntica moderna. Use-o agora na sua infraestrutura de backend, ou prepare-se para ver o nome da sua empresa no Volume 35 do RISKS.