Her mesajda zincirin ilerlemesi ve kuantum sonrası epoch yenilemesi, ratchet sorununun farklı bölümlerini çözer.
Hibrit kuantum sonrası ratchet mekanizması, mesajlaşma anahtarlarını hem klasik hem de kuantum sonrası malzeme kullanarak günceller. Amaç, bileşenlerden biri savunmasız hâle gelirse dikkatle tanımlanmış varsayımlar altında korumayı sürdürmek ve aynı zamanda belirli anahtar ele geçirme olaylarının zararını zaman içinde sınırlamaktır.
Livara, LVR1 için bu yaklaşımı P-256 ve ML-KEM-768 kullanarak belgelendirir. Tasarımı anlamak, ilk anahtar kurulumunu, olağan mesaj zinciri güncellemelerini ve dönemsel kuantum sonrası yenilemeleri birbirinden ayırmayı gerektirir. Bunlar, her mesajda gerçekleştirilen aynı işlem değildir.
Paylaşılan sırdan değişen mesaj anahtarlarına
Bir anahtar kurulum mekanizması, katılımcılara anahtar türetme düzeninde kullanabilecekleri gizli malzeme verir. Ardından ratchet protokolü, tüm konuşma boyunca değişmeyen tek bir içerik anahtarını korumak yerine durumu ilerletir ve mesaj anahtarlarını türetir.
NIST FIPS 203, ML-KEM-768 parametre kümesi dâhil ML-KEM'i tanımlar. Bu mekanizma paylaşılan bir sır oluşturur; AES-GCM gibi kimlik doğrulamalı bir şifreleme algoritması ise mesajın yükünü şifreler. Kimlik doğrulama ve bileşenlerin birleştirilme biçimi daha geniş protokolün kapsamındadır.
Livara'nın güvenlik özeti, hibrit kurulumu, bağımsız klasik ve kuantum sonrası kökleri, mesajlarla ilerleyen tek yönlü gönderme/alma zincirlerini ve dönemsel ML-KEM epoch güncellemelerini açıklar. İçerik ve başlık korunmadan önce mesaj anahtarının mevcut kuantum sonrası kökle birleştirildiğini belirtir.
Bu açıklama, “her mesaj için yeni bir P-256 alışverişi ve yeni bir ML-KEM kapsüllemesi yapılır” şeklinde yeniden yazılmamalıdır. Zincirin ilerlemesi, görece düşük maliyetli bir anahtar türetme adımı olabilir.
Bir epoch neyi değiştirir?
Epoch, belirli bir yenilemeyle ilişkili protokol durumunun bir dönemidir. Daha büyük anahtar kurulum mesajlarının epoch dönemlerine dağıtılması, yinelenen iletişim ek yükünü azaltabilir; ancak yenileme kurallarını da güvenlik açısından önemli hâle getirir.
Bir incelemeci şunları sormalıdır:
- Yeni bir epoch'u ne tetikler: sayaç, zaman, karşı tarafın eylemi veya başka bir koşul mu?
- Epoch tanımlayıcılarının ve anahtar malzemesinin kimliği nasıl doğrulanır?
- Gecikmiş, yinelenmiş veya sıra dışı gelen mesajlara ne olur?
- İstemci eksik bir güncellemeyi ya da eski ve uyumsuz bir karşı tarafı nasıl ele alır?
- Gecikmiş teslimat için hangi eski sırlar tutulur ve ne zaman silinir?
Bir uygulamanın kesin yanıtlara ihtiyacı vardır. Tek başına “dönemsel” sözcüğü, eksiksiz bir kurtarma veya birlikte çalışabilirlik belirtimi değildir.
Bir performans testi uydurmadan temel bileşen boyutlarını ölçmek
FIPS 203, ML-KEM-768 için kapsülleme anahtarı boyutunu 1.184 bayt, şifreli metin boyutunu ise 1.088 bayt olarak verir. Bunlar temel bileşenlerin kodlanmış boyutlarıdır; bir Livara mesajının veya el sıkışmasının toplam boyutu değildir. Protokol başlıkları, imzalar, çerçeveleme ve her değerin ne sıklıkta gönderildiği gerçek trafiği belirler.
P-256 anahtar boyutları da gösterime bağlıdır. Örneğin sıkıştırılmış ve sıkıştırılmamış eğri noktalarının kodlanmış uzunlukları farklıdır. Gösterimi belirtilmemiş bir “P-256 anahtar boyutunu” ML-KEM şifreli metniyle karşılaştırmak, eksiksiz bir bant genişliği analizi değildir.
Ratchet maliyetini değerlendirmek için temsili cihazlarda konuşma ve epoch başına bayt sayısını, CPU süresini, belleği, radyo biriminin uyanmalarını ve uçtan uca gecikmeyi ölçün. Derleme ve ağ koşullarını bildirin. Bu ölçümler olmadan ne “ihmal edilebilir pil etkisi” ne de her durumda bir milisaniyenin altında çalışma süresi iddiası gerekçelendirilebilir.
İleri gizlilik ve ele geçirilme sonrası toparlanma
İleri gizlilik, gerekli eski sırların silinmiş olması koşuluyla, belirli sonraki sırlar açığa çıktığında önceki mesajları korumayı amaçlar. Ele geçirilme sonrası güvenlik ise saldırgan uç noktayı artık kontrol etmediğinde ve saldırganın bilmediği yeni gizli malzeme protokole girdiğinde korumanın yeniden kazanılmasıyla ilgilidir.
Double Ratchet belirtimi, bu ayrımları ve sızma sonrası toparlanmanın sınırlarını açıklar. Kötü amaçlı yazılımın devam eden erişimi, manipüle edilmiş rastgelelik veya ilgili alışverişleri kontrol eden etkin bir saldırgan, umulan toparlanmayı boşa çıkarabilir. Bir mesaj daha göndermek, çalınan oturumun iptal edildiğini veya ele geçirilmiş telefonun temiz olduğunu kanıtlamaz.
Hibrit bir yapı ayrıca sağlam kimlik doğrulama ve birleştirme gerektirir. “Saldırgan her iki algoritmayı da kırmalıdır” ifadesi, yapının varsayımları altında amaçlanan bir özelliktir; uygulama hatalarını veya kötü niyetli uç noktaları kapsayan koşulsuz bir ifade değildir.
Özellik sınırlarını görünür tutun
Livara'nın belgelerinde LGS1 grup gönderici anahtarları, ikili LVR1 oturumları üzerinden dağıtılır. Bu, bir grup gönderici zincirinin yapısal olarak doğrudan sohbetin double ratchet mekanizmasıyla aynı olduğu anlamına gelmez. Mevcut güvenlik sayfası ayrıca eski ve uyumsuz grupları E2EE kapsamı dışında tutar ve yeni şifreli grup oluşturulmadan önce üyelerin hazır olmasını gerektirir.
Eklerin, korunan konuşmanın içinde taşınan kendi içerik anahtarları vardır. Aramalar ve isteğe bağlı sunucu kaydı ayrı inceleme gerektirir; yalnızca bir sinyalleşme yolu hibrit oturum kullanıyor diye medyanın kuantum sonrası korunduğu sonucuna varmayın. Herkese açık kanallar ve operasyonel meta veriler, özel içerik gizliliğinin dışındadır.
Güveni ne artırır?
Sürümlendirilmiş bir belirtim, birlikte çalışabilirlik ve hata durumu testleri, bağımsız inceleme ve incelenen kaynak kodu ile dağıtılan istemci arasında açık bir ilişki arayın. Standart algoritmalar, bileşenler hakkında yararlı kanıtlardır; bileşimlerinin sertifikası değildir.
Livara'nın Proof Lab aracı, seçilmiş klasik temel bileşenleri gösterir ve tam LVR1/LGS1 bileşimini bu yerel testin açıkça dışında tutar. Tehdit modeli gerekli bağlam olmaya devam eder. Bu materyaller birlikte soruları şekillendirmeye yardımcı olur; eksiksiz bir protokol ve uygulama değerlendirmesinin yerine geçiyormuş gibi sunulmamalıdır.
