Crittografia post-quantistica per la messaggistica
SANKET (Sanket.Chat) di Tosh Defence protegge la messaggistica con crittografia ibrida post-quantistica in entrambe le fasi di ogni conversazione: l'instaurazione della sessione tramite PQXDH con una prechiave post-quantistica Kyber e il meccanismo Sparse Post-Quantum Ratchet (SPQR) di Signal, che integra segreti ML-KEM nel Double Ratchet durante la conversazione. Il trasporto aggiunge lo scambio ibrido di chiavi X25519MLKEM768, offerto come prima opzione al punto di accesso alla rete, così il traffico registrato è protetto dagli attacchi che raccolgono dati oggi per decifrarli in futuro.
Un avversario può registrare oggi il traffico cifrato e tentare di decifrarlo quando sarà disponibile un computer quantistico sufficientemente potente. Le informazioni che devono restare riservate per anni hanno bisogno di protezione post-quantistica fin da ora, e Sanket la fornisce tramite libsignal, la libreria di Signal sottoposta a verifiche indipendenti.
Protezione post-quantistica fin dal primo messaggio
Ogni sessione Sanket inizia con PQXDH, l'estensione post-quantistica di X3DH. Il dispositivo che avvia la sessione combina tre o quattro scambi di chiavi X25519 con un incapsulamento Kyber verso una delle prechiavi Kyber monouso del dispositivo destinatario e ricava il segreto di sessione da tutti questi elementi. Chi registra oggi lo scambio iniziale e in seguito ottiene un computer quantistico non può ricavarne la chiave di sessione.
L'installazione verifica con libsignal la firma di ogni prechiave Kyber prima di archiviarla e ogni pacchetto di prechiavi deve includere una prechiave Kyber di ultima istanza, così nessuna sessione inizia senza la sua componente post-quantistica.
Protezione post-quantistica per l'intera conversazione: SPQR
La versione di libsignal utilizzata da SANKET esegue lo Sparse Post-Quantum Ratchet di Signal insieme al Double Ratchet per tutte le sessioni, integrando nei segreti dei messaggi quelli derivati da ML-KEM. Signal chiama questa combinazione Triple Ratchet. Per recuperare i segreti dei messaggi, un attaccante deve violare sia la componente basata sulle curve ellittiche sia quella post-quantistica, per tutta la durata della conversazione.
TLS ibrido post-quantistico
In TLS 1.3 il nodo perimetrale propone per primo il gruppo ibrido X25519MLKEM768. Il segreto condiviso combina X25519 con ML-KEM-768, quindi una sessione registrata resta riservata a meno che entrambi non vengano compromessi. Qualsiasi client il cui protocollo TLS supporti il gruppo lo negozia, e anche le connessioni in uscita dell'installazione lo propongono.
Le suite di cifratura restano limitate ad AES-256-GCM e la crittografia simmetrica utilizza ovunque chiavi da 256 bit, una lunghezza ritenuta adeguata contro gli attacchi quantistici noti.
- X25519MLKEM768 proposto come prima opzione
- Solo suite crittografiche AES-256-GCM
- Gruppo negoziato misurato senza registrare chi si è connesso
- Trascrizione dello scambio iniziale autenticata da un'estremità all'altra
Pronti per ciò che verrà
Sanket è progettato per adattarsi all'evoluzione della crittografia. libsignal dispone di versioni, quindi nuove primitive vengono introdotte con l'aggiornamento della libreria, come è avvenuto per PQXDH e SPQR. I gruppi crittografici per il trasporto si configurano ai margini della rete, la cifratura delle chiamate segue un profilo numerato applicato dal server e tutte le operazioni AES-GCM dell'applicazione passano attraverso un unico componente ausiliario con controlli rigorosi. Le firme ibride Ed25519 e ML-DSA per le versioni rilasciate e le licenze sono progettate e previste nella tabella di marcia; saranno abilitate quando sarà disponibile un'implementazione ML-DSA sottoposta a verifica indipendente.
Evidenze tecniche
Leggi i dettagli nel documento tecnico di SANKET
Ogni affermazione contenuta in questa pagina è esposta per esteso nel documento tecnico pubblico sulla sicurezza e sull'architettura di SANKET, consultabile gratuitamente senza registrazione.
SANKET offre una messaggistica sicura contro gli attacchi quantistici?
La messaggistica di Sanket utilizza crittografia ibrida post-quantistica sia per l'instaurazione delle sessioni (PQXDH con Kyber-1024) sia per il meccanismo continuo di avanzamento delle chiavi (SPQR), tramite la libreria ufficiale libsignal di Signal. Un attaccante deve violare sia la componente crittografica classica sia quella post-quantistica.
Che cos'è PQXDH?
PQXDH è l'estensione post-quantistica di Signal per lo scambio di chiavi X3DH. Aggiunge un meccanismo di incapsulamento delle chiavi Kyber agli scambi X25519, così uno scambio iniziale registrato non potrà essere decifrato in seguito con un computer quantistico. È stato sottoposto ad analisi formale.
Che cos'è SPQR, il meccanismo a triplo ratchet?
SPQR è il meccanismo crittografico post-quantistico a cricchetto sparso di Signal. Opera insieme a Double Ratchet e integra segreti derivati da ML-KEM nelle chiavi dei messaggi, estendendo la protezione post-quantistica dall'inizio della sessione all'intera conversazione.
Sanket usa TLS post-quantistico?
Sì. L'infrastruttura perimetrale propone per primo lo scambio di chiavi ibrido X25519MLKEM768 in TLS 1.3, e l'installazione lo propone sulle proprie connessioni in uscita. I client il cui stack TLS lo supporta lo negoziano automaticamente.
Che cos'è la strategia «raccogli ora, decifra in seguito»?
È la pratica di registrare oggi il traffico cifrato per decifrarlo quando sarà disponibile un computer quantistico in grado di farlo. Lo scambio ibrido di chiavi post-quantistico, utilizzato da Sanket, protegge da questa minaccia il traffico registrato.
AES-256 è resistente agli attacchi quantistici?
AES-256, con chiavi di 256 bit, è considerato adeguato contro gli attacchi quantistici noti; per questo Sanket utilizza ovunque chiavi simmetriche di 256 bit.
Proteggi le comunicazioni di oggi dai computer di domani
Contatta Tosh Defence per parlare dell'architettura post-quantistica di SANKET e della sua agilità crittografica per le informazioni sensibili da proteggere a lungo termine.