Analiz: Vitalik Buterin, Ethereum'da ispatlama maliyetlerine kesin üst sınır çağrısı yaptı

Vitalik Buterin, blok gas birimi başına Ethereum ispatlama maliyetlerine kesin bir üst sınır getirilmesi çağrısında bulundu. Buterin, 15 Ekim'deki bir paylaşımında ZKsync'in Airbender ekibini kutladı ve biçimsel doğrulama için üç öncelik belirledi: yürütmenin matematiksel gösterimini Ethereum'un spesifikasyonuyla eşleştirmek, ispatlayıcı maliyetini blok gas miktarına göre sınırlamak ve ispat sistemini güvence altına almak. Gas, yürütme işini karşılar ve blok kaynaklarının tüketimini sınırlar ancak faydalı bir ispatlama üst sınırı, bu tahsisi kasıtlı olarak zor iş yükleri de dahil olmak üzere ispat üretimi için gereken kaynaklarla ilişkilendirmeli. Ethereum Vakfı, Aralık 2025'te güvenlik odaklı bir aşama belirledi.

EIP-7904'ün mevcut hesaplama maliyeti analizi, hesaplama gas maliyetlerinde değişiklik yapılmamasını öneriyor ve Ethereum'un gas çizelgesinde değişiklik öngörmüyor. EIP-7904, 18 Ekim itibarıyla Son Çağrı aşamasında olan bilgilendirme amaçlı bir öneri; son tarih 1 Kasım. EIP-7904'ün analizi, optimize edilmiş yerel yürütme istemcilerinde saniyede 100 milyon gas hedefliyor. EIP-7904, sonucundaki değişikliği; daha önce sorun yaratan işlemleri hızlandıran paralel çalışma da dahil olmak üzere, Blok Düzeyinde Erişim Listeleri'nin mümkün kıldığı optimizasyonlara bağlıyor. Ancak EIP-7904, yalın bir CPU'daki yürütmeyi kapsıyor ve farklı iş yükleri gerektiren ZK-SNARK ispatı üretimini özellikle kapsam dışında bırakıyor.

ZKsync, 13 Ekim'de tek bir NVIDIA RTX PRO 6000 Blackwell'in Ethereum ana ağında art arda gelen 7.200 bloğun %99'unu, tanık hazırlığı da dahil olmak üzere her biri 10 saniyenin altında ispatladığını bildirdi. ZKsync, örneklemdeki her bloğun 12 saniyenin altında tamamlandığını bildirdi. ZKsync ayrıca, iki ve dört GPU kullanan ayrı canlı ETHproofs yapılandırmalarını da anlattı. Ancak azami maliyet garantisi, ispatlanması kasıtlı olarak pahalı olacak şekilde oluşturulan bloklar dahil, belirtilen varsayımlar çerçevesindeki izin verilen tüm iş yüklerini kapsamalı. Tipik bir blok küçük bir kurulumla işlenebilirken, zamanında ispat üretmek için operatörün ihtiyaç duyacağı yedek kapasiteyi zor bir iş yükü belirler.

Nethermind Research'ten Lin Oshitani, 27 Ocak'ta yayımlanan ölçümlerde kriptografik ön derlemelerin ve bazı modüler aritmetik veya bölme işlemlerinin gas başına ispatlanmasının görece pahalı olduğunu buldu. Oshitani'nin ölçümleri, maliyetlerin ispatlayıcıya göre değiştiğini ve ZK çevrimi sayılarının işlemler arasında eşit ispatlama sürelerine karşılık gelmediğini gösterdi. Çalışmada, çevresindeki yürütme bağlamı sabit tutulurken işlem sayıları değiştirilerek marjinal ispatlama süresi tahmin edildi. Çalışmada reth v1.9.3 ve dört NVIDIA GeForce RTX 4090 GPU kullanılarak sp1-cluster ile SP1 v5.2.3 ve RISC0 v3.0.4 test edildi. RISC0, RISC0_KECCAK_PO2=15 ayarını kullandı. Ölçümlerde sabit, temsili veya mümkün olan en kötü durum girdileri kullanıldı; blok başlığı doğrulaması dışarıda bırakıldı ve BLOCKHASH yanlışlıkla atlandı. Argümana bağlı maliyetlerin kapsamlı biçimde incelenmesi sonraki çalışmalara bırakıldı.

Ethereum Vakfı'nın ocak ayındaki en kötü durum kıyaslama çerçevesi, gereken ispatlama verimini seçilen blok gas limiti ve ispatlama son tarihiyle ilişkilendiriyor. Çerçeve, zor bir bloğun hedeflenen donanım ve zaman bütçesine sığmasını şart koşuyor. Çerçeveye göre işlem düzeyindeki tahminler uçtan uca kontrollerle doğrulanmalı; çünkü ispat üretiminin sabit bir ek yükü var, birleştirme doğrusal olmayan bir seyir izleyebilir ve donanım yapılandırmalarıyla güvenlik parametreleri performansı etkiler. Katılımı beklenen yürütme istemcileri ve ispat sistemleri kümesi de önem taşıyor.

Pahalı bir devrenin veya yürütme yolunun iyileştirilmesi, işlem yürütme gas birimlerini değiştirmeden ispatlama işini azaltabilir ve operatörlerin aynı iş yükü için daha az kaynak kullanmasını sağlayabilir. Nethermind'ın çalışması ayrıca, olağan yürütme gas tahsisi tükenmeden önce ispat açısından ağır işlemleri sınırlayabilecek, blok başına üst sınıra sahip ağırlıklı ZK-gas ölçümünü de ortaya koydu. Ağırlıklı ZK-gas ölçümünün sağlayacağı koruma, ağırlıkların zor girdileri ne kadar doğru yansıttığına bağlı olur. Kaynak sınırı, uygulama kullanıcılarının ödemelerini veya ispatlayıcıların kazançlarını belirlemeden kabul edilen işi sınırlayabilir. Bir ispatlama kaynağı için ücret alınması ek tasarım tercihleri gerektirir. EIP-7999, calldata'yı ayrı bir kaynağa ayıran Taslak aşamasında bir çok boyutlu ücret piyasası önerisi olmayı sürdürüyor.

Opcode'ların yeniden fiyatlandırılması, pahalı işlemlere daha fazla gas tahsis ederek sabit bir gas limiti içinde bu tür işlemlerden bir bloğa daha az sayıda alınmasını sağlar. Yeniden fiyatlandırılan işlemleri kullanan uygulamalar, aynı başarılı yürütme için daha fazla gas tüketebilir. EIP-1559'un yürütme ücreti mekanizması, tahsil edilen gas miktarını etkin gas fiyatıyla çarpar. Aynı başarılı işlem için daha fazla gas tahsil edilen bir uygulama, etkin gas fiyatı pozitif kalırken daha fazla ödeme yapar.

EIP-8025, ispatlayıcılara teşvik sağlamayan ve ispatlar mevcut olsa bile yeniden yürütmeyi sürdüren Taslak aşamasında, isteğe bağlı bir yürütme ispatı önerisi olmayı sürdürüyor. Ethereum Vakfı'nın eylül ayındaki öncelikleri, zorunlu ispatları daha sonraki bir aşamaya koyuyor; fork sıralaması ise inceleniyor. EIP-7904'ün 1 Kasım'daki inceleme tarihi CPU analizini kapsarken bağımsız ispatlayıcıların açık iş yükleri, uygulamalar, güvenlik ayarları ve donanım varsayımlarına bağlı bir üst sınıra ihtiyacı var. Böyle bir üst sınır, gas tahsisini operatörün hazır bulundurması gereken ispatlama kaynaklarına ilişkin güvenilir bir limite dönüştürür.