Ethereum(ETH) kuantuma dayanıklı geçişi için 2029 hedefi; leanVM doğrulaması sürüyor

Ethereum Vakfı (Ethereum Foundation), kuantuma dayanıklı imzaları bir araya getirmek için geliştirdiği leanVM'nin biçimsel doğrulamasının sürdüğünü ve açık kaynak kod deposunun aracın henüz üretim ortamında kullanıma hazır olmadığını belirtiyor. Biçimsel doğrulamayı güvenlik tasarımının hedefi olarak belirlemek, doğrulamanın tamamlandığı anlamına gelmiyor.

Ethereum Vakfı bünyesindeki protokol ekibi, 7 Eylül'de yayımladığı planda Ethereum L1'in yürütme, konsensüs ve veri katmanlarının tamamını kuantuma dayanıklı bir sisteme geçirme hedefini Aralık 2029 olarak açıkladı. Bu tarih vakfın belirlediği bir hedef; ana ağ yükseltmesi için kesinleşmiş bir tarih değil.

Vakıf, araştırma ve yönetişim çalışmaları ilerledikçe yol haritasının değişebileceğini belirtiyor. Bu nedenle genel geçiş hedefini, tek tek araçların geliştirme durumundan ve ağda uygulanmaları için öngörülen takvimden ayrı değerlendirmek gerekiyor.

leanVM, kuantuma dayanıklı imzaları kısa kanıtlar halinde bir araya getirmek için geliştirilen minimal bir zkVM. Vakfın kuantuma dayanıklılık rehberi, büyük imza verilerinin yükünü azaltmak amacıyla SNARK tabanlı toplulaştırma tekniklerinin geliştirildiğini aktarıyor.

Ethereum'un konsensüs sürecinde şu anda BLS imzaları kullanılıyor. Kuantuma dayanıklı alternatifler arasında anılan hash tabanlı imzalar, BLS gibi birden çok imzayı kolayca birleştiremiyor. Bu nedenle ayrı bir kanıt toplulaştırma teknolojisine ihtiyaç duyuluyor.

Ethereum Vakfı araştırmacılarının da katkıda bulunduğu 2025 tarihli bir makalede, XMSS ailesinden hash tabanlı imzalar kuantuma dayanıklı alternatif olarak önerildi ve imzaların kısa kanıtlarla bir araya getirilmesi ele alındı. Araştırma önerisi, ana ağda uygulanma kararı alındığı veya geçişin tamamlandığı anlamına gelmiyor.

Biçimsel doğrulama, bir programın matematiksel olarak tanımlanmış bir şartnameyi karşıladığını kanıtlama sürecidir. Bazı girdi değerlerini kontrol eden olağan testlerden farklı olarak, belirlenmiş koşullar altında programın davranışını mantıksal olarak doğrular.

leanVM'nin açık kaynak deposu, baştan sona biçimsel doğrulamayı güvenlik tasarımının bir parçası olarak gösteriyor. Aynı depo, doğrulama çalışmalarının sürdüğünü ve leanVM'nin henüz üretim ortamında kullanıma hazır olmadığını belirtiyor.

Lean 4 tabanlı ayrı bir proje olan leanerVM, leanVM'yi biçimsel olarak tanımlama çalışmaları yürütüyor. Proje temel altyapıyı oluşturdu ve Rust uygulamasını sabitlenmiş bir sürümle karşılaştıran diferansiyel testlere başladı. İlgili kodun biçimsel doğrulamasına genişletilmesi de olasılıklar arasında gösteriliyor.

leanVM deposunda M4 Max CPU üzerinde 1.400 leanXMSS imzasının toplulaştırıldığı bir performans ölçümü de yer alıyor. Kaydedilen işlem hızı saniyede 1.191,353 imza, kanıt oluşturma süresi ise 1,175 saniye.

Bu ölçüm belirli bir CPU ortamında yapıldı. Sonuçların doğrulayıcıların çalıştığı ortamlardaki gerçek performansı temsil ettiğini söylemek için yeterli dayanak sunulmadı.

Ethereum araştırma forumunda 8 Ekim'de yayımlanan bir gönderide, kuantuma dayanıklı kanıtlar için EVM, RISC-V ve Ethereum'a özgü bir komut seti karşılaştırıldı. Gönderide, seçimin kanıt üretim hızını, uygulamaya hazırlık düzeyini ve uzun vadeli destek yükünü etkileyebileceği belirtildi.

TokenPost daha önce Ethereum'un 2029 kuantuma dayanıklı geçiş hedefini ve yol haritasını haberleştirmişti. Bu kez öne çıkan teknik konu, genel geçiş hedefinden ayrı olarak imza toplulaştırma aracının doğrulama kapsamı ve üretim ortamına hazır olup olmadığı.

Vakıf, dış uzmanların görüşlerinden yararlanarak kuantum teknolojisindeki ilerlemeyi Ocak 2027'de yeniden değerlendirmeyi planlıyor. Kuantuma dayanıklılık rehberi de araştırma, uygulama ve yönetişim çalışmalarına bağlı olarak yol haritasının değişebileceğini belirtiyor.