zkEVM ekosistemi, gecikme konusunda bir yıl boyunca hızla ilerledi. Bir Ethereum bloğu için kanıt süresi 16 dakikadan 16 saniyeye düştü, maliyetler 45 kat azaldı ve katılan zkVM'ler artık hedef donanımda ana ağ bloklarının %99'unu 10 saniye içinde kanıtlıyor.

Ethereum Vakfı (EF), 18 Aralık'ta zafer ilan etti: gerçek zamanlı kanıtlamalar çalışıyor. Performans darboğazları ortadan kalktı. Şimdi gerçek iş başlıyor, çünkü güvenilirlik olmadan hız bir yükümlülük, bir varlık değil ve birçok STARK tabanlı zkEVM'nin matematiği birkaç aydır sessizce bozuluyor.

Temmuz ayında, EF, gecikme, donanım, enerji, açıklık ve güvenliği bir araya getiren gerçek zamanlı kanıtlamalar için resmi bir hedef belirledi: ana ağ bloklarının en az %99'unu 10 saniye içinde, yaklaşık 100.000 dolara mal olan ve 10 kilovat içinde çalışan donanımda, tamamen açık kaynak kodlu, 128 bit güvenlik ile ve kanıt boyutları 300 kilobayt veya altında olacak şekilde kanıtlamak.

18 Aralık tarihli gönderi, ekosistemin performans hedefini karşıladığını, EthProofs benchmark sitesinde ölçüldüğünü iddia ediyor.

Burada gerçek zaman, 12 saniyelik slot süresine ve blok yayılımı için yaklaşık 1.5 saniyeye göre tanımlanıyor. Standart, esasen kanıtların, doğrulayıcıların canlılığı bozmadan doğrulayabileceği kadar hızlı hazır olmasıdır.

EF artık verimlilikten güvenilirliğe geçiyor ve bu geçiş sert. Birçok STARK tabanlı zkEVM, reklamını yaptığı güvenlik seviyelerine ulaşmak için kanıtlanmamış matematiksel varsayımlara dayanıyordu.

Son birkaç ayda, bu varsayımlardan bazıları, özellikle hash tabanlı SNARK ve STARK düşük derece testlerinde kullanılan yakınlık boşluğu varsayımları, matematiksel olarak bozuldu ve bunlara bağlı parametre setlerinin etkili bit güvenliğini düşürdü.

EF, L1 kullanımı için kabul edilebilir tek sonucun kanıtlanabilir güvenlik olduğunu, varsayımların geçerli olduğu varsayımına dayalı güvenlik olmadığını belirtiyor.

128 bit güvenliği hedef olarak belirlediler ve bunu ana akım kripto standartları ile uzun ömürlü sistemler üzerine akademik literatürle ve 128 bitin saldırganlar için gerçekçi olarak ulaşılmaz olduğunu gösteren gerçek dünya hesaplamalarıyla uyumlu hale getirdiler.

Hız yerine güvenilirliğe verilen önem, niteliksel bir farkı yansıtıyor.

Eğer biri bir zkEVM kanıtını sahteleyebilirse, rastgele token'lar basabilir veya L1 durumunu yeniden yazabilir ve sistemi yanıltabilir, sadece bir sözleşmeyi boşaltmakla kalmaz.

Bu, EF'nin herhangi bir L1 zkEVM için müzakere edilemez bir güvenlik marjı olarak adlandırdığı şeyi haklı çıkarıyor.

Üç aşamalı yol haritası

Gönderi, üç zor durakla temiz bir yol haritası sunuyor. İlk olarak, Şubat 2026'nın sonuna kadar, yarışta yer alan her zkEVM ekibi, kanıt sistemlerini ve devrelerini, mevcut kriptoanalitik sınırlar ve şemanın parametrelerine dayanan güvenlik tahminlerini hesaplayan EF tarafından bakım yapılan bir araç olan soundcalc'a entegre edecek.

Buradaki hikaye ortak bir cetvel. Her ekip kendi bit güvenliğini özel varsayımlarla belirtmek yerine, soundcalc kanonik hesaplayıcı haline geliyor ve yeni saldırılar ortaya çıktıkça güncellenebiliyor.

İkinci olarak, Glamsterdam, Mayıs 2026'nın sonuna kadar, soundcalc aracılığıyla en az 100 bit kanıtlanabilir güvenlik talep ediyor, nihai kanıtlar 600 kilobayt veya altında ve her ekibin tekrar yapısının kompakt bir kamu açıklaması ile neden güvenilir olması gerektiğine dair bir taslak sunuyor.

Bu, erken dağıtım için orijinal 128 bit gereksinimini sessizce geri alıyor ve 100 bit hedefini geçici bir hedef olarak ele alıyor.

Üçüncü olarak, H-star, 2026'nın sonuna kadar tam bar: soundcalc ile 128 bit kanıtlanabilir güvenlik, 300 kilobayt veya altında kanıtlar ve tekrar topolojisi için resmi bir güvenlik argümanı. Burada mühendislikten çok resmi yöntemler ve kriptografik kanıtlar ön plana çıkıyor.

Teknik araçlar

EF, 128 bit, 300 kilobayt altı hedefini gerçekleştirmeyi amaçlayan birkaç somut araca dikkat çekiyor. WHIR'ı, çoklu lineer polinom taahhüt şeması olarak iki katına çıkan yeni bir Reed-Solomon yakınlık testi olarak vurguluyorlar.

WHIR, şeffaf, post-kuantum güvenliği sunuyor ve daha eski FRI tarzı şemaların aynı güvenlik seviyesindeki kanıtlarından daha küçük ve doğrulaması daha hızlı kanıtlar üretiyor.

128 bit güvenlikteki benchmarklar, kanıtların yaklaşık 1.95 kat daha küçük ve doğrulamanın birkaç kat daha hızlı olduğunu gösteriyor.

Ayrıca, izleri polinomlar olarak kodlarken aşırı dolgu yapmaktan kaçınmak için kullanılan JaggedPCS adlı bir teknik setine de atıfta bulunuyorlar; bu, kanıtlayıcıların israfı önlemesine yardımcı oluyor ve yine de özlü taahhütler üretebiliyor.

Grinding'den, yani protokol rastgeleliği üzerinde daha ucuz veya daha küçük kanıtlar bulmak için zorlayıcı arama yapmaktan ve iyi yapılandırılmış tekrar topolojisinden, yani birçok daha küçük kanıtın dikkatlice tartışılan güvenilirlik ile tek bir nihai kanıt haline getirildiği katmanlı şemalardan bahsediyorlar.

Egzotik polinom matematiği ve tekrar hileleri, güvenliği 128 bite çıkardıktan sonra kanıtları küçültmek için kullanılıyor.

Bağımsız çalışmalar, Whirlaway gibi, WHIR'ı kullanarak iyileştirilmiş verimlilikle çoklu lineer STARK'lar inşa ediyor ve veri erişilebilirlik şemalarından daha deneysel polinom-taahhüt yapıları inşa ediliyor.

Matematik hızla ilerliyor, ancak aynı zamanda altı ay önce güvenli görünen varsayımlardan uzaklaşıyor.

Ne değişiyor ve açık sorular

Eğer kanıtlar sürekli olarak 10 saniye içinde hazır olursa ve 300 kilobaytın altında kalırsa, Ethereum, doğrulayıcıları her işlemi yeniden yürütmeye zorlamadan gaz limitini artırabilir.

Doğrulayıcılar bunun yerine küçük bir kanıtı doğrulayacak, blok kapasitesinin büyümesine izin verecek ve evde staking'i gerçekçi tutacak. Bu nedenle, EF'nin önceki gerçek zamanlı gönderisi, gecikme ve gücü açıkça 10 kilowatt ve 100.000 dolar altındaki ev kanıtı bütçeleri ile ilişkilendirmiştir.

Büyük güvenlik marjları ve küçük kanıtların birleşimi, bir L1 zkEVM'yi güvenilir bir yerleşim katmanı haline getirir. Eğer bu kanıtlar hem hızlı hem de kanıtlanabilir 128 bit güvenliyse, L2'ler ve zk-rolluplar, aynı makineleri önceden derlemeler aracılığıyla yeniden kullanabilir ve rollup ile L1 yürütmesi arasındaki ayrım, daha çok bir yapılandırma seçeneği haline gelir.

Gerçek zamanlı kanıt, şu anda bir off-chain benchmark, on-chain bir gerçeklik değil. Gecikme ve maliyet rakamları, EthProofs'un özenle hazırlanmış donanım kurulumları ve iş yüklerinden gelmektedir.

Bağımsız doğrulayıcıların bu kanıtlayıcıları evde gerçekten çalıştırması arasında hâlâ bir boşluk var. Güvenlik hikayesi değişiyor. Soundcalc'ın var olma nedeni, STARK ve hash tabanlı SNARK güvenlik parametrelerinin, varsayımlar çürütüldükçe sürekli değişmesidir.

Sonuçlar, kesinlikle güvenli, varsayımsal olarak güvenli ve kesinlikle güvensiz parametre rejimleri arasındaki çizgiyi yeniden çizdi; bu da bugünün 100 bit ayarlarının yeni saldırılar ortaya çıktıkça yeniden gözden geçirilebileceği anlamına geliyor.

Tüm büyük zkEVM ekiplerinin, Mayıs 2026'ya kadar 100 bit kanıtlanabilir güvenliğe ve Aralık 2026'ya kadar 128 bit güvenliğe ulaşırken kanıt boyutu sınırlarının altında kalıp kalmayacağı veya bazılarının sessizce daha düşük marjları kabul edip ağır varsayımlara dayanıp doğrulamayı daha uzun süre off-chain yapıp yapmayacağı belirsizdir.

En zor kısım, matematik veya GPU'lar değil, tam tekrar mimarilerini resmileştirmek ve denetlemek olabilir.

EF, farklı zkEVM'lerin genellikle birçok devreyi bir araya getirdiğini ve bunlar arasında önemli yapıştırma kodları olduğunu kabul ediyor ve bu özel yığınların güvenilirliğini belgelemek ve kanıtlamak için çalışmanın önemli olduğunu belirtiyor.

Bu, Verified-zkEVM ve resmi doğrulama çerçeveleri gibi projeler için uzun bir çalışma süreci açıyor; bu projeler hâlâ erken aşamalarda ve ekosistemler arasında düzensizdir.

Bir yıl önce, soru, zkEVM'lerin yeterince hızlı kanıtlayıp kanıtlayamayacağıydı. Bu soru yanıtlandı.
Yeni soru, yeterince güvenilir bir şekilde, yarın bozulabilecek varsayımlara bağlı olmayan bir güvenlik seviyesinde, Ethereum'un P2P ağı boyunca yayılabilecek kadar küçük kanıtlarla kanıtlayıp kanıtlayamayacaklarıdır ve resmi olarak doğrulanmış tekrar mimarileri, yüz milyarlarca doları güvence altına alacak kadar sağlam olmalıdır.

Performans koşusu sona erdi. Güvenlik yarışı şimdi başladı.