Anchorage Digital e Turnkey usam AWS Nitro Enclaves para comprovar a integridade do código que decodifica transações cripto
Aprofundamento CEVIU
Aprofundamento
O problema de fundo é o blind signing: a wallet não consegue exibir todos os efeitos de uma transação complexa e o usuário aprova um payload hex ou um resumo parcial. Atacantes exploram isso com aprovações de tokens para endereços sob seu controle, interações inesperadas com contratos e transferências escondidas em operações de várias etapas. Simuladores e decodificadores existentes exigem confiar num serviço de terceiros, sem como saber qual código rodou nem se o resultado voltou intacto.
O VisualSign Parser, em Rust e open source, converte transações em JSON legível. Roda em enclaves Nitro gerenciados pela Turnkey, com QuorumOS. O enclave assina a resposta com uma chave P-256 efêmera e pede ao Nitro Hypervisor um documento de atestação. Esse documento traz os PCRs (medições da imagem, do kernel e da aplicação), que o cliente compara com valores de builds reproduzíveis. Como o binário é sempre idêntico, os PCRs são determinísticos e a política de verificação não precisa ser atualizada a cada rebuild.
Para facilitar a verificação, a Anchorage publicou a awsnitroverifier, em Go. Ela valida a cadeia de certificados até a raiz Nitro e os PCRs, separa erro de parsing (err != nil) de falha de validação (result.Valid == false) e tem modo offline para testes em CI/CD. Há guia de migração para quem usa a nitrite. O visualsign-turnkeyclient oferece três níveis: assinatura P-256, boot attestation com PCRs e verificação completa do manifesto QuorumOS, incluindo o hash do binário da aplicação.
Por que isso importa
Para quem opera segurança em empresas que terceirizam computação sensível, o recado é trocar confiança em contrato, perímetro de rede e reputação por prova verificável do que está rodando. O padrão de acesso condicionado à atestação (no exemplo da fonte, um HSM que só libera material de chave após validar o enclave) vale também fora de cripto, como triagem AML e modelos sobre dados de saúde. É uma leitura editorial: a garantia depende de builds realmente reproduzíveis e de a wallet de fato conferir os PCRs.
Linha do tempo
CEVIU publica 'O que é Atestado de Instância EC2', sobre os enclaves Nitro como ambiente de execução confiável.
CEVIU noticia o AWS Nitro Isolation Engine, isolamento formalmente verificado entre VMs EC2.
Anchorage Digital e Turnkey detalham o VisualSign em Nitro Enclaves com atestação e a biblioteca awsnitroverifier.
Perguntas frequentes
O que é blind signing e por que é perigoso?
É aprovar uma transação cujos efeitos completos a wallet não consegue mostrar, geralmente só um hex bruto ou um resumo parcial. Atacantes escondem aprovações de tokens para endereços maliciosos ou transferências dentro de operações em várias etapas. O usuário assina sem entender o que autoriza.
Como a wallet sabe que o código do VisualSign não foi alterado?
O enclave devolve a resposta assinada e um documento de atestação do Nitro com os PCRs. A wallet compara esses valores com os derivados de builds reproduzíveis do código auditado. Se baterem, o binário é exatamente o esperado.
Para que serve a biblioteca awsnitroverifier?
Ela valida documentos de atestação de AWS Nitro Enclaves em Go, com checagem completa da cadeia de certificados e dos PCRs. Diferencia entrada malformada de falha de validação e dá mensagens de erro específicas. Qualquer organização pode usá-la para verificar seus próprios serviços no Nitro.
O padrão serve só para cripto?
Não. A fonte descreve um padrão de acesso condicionado à atestação, em que recursos sensíveis são liberados com base na prova do código em execução. Cita triagem de sanções e AML em instituições financeiras e modelos de diagnóstico sobre dados de pacientes como exemplos.
Fontes
- aws.amazon.comfonte original
- Categoria
- CEVIU Segurança da Informação
- Publicado
- 29 de outubro de 2026
- Editoria
- CEVIU Segurança da Informação

