Encriptação pós-quântica para mensagens
O Sanket (Sanket.Chat) da Tosh Defence protege as mensagens com criptografia híbrida pós-quântica nas duas fases de cada conversa: estabelecimento da sessão por PQXDH com uma pré-chave pós-quântica Kyber e o mecanismo de atualização de chaves pós-quântico esparso do Signal (SPQR), que incorpora segredos ML-KEM no Double Ratchet em curso. O transporte acrescenta o estabelecimento híbrido de chaves X25519MLKEM768, oferecido primeiro no ponto de entrada da rede, para proteger o tráfego gravado contra ataques de captura agora para decifrar mais tarde.
Um adversário pode registrar hoje o tráfego criptografado e tentar descriptografá-lo quando houver um computador quântico capaz disso. Informações que precisam permanecer confidenciais por anos exigem proteção pós-quântica desde já, e SANKET a oferece por meio da libsignal do Signal, submetida a auditoria.
Proteção pós-quântica desde a primeira mensagem
Cada sessão de Sanket começa com PQXDH, a extensão pós-quântica de X3DH. O dispositivo que inicia a sessão combina três ou quatro acordos de chaves X25519 com uma encapsulação Kyber destinada a uma das pré-chaves Kyber de utilização única do dispositivo destinatário e deriva o segredo da sessão a partir de todos esses elementos. Quem registar hoje a negociação inicial e vier mais tarde a obter um computador quântico não conseguirá recuperar a chave de sessão a partir desse registo.
A instalação verifica com libsignal a assinatura de cada pré-chave Kyber antes de a armazenar, e cada conjunto de pré-chaves tem de incluir uma pré-chave Kyber de último recurso, para que nenhuma sessão comece sem a sua componente pós-quântica.
Proteção pós-quântica para toda a conversa: SPQR
A versão do libsignal utilizada pelo SANKET executa o mecanismo de evolução pós-quântica esparsa do Signal em paralelo com o Double Ratchet em todas as sessões, combinando segredos derivados de ML-KEM nas chaves das mensagens. O Signal chama a esta combinação mecanismo de evolução tripla de chaves. Para recuperar as chaves das mensagens, um atacante tem de quebrar tanto o componente de curva elíptica como o componente pós-quântico, ao longo de toda a conversa.
TLS híbrido pós-quântico
Em TLS 1.3, o servidor de perímetro oferece primeiro o grupo híbrido X25519MLKEM768. O segredo partilhado combina X25519 com ML-KEM-768, pelo que uma sessão gravada permanece confidencial, salvo se ambos forem comprometidos. Qualquer cliente cuja implementação de TLS ofereça o grupo negoceia a sua utilização, e as ligações de saída da própria instalação também o oferecem.
Os conjuntos de algoritmos criptográficos continuam a utilizar exclusivamente AES-256-GCM, e a encriptação simétrica utiliza sempre chaves de 256 bits, um comprimento considerado adequado perante os ataques quânticos conhecidos.
- X25519MLKEM768 oferecido em primeiro lugar
- Apenas conjuntos de algoritmos AES-256-GCM
- Grupo negociado medido sem registar quem se ligou
- Registro da negociação inicial autenticado de ponta a ponta
Preparado para o que vem a seguir
SANKET foi concebido para permitir a evolução dos seus mecanismos criptográficos. A libsignal tem controlo de versões, pelo que novos componentes criptográficos chegam com a atualização da biblioteca, como aconteceu com PQXDH e SPQR. Os grupos criptográficos de transporte são configurados na periferia da rede, a encriptação das chamadas segue um perfil numerado imposto pelo servidor e todas as operações AES-GCM da aplicação passam por uma única função auxiliar com validação rigorosa. As assinaturas híbridas Ed25519 e ML-DSA para versões e licenças estão concebidas e previstas no plano de desenvolvimento, para serem ativadas quando estiver disponível uma implementação de ML-DSA auditada de forma independente.
Comprovação técnica
Veja os detalhes no documento técnico da Sanket
Todas as afirmações desta página são apresentadas integralmente no documento técnico público da SANKET sobre segurança e arquitetura, disponível para leitura gratuita sem registo.
A aplicação SANKET oferece mensagens seguras contra ataques pós-quânticos?
As mensagens de SANKET utilizam criptografia pós-quântica híbrida tanto para o estabelecimento de sessões (PQXDH com Kyber-1024) como para a evolução contínua das chaves (SPQR), através da libsignal oficial de Signal. Um atacante teria de quebrar tanto a componente clássica como a componente pós-quântica.
O que é PQXDH?
PQXDH é a extensão pós-quântica do Signal para a negociação de chaves X3DH. Acrescenta um encapsulamento de chave Kyber às negociações X25519, impedindo que uma negociação inicial registada seja posteriormente desencriptada com um computador quântico. Foi objeto de análise formal.
O que é SPQR, o mecanismo Triple Ratchet?
SPQR é o mecanismo de catraca pós-quântica esparsa do Signal. Funciona em paralelo com o Double Ratchet e incorpora segredos derivados de ML-KEM nas chaves das mensagens, alargando a proteção pós-quântica do início da sessão a toda a conversa.
O SANKET utiliza TLS pós-quântico?
Sim. Os servidores de acesso oferecem prioritariamente a troca de chaves híbrida X25519MLKEM768 em TLS 1.3, e a instalação oferece-a nas suas ligações de saída. Os clientes cuja implementação de TLS a suporte estabelecem-na automaticamente.
O que significa recolher agora para desencriptar mais tarde?
É a prática de registar hoje tráfego cifrado para o decifrar quando existir um computador quântico com capacidade para tal. O estabelecimento híbrido de chaves pós-quântico, utilizado pelo SANKET, protege o tráfego registado contra essa prática.
O AES-256 é resistente a ataques quânticos?
O AES-256, com chaves de 256 bits, é considerado adequado contra os ataques quânticos conhecidos. Por isso, o Sanket utiliza chaves simétricas de 256 bits em todo o sistema.
Proteja as comunicações de hoje contra os computadores de amanhã
Fale com Tosh Defence sobre a arquitetura pós-quântica e a agilidade criptográfica de Sanket para informações sensíveis que exigem proteção a longo prazo.