Mesajlaşma için kuantum sonrası şifreleme
Tosh Defence tarafından sunulan Sanket.Chat, her görüşmenin her iki aşamasında da hibrit kuantum sonrası kriptografiyle mesajlaşmayı korur: oturum kurulumunda kuantum sonrası Kyber ön anahtarıyla PQXDH kullanır; devam eden Double Ratchet sürecine ise Signal tarafından geliştirilen Sparse Post-Quantum Ratchet (SPQR) aracılığıyla ML-KEM sırlarını dahil eder. İletim katmanı, ağın sınır noktasında öncelikle sunulan hibrit X25519MLKEM768 anahtar değişimini ekler; böylece kaydedilen trafik, bugün toplayıp daha sonra şifresini çözmeye yönelik saldırılara karşı korunur.
Bir saldırgan, şifrelenmiş trafiği bugün kaydedip yeterli kapasiteye sahip bir kuantum bilgisayar ortaya çıktığında şifresini çözmeyi deneyebilir. Yıllarca gizli kalması gereken bilgiler, kuantum sonrası korumaya şimdiden ihtiyaç duyar; SANKET bu korumayı Signal'ın denetlenmiş libsignal kütüphanesi aracılığıyla sağlar.
İlk mesajdan itibaren kuantum sonrası koruma
Her Sanket oturumu, X3DH protokolünün kuantum sonrası uzantısı olan PQXDH ile başlar. Oturumu başlatan taraf, üç veya dört X25519 anahtar anlaşmasını, alıcı cihazın tek kullanımlık Kyber ön anahtarlarından birine yapılan Kyber kapsüllemesiyle birleştirir ve oturum sırrını bunların tümünden türetir. Bugün anahtar oluşturma alışverişini kaydedip daha sonra bir kuantum bilgisayar edinen biri, oturum anahtarını bu kayıttan elde edemez.
Kurulum, her Kyber ön anahtar imzasını depolamadan önce libsignal ile doğrular ve her ön anahtar paketi bir Kyber son çare ön anahtarı içermek zorundadır. Böylece hiçbir oturum kuantum sonrası bileşeni olmadan başlamaz.
Tüm görüşme boyunca kuantum sonrası koruma: SPQR
Sanket'in libsignal sürümü, tüm oturumlarda Signal'a ait Seyrek Kuantum Sonrası Cırcır mekanizmasını Double Ratchet ile birlikte çalıştırarak ML-KEM kaynaklı gizli değerleri mesaj anahtarlarına katar. Signal bu birleşime Üçlü Cırcır adını verir. Mesaj anahtarlarını ele geçirmek isteyen bir saldırganın, konuşma boyunca hem eliptik eğri bileşenini hem de kuantum sonrası bileşeni kırması gerekir.
Hibrit kuantum sonrası TLS
TLS 1.3 bağlantısında uç sunucu önce X25519MLKEM768 hibrit grubunu sunar. Bu grubun ortak gizli anahtarı X25519 ile ML-KEM-768 yöntemlerini birleştirir; bu nedenle kaydedilmiş bir oturumun gizliliği, her iki yöntem de kırılmadıkça korunur. TLS yazılımı bu grubu sunan her istemci, bağlantı sırasında bu grubu seçer; kurulumun dışarıya açtığı bağlantılar da bu grubu sunar.
Şifreleme takımları yalnızca AES-256-GCM kullanır; simetrik şifreleme ise her aşamada 256-bit anahtarlar kullanır. Bu anahtar uzunluğu, bilinen kuantum saldırılarına karşı yeterli kabul edilir.
- Önce X25519MLKEM768 sunulur
- Yalnızca AES-256-GCM şifre takımları
- Bağlanan kişilerin kaydını tutmadan ölçülen anlaşmayla oluşturulmuş grup
- Bağlantı kurma işleminin dökümü uçtan uca kimlik doğrulamasından geçer
Gelecekteki gereksinimlere hazır
SANKET, tasarımı gereği kriptografik algoritma değişikliklerine uyarlanabilir. libsignal sürümlendirilir; böylece PQXDH ve SPQR örneklerinde olduğu gibi yeni kriptografik bileşenler kitaplık yükseltmesiyle kullanılabilir hâle gelir. İletim katmanı grupları uç noktada yapılandırılır, arama şifrelemesi sunucunun zorunlu kıldığı numaralandırılmış bir profildir ve uygulamadaki tüm AES-GCM işlemleri tek bir sıkı doğrulama uygulayan yardımcı bileşenden geçer. Sürümler ve lisanslar için karma Ed25519 ve ML-DSA imzaları tasarlanmış ve yol haritasına alınmıştır; bağımsız olarak denetlenmiş bir ML-DSA uygulaması kullanıma sunulduğunda etkinleştirilecektir.
Teknik kanıt
Ayrıntıları SANKET teknik dokümanında okuyun
Bu sayfadaki her açıklama, kayıt gerektirmeden ücretsiz okunabilen, kamuya açık SANKET Teknik Güvenlik ve Mimari Teknik İnceleme Belgesi'nde tüm ayrıntılarıyla yer alır.
SANKET kuantum sonrası güvenli mesajlaşma sunuyor mu?
SANKET mesajlaşması, Signal'ın resmî libsignal kitaplığı aracılığıyla hem oturum kurulumu (Kyber-1024 ile PQXDH) hem de süregelen anahtar yenileme mekanizması (SPQR) için karma kuantum sonrası kriptografi kullanır. Bir saldırgan hem geleneksel hem de kuantum sonrası bileşenleri aşmak zorundadır.
PQXDH nedir?
PQXDH, Signal tarafından X3DH anahtar anlaşmasına eklenen kuantum sonrası uzantıdır. X25519 anlaşmalarına bir Kyber anahtar kapsülleme mekanizması ekler; böylece kaydedilmiş bir bağlantı kurulumu daha sonra kuantum bilgisayarıyla çözülemez. Resmî yöntemlerle analiz edilmiştir.
Üçlü Anahtar Yenileme olarak da bilinen SPQR nedir?
SPQR, Signal'ın seyrek kuantum sonrası anahtar yenileme mekanizmasıdır. Double Ratchet ile birlikte çalışır ve ML-KEM ile türetilen gizli değerleri mesaj anahtarlarına katarak kuantum sonrası korumayı oturumun başlangıcından tüm görüşmeye yayar.
Sanket, kuantum sonrası güvenli TLS kullanıyor mu?
Evet. Uç katman, TLS 1.3 bağlantılarında öncelikle hibrit X25519MLKEM768 anahtar değişimini sunar; kurulum da bunu dışa giden bağlantılarında sunar. TLS altyapısı bunu destekleyen istemciler otomatik olarak bu yöntemi kullanmak üzere anlaşır.
Şimdi topla, sonra şifresini çöz yaklaşımı nedir?
Bu, yeterli kapasiteye sahip bir kuantum bilgisayar ortaya çıktığında şifresini çözmek amacıyla şifreli trafiği bugün kaydetme uygulamasıdır. SANKET tarafından kullanılan hibrit kuantum sonrası anahtar anlaşması, kaydedilen trafiği buna karşı korur.
AES-256 kuantum saldırılarına dayanıklı mı?
AES-256, 256 bitlik anahtar uzunluğuyla bilinen kuantum saldırılarına karşı yeterli kabul edilir; bu nedenle SANKET tüm sistemde 256 bitlik simetrik anahtarlar kullanır.
Bugünkü iletişimi yarının bilgisayarlarına karşı koruyun
Uzun süre hassas kalacak bilgiler için SANKET'in kuantum sonrası tasarımı ve kriptografik çevikliği hakkında Tosh Defence ile görüşün.