Ethereum'nin bir gaz limiti vardır. Ancak herhangi bir geçerli bloğun doğrulanması için gerekli maksimum hesaplama işini matematiksel olarak kanıtlayabilir miyiz? İlginç bir şekilde, tam sorun modeli için henüz onaylanmış sonlu bir üst sınırımız yok. Bu, @yukonresearch, @zksecurityXYZ ve @Veritylab'ın https://t.co/w9Ti86Tqsj ile çözmeye çalıştığı sorun. Bugün Ethereum doğrulayıcıları, blokları doğrulamak için işlemleri bağımsız olarak yürütüyor. Ethereum, zkEVM tabanlı doğrulamaya doğru ilerledikçe, sorun sadece işlemleri doğru şekilde çalıştırmakla sınırlı kalmıyor. Aynı zamanda en kötü senaryodaki hesaplama maliyetini anlamamız gerekiyor. Neden bu önemli? Bir Ethereum bloğu geçerli olabilir ve yine de olağanüstü maliyetli bir hesaplama gerektirebilir. Doğrulama maliyetleri öngörülemez hale gelirse, gerçek zamanlı ZK doğrulama Ethereum ölçeklendirmesi için bir darboğaz haline gelebilir. https://t.co/w9Ti86Tqsj, blok doğrulama hesaplaması için matematiksel olarak onaylanmış üst sınırlar kurmak amacıyla açık bir yarışma sunuyor. Bu durumun etkileri büyük: → Daha öngörülebilir yürütme ve doğrulama yükleri. → Gerçek zamanlı ZK doğrulama için daha güçlü bir temel. → Ethereum gaz limitlerini yükseltmeye dair daha büyük güven. → Daha erişilebilir donanımlarda doğrulama yoluna açılan kapı. Elbette, yürütme adımlarını sınırlamak, hızlı ZK kanıtlarını otomatik olarak garanti etmez. Ancak bu önemli bir temel oluşturuyor. Ethereum'un sonraki ölçeklendirme zorluğu, yürütmenin sadece daha hızlı yapılması değil, en kötü senaryodaki hesaplama maliyetini öngörülebilir ve kanıtlanabilir hale getirmek. Ve @puffer_unifi gibi Ethereum rollup'lar, daha düşük gecikme süreleri ve senkron bileşenlik yönünde ilerledikçe, bu tür araştırmalar giderek daha önemli hale geliyor. https://t.co/SwPS2w3ic1