Ethereum Vakfı, Ethereum (ETH) Kuantum Sonrası Geçişi İçin Aralık 2029'u Hedefliyor

leanVM'de Biçimsel Doğrulama Hâlâ Tamamlanmadı

Ethereum (ETH) ağının güvenliğini sağlayan doğrulayıcılar ve düğüm operatörleri, Ethereum Vakfı'nın Aralık 2029'a kadar tamamlanmasını istediği bir imza göçüyle karşı karşıya. Vakfın protokol ekibi, ağın tamamını kuantum sonrası kriptografiye (post-quantum cryptography) taşıma tarihi olarak bu ayı belirledi. Hedef, 7 Eylül'de yayımlanan bir planda yer alıyor ve yürütme, konsensus ile veri katmanlarının tek seferde kuantuma dayanıklı bir şemaya geçirilmesini öngörüyor. Vakıf bunu doğrulanmış bir ana ağ yükseltmesi olarak değil, kendi seçtiği bir hedef olarak sunuyor; kuantum sonrası rehberde de yol haritasının araştırma, uygulama ve yönetişim süreçlerine bağlı olarak değişebileceği belirtiliyor.

Asıl mesele şu: Bu geçişi ekonomik hale getirecek araç henüz hazır değil. leanVM, çalışması kompakt biçimde kanıtlanabilen bir sanal makine anlamına gelen minimalist bir zkVM (zero-knowledge sanal makine) olarak konumlanıyor; kuantum sonrası imzaları özet kanıtlara paketlemek üzere tasarlandı. Projenin halka açık deposunda, uçtan uca biçimsel doğrulama (formal verification) bir güvenlik tasarım hedefi olarak listeleniyor. Aynı depo, doğrulamanın hâlâ sürdüğünü ve leanVM'nin henüz üretim ortamlarına hazır olmadığını açıkça yazıyor. Biçimsel doğrulama, bir programın seçilmiş girdiler üzerinde test edilmesi yerine, sabit bir matematiksel şartnameyi karşıladığının kanıtlanması demek; bu disiplin akıllı sözleşme denetimlerinde yaygın olarak kullanılıyor. Ayrım önemli: Hedef olarak biçimsel doğrulama ile tamamlanmış biçimsel doğrulama aynı şey değil ve proje yalnızca ilkini ileri sürüyor. Testler uç durumları gözden kaçırabilir; tamamlanmış bir kanıt izin verilen her girdiyi kapsar.

Bugün ağın hisse ispatı (proof-of-stake) konsensusu BLS imzalarıyla çalışıyor; doğrulayıcılar bu imzaları her slot'ta üretiyor ve imzalar düşük maliyetle birleştiriliyor. XMSS ailesi gibi karma tabanlı şemalar ise imzaları kendi başlarına birleştiremiyor; bu yüzden SNARK tabanlı bir toplama katmanı zorunlu hale geliyor. leanVM tam da bu boşluğu kapatmak için var: Büyük hacimli kuantum sonrası imza kümelerini, Katman 2 sistemlerinin hâlihazırda dayandığı türden özet kanıtlara sarmayı amaçlıyor. Bu da Ethereum (ETH) için kuantum sonrası yol haritasını salt bir kriptografi projesi olmaktan çıkarıp aynı zamanda bir yazılım mühendisliği programına dönüştürüyor. Güncellemenin Ethereum fiyatına doğrudan bir etkisi bulunmuyor.

Performans Testleri, Lean 4 ve Ocak 2027 Değerlendirmesi

Araştırma temeli kamuya açık belgelerde duruyor. 2025 tarihli ve yazarları arasında Ethereum Vakfı araştırmacılarının bulunduğu bir makale, XMSS ailesinden karma tabanlı imzaları kuantum sonrası alternatif olarak önerdi ve bunların özet kanıtlara toplanmasını ayrıntılarıyla inceledi. leanVM deposu ilk performans rakamlarını da taşıyor: Bir M4 Max işlemcisinde 1.400 leanXMSS imzası, saniyede 1.191,353 imza olarak kayıtlı bir verimle toplandı ve kanıt üretimi 1,175 saniye sürdü. Depo, bu sonucun tek bir tüketici işlemci ortamını yansıttığını ve donanımı geniş ölçüde değişen doğrulayıcı operasyonlarına genellenemeyeceği uyarısını da ekliyor.

Ana aracın yanında iki ayrı çalışma yürütülüyor. leanerVM adlı bağımsız bir Lean 4 projesi leanVM'yi biçimselleştiriyor: Temel yapıyı kurmuş durumda, Rust uygulamasını sabit bir sürümle karşılaştıran diferansiyel testlere başlamış ve biçimsel doğrulamanın kodun kendisine de uzatılması olasılığını gündeme almış. 8 Ekim'de Ethereum (ETH) araştırma forumunda yayımlanan bir gönderi ise kanıtlar için aday komut kümelerini karşılaştırdı; EVM, RISC-V ve Ethereum'a özgü bir tasarım tartışıldı. Bu seçim kanıt hızını, uygulama hazırlığını ve uzun vadeli bakım yükünü doğrudan etkiliyor.

Karar noktalarının tarihleri belli. Vakıf, kuantum bilişimdeki ilerlemeyi Ocak 2027'de dış uzmanlardan alınacak görüşlerle birlikte yeniden değerlendirmeyi planlıyor; ancak testnet ya da ana ağ aktivasyonu için hiçbir tarih yayımlamadı. Böylece provanın (test etme) aşamalarının sıralaması da açıkta kalıyor. Programın arkasındaki aciliyet soyut değil: Kurucu ortak Vitalik Buterin, yapay zekânın 50 yıllık matematiği hızlandırılmış biçimde geçip Ethereum'un kriptografisini kırmayı başarabileceği senaryosunu dile getirmişti; toplama araçları tam da bunu önlemek için geliştiriliyor. Staking işleten doğrulayıcılar, bir aktivasyon takvimi ortaya çıktığında anahtar ve istemci göçünün operasyonel maliyetini taşıyacaklar. Eylül planı ile araçların durumu ayrı okunmalı: Genel geçiş hedefi, her aracın geliştirme durumu ve ağın gerçek aktivasyon takvimi ayrı izler taşıyor ve yalnızca ilkinde bir tarih var.

Bu plandaki risk, tarihli bir hedefle doğrulanmış kod arasındaki boşlukta yatıyor. Kuantum sonrası imza şemaları zaten mevcut; henüz var olmayan şey, bunları L1 ölçeğinde ekonomik kılan biçimsel olarak doğrulanmış bir toplayıcı. Önemli kilometre taşları somut: leanVM'nin uçtan uca doğrulamasının tamamlanması, EVM, RISC-V ve Ethereum'a özgü komut kümesi arasında karar verilmesi ve Ocak 2027 uzman değerlendirmesi. Bu ölçekte bir geçiş, rutin bir fork'tan çok çok yıllı Ethereum 2.0 yükseltmesine benziyor; ara tarihler kayacaktır. O adımlar gerçekleşene kadar iş, Vakfın araştırma ekiplerinin ve araç geliştiricilerinin masasında duruyor; doğrulayıcılar göç yükünü ancak biçimsel doğrulama kapandıktan ve bir ana ağ tarihi kesinleştikten sonra devralacak.