CVE-2025-29779

Post-Quantum Secure Feldman's Verifiable Secret Sharing, Feldman'ın Doğrulanabilir Gizli Paylaşım (VSS) şemasının bir Python uygulamasını sunmaktadır. 0.8.0b2 ve önceki sürümlerde, feldman_vss.py dosyasındaki `secure_redundant_execution` fonksiyonu, bir fonksiyonu birden fazla kez çalıştırıp sonuçları karşılaştırarak hata enjeksiyonu saldırılarını hafifletmeye çalışır. Ancak, birkaç kritik zayıflık mevcuttur. Python'un yürütme ortamı, yedekli yürütmeler arasında gerçek izolasyon garanti edemez; Python'daki sabit zamanlı karşılaştırma uygulaması zamanlama varyasyonlarına tabidir; rastgele yürütme sırası ve zamanlaması gelişmiş hata saldırılarına karşı yetersiz koruma sağlar ve hata yönetimi, kısmi yürütme sonuçları hakkında zamanlama bilgisi sızdırabilir. Bu sınırlamalar, özellikle donanıma fiziksel erişimi olan saldırganların gerçekleştirdiği hedefli hata enjeksiyonu saldırılarına karşı korumayı etkisiz kılmaktadır. Başarılı bir hata enjeksiyonu saldırısı, bir saldırganın yedeklilik kontrol mekanizmalarını atlatmasına, pay oluşturma veya doğrulama sırasında gizli polinom katsayılarını çıkarmasına, doğrulama sırasında geçersiz payların kabul edilmesini zorlamasına ve/veya sahte taahhütleri kabul etmek için taahhüt doğrulama sürecini manipüle etmesine olanak tanıyabilir. Bu durum, Doğrulanabilir Gizli Paylaşım şemasının temel güvenlik garantilerini ortadan kaldırır. Yayınlandığı tarih itibarıyla, Post-Quantum Secure Feldman's Verifiable Secret Sharing için yamalanmış herhangi bir sürüm mevcut değildir ancak diğer hafifletme yöntemleri mevcuttur. Uzun vadeli çözüm, güvenlik açısından kritik fonksiyonların Rust gibi daha düşük seviyeli bir dilde yeniden uygulanmasını gerektirir. Kısa vadeli hafifletme önlemleri arasında yazılımın fiziksel güvenlik kontrollerine sahip ortamlarda konuşlandırılması, kaynak kodu değiştirilerek yedeklilik sayısının artırılması (5'ten daha yüksek bir sayıya), mümkün olduğunda kriptografik işlemlerin harici doğrulamasının eklenmesi ve anahtar işlemleri için donanım güvenlik modüllerinin (HSM) kullanılması yer almaktadır.