CryptoSlate
Vitalik Buterin, Ethereum'da blok gas birimi başına proving maliyetlerine kesin bir sınır getirilmesi çağrısında bulundu. Böylece daha hızlı zero-knowledge proof üretme yarışına kaynak muhasebesi şartı eklenmiş olacak. Buterin, 15 Ekim tarihli paylaşımında ZKsync'in Airbender ekibini tebrik ederek üç öncelik sıraladı: yürütmenin matematiksel temsilini Ethereum spesifikasyonuyla eşleştirmek, prover maliyetini blok gas miktarına göre sınırlandırmak ve proof sisteminin kendisini güvenceye almak.
Proving tarafı hızla ilerliyor. ZKsync, 13 Ekim'de tek bir NVIDIA RTX PRO 6000 Blackwell GPU'nun art arda gelen 7.200 Ethereum mainnet bloğunun %99'u için 10 saniyenin altında proof ürettiğini açıkladı. Örnek performans ise garanti anlamına gelmiyor. Bir maliyet sınırı, tipik blokları değil, kasıtlı olarak pahalı blokları kapsamalı.
Neden önemli
Gas, bir bloğun kaynak tüketimini sınırlamak için kullanılıyor. Buterin'in argümanı, tanınan bu kapasitenin proving kaynakları için de güvenilir bir sınıra dönüşmesi gerektiği yönünde. Şu anda Last Call aşamasında Informational statüsünde olan ve 1 Kasım'da sona erecek EIP-7904, compute repricing yapılmamasını öneriyor. Ancak analiz yalnızca saniyede 100 milyon gas seviyesindeki bare-CPU yürütmesini kapsıyor ve ZK-SNARK proof üretimini açıkça ele almıyor.
Nethermind Research'ün ocak ayındaki ölçümleri, kriptografik precompile'ların yanı sıra modüler aritmetik veya bölme işlemlerinin gas başına proof üretimi açısından orantısız biçimde daha pahalı olduğunu gösterdi. Sonuçlar prover'a göre değişiyor. Donanım bütçesi yapan bir operatör için gerekli yedek kapasiteyi ortalama blok değil, kurallara uygun en ağır iş yükü belirliyor.
Piyasa etkisi
Muhtemel seçenekler arasında Nethermind'in ana hatlarını çizdiği, blok başına tavan içeren ağırlıklandırılmış ZK-gas ölçümü veya mevcut gas kapasitesi üzerinden opcode'ların yeniden fiyatlandırılması bulunuyor. İkinci seçenek, proof ağırlıklı işlemleri kullanan uygulamalar için maliyetleri artırır. EIP-7999'un çok boyutlu ücret piyasası hâlâ Draft aşamasında. EIP-8025'in isteğe bağlı execution-proof teklifi ise prover'lar için herhangi bir teşvik sunmuyor. Açık iş yüklerine, donanıma ve güvenlik varsayımlarına bağlı bir sınır yürürlüğe girene kadar, daha yüksek yürütme kapasitesi bağımsız prover'lar için öngörülemeyen bir proving faturası anlamına geliyor.
Sıkça sorulan sorular
-
Vitalik Buterin Ethereum'un proving maliyetleri için ne önerdi?
15 Ekim tarihli paylaşımında blok gas birimi başına proving maliyetlerine kesin bir sınır getirilmesini istedi. Bu öneri, yürütmenin spesifikasyonla eşleştirilmesi ve proof sistemi güvenliği de dahil olmak üzere formal verification öncelikleriyle birlikte sunuldu.
-
ZKsync'in mevcut Ethereum proof'ları ne kadar hızlı?
ZKsync, tek bir NVIDIA RTX PRO 6000 Blackwell GPU'nun art arda gelen 7.200 mainnet bloğunun %99'u için 10 saniyenin altında proof ürettiğini açıkladı. Örneklenen tüm bloklar 12 saniyenin altında tamamlandı.
-
EIP-7904 neden proof üretimini kapsamıyor?
EIP-7904, saniyede 100 milyon gas seviyesindeki bare-CPU yürütme analizine dayanarak compute repricing yapılmamasını öneriyor. Ayrıca farklı iş yükleri oluşturan ZK-SNARK proof üretimini ele almadığını açıkça belirtiyor.
-
Ethereum'da hangi işlemler için proof üretmek en pahalı?
Nethermind Research'ün ölçümleri, kriptografik precompile'ların ve bazı modüler aritmetik veya bölme işlemlerinin gas başına proof üretiminde görece daha pahalı olduğunu gösterdi. Maliyetler SP1 ve RISC0 gibi prover'lar arasında değişiyor.
-
Ethereum proving maliyeti sınırını nasıl uygulayabilir?
Seçenekler arasında Nethermind'in önerdiği, blok başına tavan içeren ağırlıklandırılmış ZK-gas ölçümü veya mevcut gas kapasitesi üzerinden opcode'ların yeniden fiyatlandırılması bulunuyor. Böylece proof ağırlıklı işlemler bir bloğun kapasitesinin daha büyük bölümünü tüketir.
CoinDesk
CoinTelegraph
WuBlockchain
CZ Binance
Glassnode
WatcherGuru
TheBlock
Crypto News