Vulnerabilidade GoFetch: Como Chaves Criptográficas são Expostas no Apple Silicon

Vulnerabilidades de canal colateral (side-channel) em processadores são historicamente difíceis de explorar, mas extremamente perigosas porque comprometem a segurança a nível de hardware. Uma das pesquisas de maior impacto no setor revelou a falha GoFetch, um ataque de canal colateral que afeta processadores Apple Silicon (séries M1, M2 e M3). A vulnerabilidade permite que atacantes locais extraiam chaves de criptografia secretas (como chaves privadas de RSA, Diffie-Hellman e Kyber) explorando o funcionamento lógico do Data Memory-dependent Prefetcher (DMP) do chip.

O DMP é um recurso de otimização de hardware projetado para carregar dados na memória cache antes que o processador os solicite, prevendo acessos baseados em padrões de ponteiros. Porém, o GoFetch descobriu uma falha lógica onde o DMP confunde o conteúdo das chaves criptográficas na memória com endereços de ponteiros, carregando-os acidentalmente na cache de dados.

⟩_ Como o DMP é Induzido ao Erro no GoFetch

Para evitar vazamentos de tempo (timing attacks), bibliotecas criptográficas são escritas em tempo constante (o tempo de execução do código é idêntico independentemente de a chave privada processada conter bits 0 ou 1).

No entanto, o Data Memory-dependent Prefetcher (DMP) analisa a memória procurando padrões que pareçam endereços de ponteiros (referências a outros endereços de memória) para pré-carregar os dados associados na cache. Se os bits de uma chave criptográfica assumirem valores que casem com a faixa de endereçamento de memória do processo local, o DMP ativará o pré-carregamento. O atacante monitora o tempo de acesso a essas posições de memória cache (técnicas de Prime+Probe) e consegue reconstruir a chave criptográfica bit a bit de forma passiva.

⟩_ Mitigação por Código: Computação Criptográfica Sem Ramificações (C)

Abaixo está um exemplo conceitual em linguagem C de como escrever operações lógicas de tempo constante para mascarar e evitar vazamento de padrões de bits de chaves na memória:

#include <stdint.h>

// Compara dois bytes em tempo constante para evitar ramificacoes lógicas (branches)
// que possam acionar prefetchers de hardware baseados em saltos lógicos
uint8_t constant_time_compare(const uint8_t *a, const uint8_t *b, size_t len) {
    uint8_t result = 0;
    for (size_t i = 0; i < len; i++) {
        // Operacao bitwise OR acumulada: se qualquer byte diferir, result sera diferente de 0
        result |= (a[i] ^ b[i]);
    }
    // Retorna 0 se forem identicos, ou 1 se diferirem
    return (result | -result) >> 7;
}

⟩_ Impacto da Mitigação na Performance dos Processadores

Como a vulnerabilidade reside na estrutura microarquitetônica física dos chips M1, M2 e M3, a Apple introduziu uma chave de controle de software (como o bit de controle `ACTLR.DIT` em processadores ARM) para desabilitar temporariamente o DMP durante execuções críticas. Isso exige que desenvolvedores atualizem suas bibliotecas criptográficas (como OpenSSL e BoringSSL) para ativar esse bloqueio de prefetcher de forma sob demanda, mitigando a vulnerabilidade às custas de um pequeno overhead de performance em operações de assinatura e cifragem.