Chiffrement post-quantique pour la messagerie
Sanket (Sanket.Chat) de Tosh Defence protège la messagerie par une cryptographie hybride post-quantique aux deux étapes de chaque conversation : établissement de session PQXDH avec une préclé post-quantique Kyber, puis mécanisme Sparse Post-Quantum Ratchet (SPQR) de Signal, qui intègre des secrets ML-KEM au Double Ratchet en cours. Le transport ajoute un échange de clés hybride X25519MLKEM768, proposé en priorité à la périphérie du réseau, afin de protéger le trafic enregistré contre les attaques consistant à le collecter aujourd'hui pour le déchiffrer plus tard.
Un adversaire peut enregistrer aujourd'hui le trafic chiffré et tenter de le déchiffrer lorsqu'un ordinateur quantique suffisamment puissant sera disponible. Les informations qui doivent rester confidentielles pendant des années nécessitent dès maintenant une protection post-quantique, que SANKET fournit grâce à libsignal de Signal, qui a fait l'objet d'un audit.
Protection post-quantique dès le premier message
Chaque session Sanket commence par PQXDH, l'extension post-quantique de X3DH. L'émetteur combine trois ou quatre échanges de clés X25519 avec une encapsulation Kyber utilisant l'une des préclés Kyber à usage unique de l'appareil du destinataire, puis dérive le secret de session de l'ensemble. Une personne qui enregistre aujourd'hui l'échange initial et obtient plus tard un ordinateur quantique ne peut pas en retrouver la clé de session.
L’installation vérifie avec libsignal la signature de chaque préclé Kyber avant de la stocker, et chaque ensemble de préclés doit contenir une préclé Kyber de dernier recours. Ainsi, aucune session ne démarre sans sa composante post-quantique.
Protection post-quantique pour toute la conversation : SPQR
La version de libsignal utilisée par Sanket exécute le mécanisme de cliquet post-quantique clairsemé de Signal parallèlement au Double Ratchet pour toutes les sessions, en intégrant des secrets dérivés de ML-KEM aux clés des messages. Signal appelle cette combinaison le triple cliquet. Pour retrouver les clés des messages, un attaquant doit compromettre à la fois les composants fondés sur les courbes elliptiques et les composants post-quantiques, pendant toute la durée de la conversation.
TLS hybride post-quantique
Avec TLS 1.3, le serveur en périphérie propose d'abord le groupe hybride X25519MLKEM768. Son secret partagé combine X25519 et ML-KEM-768 : une session enregistrée reste donc confidentielle tant que les deux ne sont pas compromis. Tout client dont la pile TLS propose ce groupe le négocie, et les connexions sortantes de l'installation le proposent également.
Les suites cryptographiques restent limitées à AES-256-GCM et le chiffrement symétrique utilise systématiquement des clés de 256 bits, une longueur de clé considérée comme suffisante face aux attaques quantiques connues.
- X25519MLKEM768 proposé en premier
- Suites de chiffrement AES-256-GCM uniquement
- Groupe négocié mesuré sans journaliser l'identité des personnes connectées
- Transcription de l'établissement de session authentifiée de bout en bout
Prêt pour la suite
Sanket est conçu pour s'adapter aux évolutions cryptographiques. libsignal est versionné : de nouvelles primitives peuvent donc être intégrées par une mise à jour de la bibliothèque, comme cela a été le cas pour PQXDH et SPQR. Les groupes cryptographiques de transport se configurent en périphérie du réseau, le chiffrement des appels suit un profil numéroté imposé par le serveur, et toutes les opérations AES-GCM de l'application passent par un composant commun à validation stricte. Les signatures hybrides Ed25519 et ML-DSA destinées aux versions et aux licences sont conçues et inscrites à la feuille de route ; elles seront activées lorsqu'une implémentation de ML-DSA ayant fait l'objet d'un audit indépendant sera disponible.
Démonstration technique
Consultez les détails dans le livre blanc de Sanket
Chaque affirmation de cette page est détaillée dans le livre blanc public sur la sécurité technique et l'architecture de SANKET, consultable gratuitement et sans inscription.
La messagerie SANKET est-elle sécurisée contre les attaques quantiques ?
La messagerie Sanket utilise une cryptographie hybride post-quantique pour l'établissement des sessions (PQXDH avec Kyber-1024) comme pour le renouvellement continu des clés (SPQR), au moyen de la bibliothèque officielle libsignal de Signal. Un attaquant doit compromettre à la fois les composants classiques et post-quantiques.
Qu’est-ce que PQXDH ?
PQXDH est l’extension post-quantique de Signal pour l’accord de clés X3DH. Elle ajoute un mécanisme d’encapsulation de clé Kyber aux accords X25519, de sorte qu’un échange de clés initial enregistré ne puisse pas être déchiffré ultérieurement à l’aide d’un ordinateur quantique. Elle a fait l’objet d’une analyse formelle.
Qu’est-ce que SPQR, le mécanisme à triple cliquet ?
SPQR est le mécanisme de ratchet post-quantique parcimonieux de Signal. Il fonctionne aux côtés du Double Ratchet et intègre des secrets dérivés de ML-KEM aux clés des messages, étendant ainsi la protection post-quantique du début de la session à l’ensemble de la conversation.
SANKET utilise-t-il TLS post-quantique ?
Oui. Le point d'entrée propose en priorité l'échange de clés hybride X25519MLKEM768 dans TLS 1.3, et l'installation le propose pour ses connexions sortantes. Les clients dont la pile TLS le prend en charge le négocient automatiquement.
Qu'est-ce que la collecte de données chiffrées en vue d'un déchiffrement ultérieur ?
Cette pratique consiste à enregistrer aujourd’hui des communications chiffrées afin de les déchiffrer lorsqu’un ordinateur quantique suffisamment puissant existera. L’établissement hybride de clés post-quantiques, tel qu’utilisé par SANKET, protège les communications enregistrées contre cette menace.
Le chiffrement AES-256 résiste-t-il aux attaques quantiques ?
AES-256 est considéré comme adéquat face aux attaques quantiques connues avec sa longueur de clé de 256 bits. C'est pourquoi Sanket utilise partout des clés symétriques de 256 bits.
Protégez les communications d’aujourd’hui contre les ordinateurs de demain
Contactez Tosh Defence pour discuter de l'architecture post-quantique et de l'agilité cryptographique de Sanket pour les informations sensibles à longue durée de vie.