Cancun yükseltmesi geliyor. Ana akım L2'ler hangi uyarlamaları yaptı?

TL;DR:

• Cancun yükseltmesi 13 Mart 2024'te başlatılacak ve EIP4844 yakında çevrimiçi olacak. Danksharding, Ethereum yol haritasının temelini oluşturur ve bu yükseltme, Danksharding'i uygulamaya koymanın ilk adımıdır.
• Ethereum L2, EIP4844'e uyum sağladıktan sonra işlem ücretleri önemli ölçüde düştü ve L2'nin TPS'si iki katına çıktı. **Kullanıcılar işlemlerin daha hızlı, daha ucuz, daha sorunsuz ve daha hızlı yanıt verdiğini hissedecek. Bu L2'lerde daha karmaşık ve daha büyük Dapp uygulamaları olacak. **
• İyimser toplamaların EIP4844'e uyarlanması daha kolaydır, ZK toplamalarının ise uyarlanması daha karmaşıktır**. Ethereum'un BLS12-381 eliptik eğrilerini desteklemek için önceden derlenmiş bir sözleşmesi yoktur, bu da bazı ZKP doğrulamalarını zorlaştırır ve EIP4844'e uyum sağlayan ZK toplamalarının ilerlemesini engeller. **
• Eliptik eğri sorunu iki şekilde çözülebilir, 1. Ethereum'un BLS12-381 eliptik eğrilerini önceden derlemesini bekleyin; 2. Aynı amaca ulaşmak için başka bir kanıt yöntemi kullanın, Ethereum ön derlemesi tarafından desteklenen BN254'ü kullanın.
• Şu anda Arbitrum, Optimistic, Starknet, zkSync, Scroll, Polygon zkEVM ve yeni L2 Morph'un tümü EIP4844'e uyum sağlıyor. Bunlardan Arbitrum, Optimistic ve Starknet, Cancun yükseltmesinden sonra EIP4844 uyarlamasını uygulayacaklarını belirtti. Morph, EIP4844'e uyum sağlayan ilk zkSNARK zkEVM olacak yenilikçi zkSNARK zkEVM adaptasyon çözümünün piyasaya sürülmesinde liderliği üstlendi

1. Arkaplan

2020 yılında Ethereum "Toplama merkezli Ethereum Yol Haritası"nı yayınladı ve ertesi yıl Vitalik tarafından yayınlanan "Endgame"de açıklanan Ethereum'un son resmi**, Ethereum'un büyük resmini belirledi. Yön: Yapıyı optimize edin Rollup'a hizmet etmek için Ethereum'un temel katmanının. **

Ethereum, Danksharding'in parçalama teknolojisini, Ethereum'un bir veri kullanılabilirliği katmanı olarak kullanılabilirliğini geliştirmek için tasarladı. L2'nin işlem ücretlerini önemli ölçüde azaltacak, Rollup'ın TPS'sini artıracak ve Ethereum'da önemli bir genişleme sağlayacak.

Bu yıla kadar, Ethereum Cancun-Dencin yükseltmesi nihayet 13 Mart 2024'te başlatıldı ve EIP4844 çevrimiçi hale gelmek üzere.Bu hard fork, Ethereum'un Danksharding'i uygulamaya koymasının ilk adımı olduğu söylenebilir.Yol haritasının özü. **

DA katmanının ne olduğu, Danksharding'in teknik prensipleri ve EIP4844'ün içeriği hakkında lütfen geçen yıl yazdığım teknik makaleye bakın: DA (Veri Kullanılabilirliği) Yaz mı geliyor?

**2. Cancun yükseltmesi L2'ye nasıl fayda sağlayacak? **

EIP4844, blob taşıma işlemleri** adı verilen yeni bir işlem türünü sunar. **Her blob taşıyan işlem, blobların bir listesini "taşıyabilir". Blob, yaklaşık 125 KB boyutunda bir veri paketidir. Bloblar kısa bir süre için (yalnızca 4096 dönem) depolanır, bu da 18 günden biraz daha fazladır.

• L2 işlem ücretleri önemli ölçüde düştü. Bloblar kalıcı depolama gerektirmediğinden Bloblar blok alanına göre daha büyük ve daha ucuzdur. Blob, aynı gaz tüketiminde Calldata'ya göre 10 kat daha fazla veri depolayabilmektedir. EIP4844'e uyarlanan toplama, işlem verilerini Blob'larda depolayabilir ve işlem ücretlerini büyük ölçüde azaltabilir.
• L2'nin TPS'si iki katına çıkar. Mevcut hedef blok başına 3 blob olup maksimum 6 blob'a izin verilmektedir. Bloklar yalnızca 90 KB boyutundadır ve her bir blob yaklaşık 125 KB boyutundadır. Blob'un tanıtılması, Toplama verilerini depolamak için bloğun alanını birkaç kez genişletmeye eşdeğerdir, böylece Toplama'nın TPS'si de iki katına çıkarılabilir. Toni ve Vitalic tarafından yazılan "Blok Gas Limitinin Artırılması Üzerine" ise blok Gas limitinin ve sıfır olmayan Calldata baytlarının fiyatının arttırılmasıyla, daha az değişkenli daha küçük bir blok boyutu elde edileceğini, böylece daha fazlasının eklenebileceğini belirtti. gelecek. Blob. Blob sayısı arttıkça depolama alanı da artar.

Son kullanıcılar için **EthereumL2, EIP4844'e uyarlandıktan sonra işlem hızı daha hızlı olacak, maliyet daha düşük olacak, deneyim daha sorunsuz olacak ve yanıtlar daha duyarlı olacaktır. Bu L2'lerde daha karmaşık ve daha büyük Dapp uygulamaları olacak. **

3. L2, EIP4844'e nasıl uyum sağlar?

L2, EIP4844'e nasıl uyum sağlar? İyimser Toplama ve ZK Toplama'yı ayrı ayrı tartışmamız gerekiyor.

İyimser Toplamalar EIP4844'e uyum sağlar

İyimser toplama, toplama yürütmesinin doğruluğunu sağlamak için sahtekarlık kanıtını kullanır. Yani, düğüm ilk olarak durum geçişinin doğru olduğuna inanmayı seçer.Birisi daha önce gönderilen durum geçişinin yasa dışı olduğunu kanıtlamak için belirli bir süre içinde dolandırıcılık sertifikası başlatmadığı sürece durum geçişi iptal edilecektir.

İyimser toplamanın EIP4844'e uyarlanması ZK toplamasından daha kolaydır. Uyarlamayı tamamlamak için tüm L2 işlemlerini Blob taşıma işlemleri aracılığıyla L1'e gönderin. Ayrıca sahtekarlık önleme özelliğinin EIP4844'e uyum sağlayacak şekilde ayarlanması gerekiyor.Bu kısım yavaş yavaş yapılabilir. Sonuçta pek çok iyimser derleme henüz dolandırıcılık kanıtlarını sunmadı. İnternete bir sahtekarlık sertifikası koydum ancak iki yıldan uzun süredir hiçbir sahtekarlık sertifikasının gönderilmediğini gördüm.

L2 işlem gönderimi: Toplama gönderildiğinde Blob taşıma işlemi, Toplama verilerini Blob'da depolamak için kullanılır. Blob taşıyan işlemin yükü rlp([tx_payload_body, blobs, taahhütler, ispatlar]) şeklindedir; burada

• tx_payload_body- standart EIP-2718 blob işleminin TransactionPayloadBody'sidir.
• bloblar - Blobların listesi. Bir işlem en fazla iki blob içerebilir.
• taahhütler - Blob için KZG taahhütlerinin listesi.
• kanıtlar- KZG taahhüdüne karşılık gelen kanıtların bloğu ve listesi. Bu kanıt ETH düğümü tarafından doğrulanacak.

Dolandırıcılık kanıtı için düzenleme:

• İlk olarak, kanıtlayan ve meydan okuyanın anlaşmazlık noktasını bulmak için birden fazla etkileşim turuna ihtiyacı vardır.
• Daha sonra tartışmalı noktayı karar için L1'e gönderin. EIP4844'e uyum sağlamak için söz konusu verilerin belirli bir Blob'da depolandığını kanıtlamak gerekebilir.
• Blob verileri yaklaşık 18 gün sonra silineceğinden, sorgulama döneminin silinmeden önce olması gerekir; bu da mevcut iyimser toplamalar tarafından karşılanmaktadır. Genellikle meydan okuma süresi 7 günü geçmez.

ZK Toplamaları EIP4844'e uyum sağlar

ZK toplaması, L2 durum geçişinin doğru olduğunu kanıtlamak için ZKP'yi kullanır. ZK'nin EIP4844'e uyarlaması, iyimser toplamadan daha karmaşıktır.

1. L2 işlem gönderimi: İyimser Toplamanın bu adımı benzerdir.
2. **ZK kanıt gönderimi: Uyarlama öncesi ZK Rollup ile karşılaştırıldığında, ZKP durum geçişi kanıtına ek olarak bir kanıt süreci daha gereklidir. Yani, blob taahhüdünün ve işlem grubunun karşılık geldiği kanıtlanır, böylece durum geçiş kanıtı girişinin doğru olduğu sağlanır. **
3. Örneğin: durum geçişinin ZK devresi a + a = b hesaplama sürecinin bir kanıtını üretebilir. (a=1,b=2) ve (a=2,b=4) olduğunda oluşturulan ZKP yasaldır. Dolayısıyla o sırada sağladığım girdinin (a=2,b=4) yerine (a=1,b=2) olduğuna dair bir kanıt da sunmam gerekiyor.
4. Bunun EIP4844'e uyarlamadan önce yapılmasına gerek yoktur, çünkü veriler doğrudan Calldata'da saklanır ve doğrudan okunabilir, böylece girişin ayarlanmaması sağlanır. EIP4844 kullanıldıktan sonra Blob verileri doğrudan okunamaz ve bu ancak yeni bir devre aracılığıyla kanıtlanabilir.
5. STARK'ın ZK toplamasını (Starknet gibi) kullanarak bu kanıt mekanizmasını uygulamak daha kolaydır. Bu, SNARK kullanan ZK toplaması için bir zorluktur. Bunun nedeni şudur: **EIP4844'ün blob taahhüdü tarafından kullanılan eliptik eğri BLS12-381'dir, ETH önceden derlenmiş sözleşmesi ise yalnızca BN254'ü destekler. Farklı eğriler nedeniyle bizim için zor Akıllı sözleşmedeki blob taahhüdünün tamamlanma kanıtını doğrudan doğrulayın. **
6. **SNARK kullanan ZkEVM/zkVM'nin, 2. maddede belirtilen, eğri uyumsuzluğu nedeniyle ZK kanıtının üretilememesi sorununu çözmesi gerekir. **

• Ethereum'un BLS12-381 önceden derlenmiş sözleşmeleri desteklemesi bekleniyor. Bu uzun sürecek.
• İspatlamak için başka bir ispat yöntemi kullanın. Yeni devreler tasarlamak için önceden derlenmiş sözleşmeyle desteklenen BN254 eliptik eğrisini kullanmanız gerekir. Şu anda Morph'un bu yaklaşımı benimsediğini görüyoruz. Bu aynı zamanda Morph'u EIP4844 uyarlamasını tamamlayan ilk zkEVM yapıyor.

Morph'un EIP-4844 zkEVM entegre çözümü, lütfen bakın:

**4. Hangi L2'ler EIP4844'e uyarlanmıştır? **

Optimistic derlemesinde Optimism ve Arbitrum, EIP-4844'ü benimseme konusundaki kararlılıklarını ifade ettiler ve gerekli güncellemeleri test etmek ve dağıtmak için topluluklarıyla yakın işbirliği içinde çalışıyorlar. Arbitrum bir Aşama 1 toplamasıdır ve nispeten iyi bir güvenliğe sahiptir. Dolandırıcılık kanıtını EIP4844'e uyarlama ihtiyacını içerir. İyimser toplama, Aşama 0 toplamasıdır. Şu anda sahtekarlığa karşı kanıt yoktur. Uyum sağlaması daha kolaydır, ancak güvenlik yeterince yüksek değildir.

ZK rollup'ta STRAK ve SNARK kullanarak rollup uyarlamanın zorluğu farklıdır. EIP4844'ü STARK'ın toplamasıyla uyarlamak daha kolaydır ve Starknet de bunun temsilcilerinden biridir. Starknet, Cancun'un yükseltme sonrasında EIP4844 uyarlamasını uygulayacağını belirten bir makale yayınladı (makale bağlantısı). ZkSync, SNARK'ın toplamasını kullanarak maliyetleri daha da azaltmak ve performansı artırmak için blob taşıyan işlemlerden nasıl yararlanılacağını da araştırıyor. Scroll, geçen yıl EIP4844'ü uyarlama fikrini tanıtan bir makale yayınladı (makale bağlantısı)

**En etkileyici olanı, bir Optimist ZK Toplama olan ve zkEVM'yi EIP4844'e uyarlamak için bir çözüm yayınlayan ilk kişi olan Morph'tur **.**EIP4844'ü tamamlayan ilk zkEVM Toplama olduğu söylenebilir. **

İyimser ZK Toplama, her iki Toplama türünün avantajlarını birleştirir. Sequencer tarafından sunulan yürütme sonuçlarına iyimser bir şekilde inanır ve sonuçlar hakkında şüpheleri olanların mücadele başlatmasına izin verir. Yalnızca bir sorgulama yapıldığında kanıtlayıcı, yürütme sonuçlarının doğruluğunu kanıtlamak için ZKP'yi üretecektir. **İyimser toplamanın verimliliğine ve ZK toplamanın ZK tarafından kanıtlanmış güvenilirliğine sahiptir. **