Ethereum'un Doğrulama Maliyetleri, Vitalik'in Sert Sınır Zorlamasına Maruz Kalıyor

Vitalik Buterin, blok gaz başına Ethereum kanıt maliyetleri için bir üst sınır talep etti. Buterin, 15 Ekim'de bir gönderide ZKsync'in Airbender ekibini tebrik etti ve üç resmi doğrulama önceliğini belirledi: yürütmenin matematiksel temsilini Ethereum'un spesifikasyonuyla eşleştirmek, kanıtlayıcı maliyetini blok gazla sınırlamak ve kanıt sistemini güvence altına almak. Gaz, yürütme işini temsil eder ve blok kaynak tüketimini sınırlar, ancak kullanışlı bir kanıt sınırı, bu izni kasıtlı olarak zorlu iş yükleri de dahil olmak üzere kanıt oluşturma kaynaklarıyla ilişkilendirmelidir. Ethereum Vakfı, Aralık 2025'te güvenlik odaklı bir aşama belirledi.

EIP-7904'ün mevcut hesaplama maliyeti analizi, hesaplama gaz maliyetinde herhangi bir değişiklik önermemekte ve Ethereum'un gaz planında değişiklik belirtmemektedir. EIP-7904, 18 Ekim itibarıyla Son Çağrı aşamasında bilgilendirme amacı taşıyan bir öneridir ve 1 Kasım tarihinde son başvuru süresi bulunmaktadır. EIP-7904'ün analizi, optimize edilmiş yerel yürütme istemcilerinde saniyede 100 milyon gaz hedeflemektedir. EIP-7904, önceki sorunlu işlemlerin hızlandırılmasını sağlayan Blok Düzeyi Erişim Listeleri tarafından mümkün kılan iyileştirmeler nedeniyle sonuçlarını değiştirmiştir. Ancak EIP-7904, sadece temel bir CPU üzerinde yürütmeyle ilgilenmekte ve ZK-SNARK kanıt üretimi gibi farklı iş yükleri getiren unsurları açıkça dışlamaktadır.

ZKsync, 13 Ekim'de bir NVIDIA RTX PRO 6000 Blackwell'un, şahit hazırlığı da dahil olmak üzere, 7.200 ardışık Ethereum ana ağ bloğunun %99'unu her biri 10 saniyenin altında doğruladığını bildirdi. ZKsync, örneklenen her bloğun 12 saniyenin altında tamamlandığını belirtti. ZKsync, aynı zamanda iki ve dört GPU kullanarak ayrı canlı ETHproofs yapılandırmalarından da bahsetti. Ancak, maksimum maliyet garantisi, belirtilen varsayımlar dahilinde, doğrulaması maliyetli olacak şekilde bilinçli olarak oluşturulmuş bloklar da dahil olmak üzere tüm izin verilen iş yüklerini kapsamalıdır. Tipik bir blok küçük bir kurulumla uygun olabilirken, zorlu izin verilen bir iş yükü, bir operatörün kanıtları zamanında üretmek için gereken rezerv kapasitesini belirler.

Nethermind Research'in Lin Oshitani, 27 Ocak ölçümlerinde, kriptografik ön derleme ve birkaç modüler aritmetik veya bölme işleminin her gaz başına kanıtlanmasının nispeten maliyetli olduğunu tespit etti. Oshitani'nin ölçümleri, maliyetlerin kanıtlayıcıya göre değiştiğini ve ZK-döngü sayılarının işlemler arasında eşit geçen kanıt süresine dönüştürülemediğini gösterdi. Çalışma, çevresel yürütme bağlamını sabit tutarken işlem sayılarını değiştirerek marjinal kanıt süresini tahmin etti. Çalışma, sp1-cluster ile SP1 v5.2.3 ve RISC0 v3.0.4'ü, reth v1.9.3 ve dört NVIDIA GeForce RTX 4090 GPU kullanarak test etti. RISC0, RISC0_KECCAK_PO2=15 ayarını kullandı. Ölçümler, sabit temsili veya en iyi çaba ile en kötü durum girdilerini kullandı, blok başlığı doğrulamasını atladı ve acımasızca BLOCKHASH'ı atladı. Argümana bağlı maliyetlerin tam bir araştırması, gelecekteki bir çalışma olarak kaldı.

Ethereum Vakfı'nın Ocak ayı en kötü senaryo performans testi çerçevesi, gerekli kanıt throughpu'yu seçilen bir blok gaz limiti ve kanıt son teslim tarihi ile ilişkilendirir. Çerçeve, amaçlanan donanım ve zaman bütçesine uyacak şekilde zor bir bloğun yerleştirilmesini gerektirir. Çerçeve, işlem seviyesindeki tahminlerin sonundan sona kadar kontrollerle kontrol edilmesi gerektiğini açıklar, çünkü kanıt üretimi sabit bir üst yükü içerir, birleştirme doğrusal olmayabilir ve donanım yapılandırmaları ile güvenlik parametreleri performansı etkiler. Katılması beklenen yürütme istemcileri ve kanıt sistemleri de önemlidir.

Pahalı bir devre veya yürütme yolunu iyileştirmek, işlem yürütme gaz birimlerini değiştirmeden kanıt işini azaltabilir ve operatörlerin aynı yük için daha az kaynak kullanmasını sağlar. Nethermind'in araştırması, sıradan yürütme-gaz limiti tükenmeden önce kanıt ağırlıklı işlemlere sınır koyabilecek, blok bazlı bir üst sınırı olan ağırlıklı ZK-gaz ölçümlemesini de tanımladı. Ağırlıklı ZK-gaz ölçümlemenin koruması, ağırlıkların zor girdileri ne kadar doğru yakaladığına bağlı olacaktır. Bir kaynak üst sınırı, uygulama-kullanıcı ödemelerini veya kanıtlayıcı gelirlerini belirlemeksizin kabul edilen işi sınırlayabilir. Bir kanıt kaynağı için ücret talep etmek, ek tasarım seçimlerini gerektirir. EIP-7999, veri çağrısını kendi kaynağına ayıran bir Taslak çok boyutlu ücret pazarı önerisidir.

Opcode yeniden fiyatlandırma, pahalı işlemlere daha fazla gaz atayarak, sabit bir gaz limiti içinde bu tür işlemlerden daha azını bir bloğa dahil etmeyi sağlar. Yeniden fiyatlandırılan işlemleri kullanan uygulamalar, aynı başarılı yürütme için daha fazla gaz tüketebilir. EIP-1559'un yürütme ücreti mekanizması, ücretlendirilen gazı etkili gaz fiyatıyla çarpar. Aynı başarılı işlem için daha fazla gaz ücretlendirilen bir uygulama, değişmeyen pozitif bir etkili gaz fiyatı üzerinde daha fazla ödeme yapar.

EIP-8025, kanıt sağlayıcı teşvikleri sağlamayan ve kanıtlar mevcut olsa bile yeniden yürütümü koruyan, geçici bir isteğe bağlı yürütme kanıtı önerisidir. Ethereum Vakfı'nın Eylül öncelikleri, zorunlu kanıtları daha sonraya erteleyip çatallanma sıralamasını gözden geçirmektedir. EIP-7904'ün 1 Kasım tarihli inceleme süresi, CPU analizini ilgilendirir; bağımsız kanıtlayıcılar, açık iş yükleri, uygulamalar, güvenlik ayarları ve donanım varsayımlarıyla sınırlı olmalıdır. Böyle bir sınır, bir gaz limitini, bir operatörün sağlayabileceğini beklediği kanıt kaynakları üzerinde güvenilir bir sınır haline getirecektir.