O documento
O protocolo, posto por escrito.
Um resumo do protocolo Asgard: as quatro camadas, as primitivas que cada uma usa e as normas de onde vêm. Está escrito para ser verificado. Onde algo está especificado e ainda não foi construído, a página di-lo.
- Protocolo
- Asgard
- Extensões de grupo
- intouch_hybrid_v1
- Base normativa
- CRYSTALS ronda 3 · RFC 9420
- Composição do protocolo
- Perfil híbrido Asgard
Quatro camadas, e todas as quatro híbridas
O Asgard combina primitivas clássicas e pós-quânticas para identidades, sessões, ratchets e grupos. A extensão de grupos requer as opções de compilação adequadas. Primitivas publicadas não substituem uma revisão independente da composição.
- 01
Identidade
Ed25519 + CRYSTALS-Dilithium
O material de identidade combina Ed25519 e CRYSTALS-Dilithium5. As chaves privadas de assinatura pertencem aos terminais dos participantes. Verifique que controlos de assinatura o cliente publicado e a instalação exigem.
- 02
Sessão
Hybrid X3DH · X25519 + CRYSTALS-Kyber1024 · HKDF
Uma sessão híbrida combina intercâmbios X25519 e encapsulamento CRYSTALS-Kyber1024 através de HKDF. As pré-chaves públicas do destinatário permitem iniciar uma sessão enquanto está offline.
- 03
Mensagem
Double Ratchet · new root = HKDF(DH_ratchet ‖ KEM_ratchet)
AES-256-GCM e Double Ratchet, com X25519 e CRYSTALS-Kyber1024 combinados nos passos assimétricos. A eliminação correta das chaves e novos intercâmbios são necessários para a proteção prevista.
- 04
Grupos
MLS (RFC 9420) + intouch_hybrid_v1
MLS (RFC 9420), com a extensão híbrida InTouch. A proteção híbrida dos grupos requer opções de compilação e clientes adequados; verifique a configuração da instalação.
Primitivas publicadas, composição InTouch
O Asgard utiliza as primitivas publicadas abaixo numa composição híbrida InTouch. As codificações CRYSTALS da terceira ronda diferem dos padrões finais ML-KEM e ML-DSA. Isto não constitui validação FIPS nem auditoria independente.
- Cifra simétrica
- AlgoritmoAES-256-GCM
- NormaNIST
- Robustez256 bits
- Troca de chaves
- AlgoritmoX25519
- NormaRFC 7748
- Robustez~128 bits clássicos
- Assinaturas
- AlgoritmoEd25519
- NormaRFC 8032
- Robustez~128 bits clássicos
- KEM pós-quântico
- AlgoritmoCRYSTALS-Kyber1024
- NormaCRYSTALS ronda 3
- RobustezNIST nível 5
- Assinaturas pós-quânticas
- AlgoritmoCRYSTALS-Dilithium5
- NormaCRYSTALS ronda 3
- RobustezNIST nível 5
- Derivação de chaves
- AlgoritmoHKDF-SHA-512
- NormaRFC 5869
- Robustez256 bits
- Protocolo de grupo
- AlgoritmoMLS
- NormaRFC 9420
- Robustez—
O que o servidor guarda
O servidor trata conteúdo encriptado, material público de verificação e metadados operacionais, incluindo membros dos Spaces e quem publica. As listas distinguem esses dados do conteúdo protegido e das chaves privadas.
Guardado
- Identificadores de conta e chaves públicas de verificação
- Mensagens encriptadas à espera de entrega
- Membros dos Spaces e quem publica
- Encaminhamento para destinatários, horários e volume de tráfego
- Cópias de segurança de chaves encriptadas, quando ativadas
Fora de alcance
- Conteúdo protegido das mensagens
- Campos e valores encriptados das mensagens
- Chaves privadas de desencriptação dos participantes
Contra o que isto não protege
A proteção depende de terminais seguros, opções de compilação e configuração da instalação. Destinatários autorizados e agentes podem conservar o que recebem. Os metadados continuam visíveis. Os algoritmos CRYSTALS da terceira ronda não usam as codificações FIPS finais ML-KEM e ML-DSA; não se afirma certificação nem auditoria independente concluída.
Disponibilidade da pesquisa de contactos
A revisão do código confirmou uma implementação de pesquisa de contactos ocultos no servidor. A integração cliente e a disponibilidade instalada continuam por verificar. Consulte a versão da aplicação e Segurança antes de depender desta proteção.
O que pode verificar hoje
Leia o resumo do protocolo, consulte o estado da segurança e compare identidades importantes por um canal de confiança.
- 01
Consultar o estado da segurança
Evidência de implementação, requisitos de instalação e proteções ainda à espera de verificação independente.
- 02
Vigie o registo de transparência
Os clientes verificam chaves em históricos assinados através de provas de inclusão e consistência. Observadores independentes precisam de comparar históricos para detetar vistas distintas, cada uma internamente consistente.
- 03
Compare um número de segurança
Compare os números de segurança por um canal independente com alguém cuja identidade já conhece.
Isto é a forma, não o todo.
Leia o resumo do protocolo e as notas de implementação. A publicação do código-fonte e uma auditoria independente concluída continuam pendentes.