Le document
Le protocole, écrit noir sur blanc.
Un résumé du protocole Asgard : les quatre couches, les primitives que chacune emploie et les normes dont elles proviennent. C'est écrit pour être vérifié. Là où une chose est spécifiée sans avoir encore été construite, la page le dit.
- Protocole
- Asgard
- Extensions de groupe
- intouch_hybrid_v1
- Base normative
- CRYSTALS round 3 · RFC 9420
- Composition du protocole
- Profil hybride Asgard
Quatre couches, hybrides toutes les quatre
Asgard associe primitives classiques et post-quantiques pour les identités, sessions, ratchets et groupes. L’extension de groupe exige les options de compilation appropriées. Des primitives publiées ne remplacent pas un examen indépendant de leur composition.
- 01
Identité
Ed25519 + CRYSTALS-Dilithium
Les éléments d’identité associent Ed25519 et CRYSTALS-Dilithium5. Les clés privées de signature appartiennent aux terminaux des participants. Vérifiez les contrôles de signature imposés par le client publié et le déploiement.
- 02
Session
Hybrid X3DH · X25519 + CRYSTALS-Kyber1024 · HKDF
Une session hybride associe échanges X25519 et encapsulation CRYSTALS-Kyber1024 via HKDF. Les pré-clés publiques du destinataire permettent de démarrer une session pendant son absence.
- 03
Message
Double Ratchet · new root = HKDF(DH_ratchet ‖ KEM_ratchet)
AES-256-GCM et un Double Ratchet, avec X25519 et CRYSTALS-Kyber1024 combinés aux étapes asymétriques. L’effacement correct des clés et de nouveaux échanges sont nécessaires à la protection prévue.
- 04
Groupes
MLS (RFC 9420) + intouch_hybrid_v1
MLS (RFC 9420), avec l’extension hybride InTouch. La protection hybride des groupes exige les options de compilation et clients appropriés ; vérifiez la configuration de votre déploiement.
Primitives publiées, composition InTouch
Asgard utilise les primitives publiées ci-dessous dans une composition hybride InTouch. Ses encodages CRYSTALS du troisième tour diffèrent des normes finales ML-KEM et ML-DSA. Cela ne constitue ni une validation FIPS ni un audit indépendant.
- Chiffrement symétrique
- AlgorithmeAES-256-GCM
- NormeNIST
- Robustesse256 bits
- Échange de clés
- AlgorithmeX25519
- NormeRFC 7748
- Robustesse~128 bits classiques
- Signatures
- AlgorithmeEd25519
- NormeRFC 8032
- Robustesse~128 bits classiques
- KEM post-quantique
- AlgorithmeCRYSTALS-Kyber1024
- NormeCRYSTALS round 3
- RobustesseNIST niveau 5
- Signatures post-quantiques
- AlgorithmeCRYSTALS-Dilithium5
- NormeCRYSTALS round 3
- RobustesseNIST niveau 5
- Dérivation de clés
- AlgorithmeHKDF-SHA-512
- NormeRFC 5869
- Robustesse256 bits
- Protocole de groupe
- AlgorithmeMLS
- NormeRFC 9420
- Robustesse—
Ce que le serveur détient
Le relais traite le contenu chiffré et les éléments publics de vérification. Il traite aussi des métadonnées opérationnelles, notamment les membres des Spaces et les auteurs des messages. Les listes distinguent ces données du contenu protégé et des clés privées.
Détenu
- Identifiants des comptes et clés publiques de vérification
- Messages chiffrés en attente de livraison
- Membres des Spaces et auteurs des messages
- Routage vers les destinataires, horaires et volume du trafic
- Sauvegardes de clés chiffrées, si activées
Hors d'atteinte
- Contenu protégé des messages
- Champs et valeurs chiffrés des messages
- Clés privées de déchiffrement des participants
Ce que cela ne protège pas
La protection dépend de terminaux sûrs, des bonnes options de compilation et des paramètres de déploiement. Destinataires autorisés et agents peuvent conserver ce qu’ils reçoivent. Les métadonnées restent visibles. Les algorithmes CRYSTALS du troisième tour n’utilisent pas les encodages FIPS finaux ML-KEM et ML-DSA ; aucune certification ni audit indépendant achevé n’est revendiqué.
Disponibilité de la recherche de contacts
L’examen du code a confirmé une implémentation serveur de recherche de contacts à l’aveugle. L’intégration client et la disponibilité déployée restent non vérifiées. Consultez la version de l’application et la page Sécurité avant de vous y fier.
Ce que vous pouvez vérifier aujourd’hui
Lisez le résumé du protocole, consultez l’état de la sécurité et comparez les identités importantes par un canal de confiance.
- 01
Consulter l’état de la sécurité
Les éléments d’implémentation, exigences de déploiement et protections en attente de vérification indépendante.
- 02
Surveillez le journal de transparence
Les clients vérifient les clés dans des historiques signés grâce aux preuves d’inclusion et de cohérence. Des observateurs indépendants doivent comparer leurs historiques pour détecter des vues distinctes, chacune cohérente en elle-même.
- 03
Comparez un numéro de sécurité
Comparez les numéros de sécurité par un canal indépendant avec une personne dont vous connaissez déjà l’identité.
Ceci en est la forme, pas la totalité.
Lisez le résumé du protocole et les notes d’implémentation. La publication du code source et un audit indépendant achevé restent à venir.