Postkwantumversleuteling voor berichtenuitwisseling
Sanket (Sanket.Chat) van Tosh Defence beschermt berichtenverkeer met hybride postkwantumcryptografie in beide fasen van elk gesprek: het opzetten van de sessie met PQXDH en een postkwantumvoorsleutel van Kyber, en de Sparse Post-Quantum Ratchet (SPQR) van Signal, die ML-KEM-geheimen in de doorlopende Double Ratchet mengt. De overdracht voegt hybride sleuteluitwisseling met X25519MLKEM768 toe, die als eerste aan de netwerkrand wordt aangeboden. Zo is vastgelegd verkeer beschermd tegen aanvallen waarbij verkeer nu wordt onderschept om het later te ontsleutelen.
Een tegenstander kan versleuteld verkeer nu vastleggen en proberen het te ontsleutelen zodra er een voldoende krachtige kwantumcomputer beschikbaar is. Informatie die jarenlang vertrouwelijk moet blijven, heeft nu bescherming tegen kwantumaanvallen nodig. SANKET biedt die bescherming via het onafhankelijk gecontroleerde libsignal van Signal.
Postkwantumbescherming vanaf het eerste bericht
Elke sessie van Sanket begint met PQXDH, de uitbreiding van X3DH die bescherming biedt tegen aanvallen met kwantumcomputers. De initiërende partij combineert drie of vier X25519-sleuteluitwisselingen met een Kyber-inkapseling op basis van een eenmalig te gebruiken Kyber-voorsleutel van het apparaat van de ontvanger en leidt uit al deze elementen het sessiegeheim af. Iemand die de sleuteluitwisseling vandaag vastlegt en later over een kwantumcomputer beschikt, kan daaruit de sessiesleutel niet achterhalen.
De installatie verifieert elke handtekening van een Kyber-voorafsleutel met libsignal voordat deze wordt opgeslagen, en elke bundel voorafsleutels moet een Kyber-reservevoorafsleutel bevatten, zodat een sessie nooit zonder zijn postkwantumcomponent begint.
Postkwantumbescherming voor het hele gesprek: SPQR
De versie van libsignal die Sanket gebruikt, laat voor alle sessies de Sparse Post-Quantum Ratchet van Signal naast de Double Ratchet werken en verwerkt met ML-KEM afgeleide geheimen in de berichtsleutels. Signal noemt deze combinatie de Triple Ratchet. Om berichtsleutels te achterhalen, moet een aanvaller gedurende de gehele looptijd van het gesprek zowel de elliptischekrommecomponent als de postkwantumcomponent kraken.
Hybride postkwantum-TLS
Bij TLS 1.3 biedt de toegangspoort eerst de hybride groep X25519MLKEM768 aan. Het gedeelde geheim daarvan combineert X25519 met ML-KEM-768, zodat een opgenomen sessie vertrouwelijk blijft tenzij beide worden gekraakt. Elke client waarvan de implementatie van TLS deze groep aanbiedt, onderhandelt over het gebruik ervan. De installatie biedt de groep ook aan voor haar eigen uitgaande verbindingen.
De cijfersuites blijven beperkt tot AES-256-GCM en symmetrische versleuteling gebruikt overal sleutels van 256-bit, een sleutellengte die als toereikend wordt beschouwd tegen bekende kwantumaanvallen.
- X25519MLKEM768 wordt als eerste aangeboden
- Uitsluitend AES-256-GCM-cijfersuites
- Onderhandelde groep gemeten zonder vast te leggen wie verbinding maakte
- Het transcript van de sleuteluitwisseling is van eindpunt tot eindpunt geauthenticeerd
Klaar voor wat volgt
Sanket is ontworpen om flexibel op nieuwe cryptografie te kunnen overstappen. libsignal werkt met versies, zodat nieuwe cryptografische bouwstenen beschikbaar komen bij een versie-upgrade van de bibliotheek, zoals bij PQXDH en SPQR. Cryptografische groepen voor de transportlaag worden aan de netwerkrand geconfigureerd, gespreksversleuteling volgt een genummerd profiel dat de server afdwingt en alle AES-GCM-bewerkingen in de toepassing lopen via één strikt gecontroleerde hulpfunctie. Hybride handtekeningen met Ed25519 en ML-DSA voor softwareversies en licenties zijn ontworpen en staan op de ontwikkelplanning. Ze worden ingeschakeld zodra een onafhankelijk gecontroleerde implementatie van ML-DSA beschikbaar is.
Technische onderbouwing
Lees de details in de whitepaper van SANKET
Elke bewering op deze pagina wordt volledig uiteengezet in het openbare technische witboek over de beveiliging en architectuur van Sanket, dat zonder registratie gratis te lezen is.
Biedt SANKET postkwantumveilige berichtenuitwisseling?
Voor berichtenuitwisseling gebruikt Sanket hybride postkwantumcryptografie, zowel voor het opzetten van sessies (PQXDH met Kyber-1024) als voor het doorlopende ratelmechanisme (SPQR), via het officiële libsignal van Signal. Een aanvaller moet zowel de klassieke als de postkwantumcomponent doorbreken.
Wat is PQXDH?
PQXDH is de postkwantumuitbreiding van Signal voor de sleuteluitwisseling met X3DH. Deze voegt Kyber-sleutelencapsulatie toe aan de uitwisselingen met X25519, zodat een vastgelegde initiële sleuteluitwisseling later niet met een kwantumcomputer kan worden ontsleuteld. Dit is formeel geanalyseerd.
Wat is SPQR, de drievoudige ratel?
SPQR is de Sparse Post-Quantum Ratchet van Signal. Deze werkt naast de Double Ratchet en voegt uit ML-KEM afgeleide geheimen toe aan berichtsleutels, waardoor de postkwantumbescherming zich uitstrekt van het begin van de sessie tot het hele gesprek.
Gebruikt SANKET postkwantum-TLS?
Ja. Aan de netwerkrand wordt bij TLS 1.3 eerst hybride X25519MLKEM768-sleuteluitwisseling aangeboden; de installatie biedt deze ook aan voor uitgaande verbindingen. Clients met een TLS-implementatie die dit ondersteunt, onderhandelen er automatisch over.
Wat houdt nu verzamelen en later ontsleutelen in?
Dit houdt in dat versleuteld verkeer nu wordt vastgelegd om het te ontsleutelen zodra er een voldoende krachtige kwantumcomputer bestaat. Hybride postkwantumsleuteluitwisseling, zoals gebruikt door Sanket, beschermt vastgelegd verkeer hiertegen.
Is AES-256 bestand tegen kwantumaanvallen?
AES-256 wordt met een sleutellengte van 256 bit als afdoende beschouwd tegen bekende kwantumaanvallen. Daarom gebruikt Sanket overal symmetrische sleutels van 256 bit.
Bescherm de communicatie van vandaag tegen de computers van morgen
Bespreek met Tosh Defence het postkwantumontwerp en de cryptografische wendbaarheid van SANKET voor gevoelige informatie die langdurig beschermd moet blijven.