Atualização de segurança do dstack — Reforço do pipeline de atestação

Como parte dos esforços contínuos de segurança do dstack, o pesquisador de segurança independente Rahul Saxena (Bluethroat Labs) identificou uma série de problemas no pipeline de verificação de atestados do dstack em janeiro de 2026. A equipe de engenharia do dstack trabalhou com o pesquisador para validar as descobertas, implementar correções e fortalecer a pilha de atestados. Todas as correções aceitas foram implementadas e não encontramos evidências de exploração em ambiente real.

Esta atualização reflete uma postura de Segurança por Padrão: anteriormente, algumas decisões de política de verificação eram deixadas para a configuração da camada de aplicação; agora, os padrões são mais rigorosos e as saídas do verificador são mais claras para evitar ambiguidades na semântica de “sinal verde”.

Resumindo:

O dstack está migrando de um modelo de infraestrutura flexível para uma arquitetura de “Segurança por Padrão”. Essas atualizações consolidam a lógica de verificação — anteriormente deixada para políticas definidas pelo usuário — em verificações obrigatórias em nível de infraestrutura para garantir um nível básico de segurança mais elevado para todas as implementações.

• Todas as descobertas aceitas foram corrigidas e implementadas. Nenhuma ação necessária para usuários do Phala Cloud. Para usuários do Dstack: Atualizem as imagens do Dstack para a versão 0.5.6. Usuários do dcap-qvl devem atualizar o dcap-qvl para a versão mais recente.
• Usuários do DstackApp.sol que desejam impor o status TCB = UpToDate devem atualizar para as alterações deste PR: https://github.com/Dstack-TEE/dstack/pull/498.
• Principais melhorias: Verificação de identidade QE, padrões de imposição de TCB mais rigorosos, atestado de GPU verificado na Central de Confiabilidade, remoção da URL PCCS controlada pelo cliente, verificação TLS agora opcional.

Cronograma

1. Jan 2026: Problemas relatados e triados com o pesquisador.
2. Jan–Fev 2026: Correções implementadas, revisadas e implantadas.
3. Fev 2026: Divulgação pública (esta publicação).

Resultados e Correções

1) Verificação de Identidade do QE (Crítico)

Problema: A biblioteca dcap-qvl não possuía validação obrigatória de identidade do Quoting Enclave (QE), o que poderia permitir que um verificador aceitasse cotações de um QE não autorizado.

Correção: A verificação de identidade do QE agora está integrada à biblioteca principal como uma verificação obrigatória. Isso transfere a responsabilidade pela validação do QE do desenvolvedor do aplicativo para a infraestrutura dstack. (GHSA-796p-j2gh-9m2q).

2) Aplicação do Status TCB (Alta)

Problema: O verificador fornecia o status TCB como um campo informativo, mas não aplicava políticas de rejeição para níveis TCB revogados ou desatualizados, o que poderia levar a configurações permissivas incorretas.

Correção: O verificador agora adota uma postura de segurança definida. As verificações de status TCB são aplicadas por padrão e o booleano is_valid foi descontinuado para garantir que os desenvolvedores lidem explicitamente com as avaliações de postura de segurança.

3) Verificação de Atestado de GPU (Baixa)

Problema: Os dados de atestado de GPU eram exibidos sem a verificação criptográfica da cadeia de certificados do dispositivo NVIDIA; a vinculação CPU↔GPU não era aplicada no nível da plataforma.

Solução: O Centro de Confiança foi atualizado com desafio baseado em nonce, verificação de citação NRAS e validação JWT. A verificação do modo CC da GPU em tempo de inicialização está planejada para uma futura versão do dstackOS.

4) SSRF via URL PCCS Controlada pelo Cliente (Baixa)

Problema: O parâmetro pccs_url permitia que os chamadores direcionassem solicitações do lado do servidor para endpoints arbitrários.

Solução: O parâmetro foi removido da API pública.

5) Semântica de Verificação de Log de Eventos (Baixa)

Problema: A semântica de event_log_verified poderia ser mal interpretada (reprodução de resumo vs. verificação semântica).

Solução: A documentação foi esclarecida. Os logs de eventos IMR 0–2 foram removidos na próxima versão para eliminar ambiguidades.

6) Verificação TLS para PCCS (Baixa)

Problema: A configuração padrão ignorava a verificação de certificado TLS para conexões PCCS, destinada ao desenvolvimento local, mas inadequada para produção.

Solução: O padrão foi alterado para “Verificado”. A verificação de certificado TLS agora é um requisito obrigatório, a menos que seja explicitamente desativada para ambientes de teste locais.

7) Atualização do Certificado RA-TLS (Compromisso de Projeto)

Avaliação: O RA-TLS do dstack segue o mesmo modelo arquitetônico do RA-TLS do Intel Gramine. A atestação vincula a chave privada do certificado às medições do TEE em vez de sessões individuais. O cenário proposto requer a extração da chave de dentro de uma CVM de produção; nesse caso, a solução correta é a revogação da medição, e não a atualização em nível de sessão.

Impacto

Todas as descobertas aceitas foram corrigidas e implementadas.

Nenhuma evidência de exploração em ambiente real.

Nenhuma ação é necessária por parte dos usuários do dstack ou integradores downstream. Os usuários do dcap-qvl devem atualizar para a versão mais recente.

Roteiro de Reforço de Segurança

• Integração de TEE com GPU: verificação do modo de Computação Confidencial em tempo de inicialização no dstack-os.
• Aprimoramentos da API do verificador: separação mais clara entre validade criptográfica e avaliação da postura de segurança.
• Programa formal de recompensas por bugs: avaliação de um programa estruturado.

Agradecimentos

Agradecemos a Rahul Saxena e GuyPhy (Bluethroat Labs) por identificarem esses problemas e por se envolverem durante todo o processo de correção. A pesquisa independente de segurança é essencial para a integridade da infraestrutura TEE e incentivamos a análise contínua do codeb do dstack.