Ethereum(ETH) blok doğrulama görevinde sonlu üst sınır kanıtlayan başvuru yok

Ethereum blok doğrulama programının en kötü durumdaki çalıştırma adım sayısını kanıtlamayı amaçlayan açık evm.fast görevinin referans puanı 3 Kasım itibarıyla “sonsuz” (∞). Açık sıralama tablosunda sonlu bir üst sınır sunarak yükselen başvuru bulunmuyor.

evm.fast görev sayfası, sabit Pancake EVM programının 64 bit RISC-V Flapjack modelinde çalıştırılması için gereken adım sayısının üst sınırı K’yı puan olarak kullanıyor. Programın başlangıç adımları da hesaba katılıyor.

Görev, beyan edilen gas sınırı 200 milyon veya daha az olan girdileri kapsıyor. Programın 128 MiB’lık program penceresine sığması gerekiyor.

Katılımcıların sabit programla eşleşen sonuçlar üreten RISC-V bayt kodunu ve bunu kanıtlayan Lean kanıtını sunması gerekiyor. Yalnızca çalıştırma testini geçmek başvuru şartlarını karşılamıyor.

“Sonsuz” puanı, programın hiç bitmediği anlamına gelmiyor. Referans başvuru, her hedef girdide çalıştırmanın sona erdiğini kanıtladı; ancak tüm girdilere uygulanabilecek sonlu bir adım sayısı üst sınırı ortaya koyamadı.

Sıralamada sertifikalı K üst sınırı daha düşük olan başvurular öne çıkıyor. K değerleri eşitse yeni başvurunun doğrulama süresi mevcut başvurudan en az %5 daha kısa olmalı.

K, Ethereum protokolündeki gas sınırını veya gerçek donanımda geçen süreyi göstermiyor. Belirlenen program, RISC-V yürütme modeli ve girdi aralığı için gereken adım sayısının üst sınırını ifade ediyor.

evm.fast, Ethereum blok yürütme sonuçlarını sıfır bilgi kanıtlarıyla doğrulamayı amaçlayan zkEVM araştırmalarıyla bağlantılı. zkEVM yaklaşımında doğrulayıcıların işlemleri yeniden yürütmek yerine kısa bir kanıtı kontrol etmesi hedefleniyor.

Ethereum Vakfı (Ethereum Foundation), 18 Aralık 2025’te yayımladığı güvenlik yazısında hedef donanımda tüm bloğun %99’unun 10 saniye içinde kanıtlanabildiğini bildirdi. Yazıda kanıt gecikmesinin 16 dakikadan 16 saniyeye indiği belirtilirken, sıradaki zorluğun güvenlik olduğu vurgulandı.

zkSync de ayrı bir testte 7200 Ethereum bloğunun %99’unu 10 saniye içinde kanıtladığını açıklamıştı. TokenPost’un o dönemki haberinde, kanıt hızının tek başına uygulamanın güvenli veya doğru olduğunu göstermediğine de dikkat çekilmişti.

Ethereum Vakfı, 7 Eylül 2026’da yayımladığı protokol öncelikleri belgesinde yürütme kanıtlarını isteğe bağlı özellikten beklenen, ardından zorunlu bir özelliğe dönüştürmeyi amaçlayan zkEVM araştırma yönünü ortaya koydu. Mevcut yol haritasında zorunlu kanıtların devreye alınacağı aşama K* olarak belirlenirken, bunu L* aşamasına erteleyecek bir sıralama değişikliği de değerlendiriliyor.

Görev sayfasında zkSecurity ve Verity Labs işbirlikçi olarak listeleniyor. Açık kod Layr-Labs deposunda yer alıyor.

Açık deponun README dosyası, ilk başvurudaki arka uç kanıtlarının yeniden oluşturulması ve kapsamlı denetimin sürdüğünü, baştan sona doğrulamanın henüz tamamlanmadığını belirtiyor. Dosyada, sunulan program ile sabit yürütme modelinin eşdeğerliğini kanıtlamanın programın Ethereum’u doğru biçimde uyguladığını kanıtlamaya yetmediği de kaydediliyor.

Bu nedenle sonlu bir K kanıtlansa bile sonuç yalnızca görevde sabitlenen program, RISC-V yürütme modeli ve girdi aralığı için geçerli olacak. Bu, gerçek kanıtlama süresinin veya Ethereum gas maliyetinin değişeceği anlamına gelmiyor.