SNARK kullanan ZK-EVM'de Morph, EIP-4844 uyarlama çözümünün önerilmesinde başı çekti.

Yazan: Karen, Öngörü Haberleri

Cancun yükseltmesi başarıyla uygulandı.Bu yükseltme yalnızca teknik bir yenilik değil, aynı zamanda Ethereum ağının daha yüksek ölçeklenebilirliğe ve daha düşük Katman 2 maliyetlerine doğru ilerlemesi için önemli bir adımdır.

Bu yükseltmede EIP-4844 (Proto-Danksharding) şüphesiz en dikkat çekici temel bileşendir. EIP-4844'teki en büyük değişiklik, çağrı verilerinin yerine kullanılan Blob taşıma işlem türünün tanıtılmasıdır. Bu, Layer2 ağının tüm verileri Blobspace'e yayınlamasını sağlar ve Bloblar, konsensüs katmanındaki düğümler tarafından depolanır ve kalıcı depolama gerektirmez, verilerin belirli bir süre içinde kullanılabilir olmasını ve kullanılabilir sürenin 4096 dönem olmasını sağlar, yani yaklaşık 18 gün. Bu şekilde ölçeklenebilirlik büyük ölçüde iyileştirilecek ve gaz maliyeti önemli ölçüde azalacaktır.

Cancun yükseltmesinin ardından ana akım L2, EIP-4844'e birbiri ardına uyum sağlamaya başladı ve gaz maliyetlerinde de çok önemli bir düşüş yaşandı. Örneğin, yükseltmeden sonra Starknet, Base, Optimism ve Zora'nın ortalama gaz maliyetleri, yükseltmeden önceki 30 günle karşılaştırıldığında %96'dan fazla düştü.Arbitrum ve zkSync'in gaz maliyetleri de %77 düştü ve Sırasıyla %55. Blobscan verilerine göre şu anda 40.000'den fazla blob mevcut ve bu sayede işlem ücretlerinden toplam %93,69 oranında tasarruf sağlanıyor.

Yükseltme öncesi ve sonrası Cancun'daki ortalama gaz maliyetlerinin karşılaştırılması, kaynak: Dune

L2 Gas ücretlerindeki önemli düşüş, daha fazla kullanıcı ve geliştiricinin bunu tercih etmesini ve benimsemesini sağlayacaktır. Bu bağlamda, SNARK kullanarak ZK-EVM'de ayrıntılı bir EIP-4844 uyarlama şeması öneren ilk kişi olan L2 Morph, özel ilgiyi hak ediyor. Morph'un uyarlama çözümlerini ve özelliklerini genişletmeden önce, ilk olarak ana akım L2'nin EIP-4844'e nasıl uyum sağladığına bir göz atalım.

Uyarlama yöntemi açısından bakıldığında, EIP-4844'e uyum sağlamak için L2'nin genellikle toplu gönderimde değişiklik yapması, blob verilerini alması ve L2 durum geçişi Doğrulayıcısını doğrulaması ve L1'de L2 durum geçişinin L1 kanıtını doğrulaması gerekir.

Özellikle Arbitrum, Arb OS20 yükseltmesi yoluyla Cancun yükseltmesinin EIP değişikliklerini uyguladı. EIP-4844 uyarlaması açısından, uyarlamanın, ilk işlem gönderiminden dolandırıcılık kanıtına ve güncelleme sıralaması da dahil olmak üzere blob veri ayrıştırmaya kadar gerçekleştirilmesi gerekiyor. işlemleri bloblar halinde yayınlamayı desteklemek için), Nitro'nun dolandırıcılık kanıtlayıcısı, KZG ve SHA256 eşlemelerinin kanıtlanmasını desteklemek için ve EIP-4844 bloblarından veri ayrıştırmayı yönetmek için temel Nitro düğüm yazılımı.

Aynı zamanda bir Optimist Toplama olan Optimism, Blob DA L1 veri alma aşamasını destekleyerek Blob verilerinin kullanılabilirliğini sağlar ve OP zinciri operatörlerinin zincirlerini yükseltmesini ve Ecotone için sıralayıcıları yapılandırmasını gerektirir. Şu anda, Optimism ana ağı henüz sahtekarlığa karşı korumayı başlatmadı, ancak yakın zamanda test ağında sahtekarlığa karşı korumayı başlattı.Ayrıca, OP Stack zincirinin EIP çözümü şu anda sahtekarlığa karşı kanıtla ilgili doğrulamayı kapsamaz, yalnızca bir optimizasyondur mevcut L1 depolama yönteminin.

Bir ZK Toplama olarak Starknet, hesaplamaların doğru şekilde gerçekleştirildiğini kanıtlamak için STARK (Sıfır Bilgi Ölçeklenebilir Şeffaf Bilgi Argümanları) geçerlilik kanıtlarını kullanır. EIP-4844'e uyarlama yapılırken Starknet'in durum geçişleri belirli bir formatta kodlanır ve durum geçişleri FFT (Hızlı Fourier Dönüşüm algoritması) üzerinden hesaplanır.Ayrıca ters FFT ve duruma göre durum geçiş formatını içeren ters bir işlem de söz konusudur. şifresini çözmek için. Başka bir ZK Toplama, zkSync, STARK tabanlı prova sistemi "Boojum"a geçiş yaparak ZK devre yükseltmelerini uygular.

EIP-4844, KZG taahhütlerini temsil etmek için BLS12-381 eğrisini kullanırken, Ethereum Şu anda, ZK-SNARK'ın (Sıfır Bilgi Özlü Etkileşimsiz Bilgi Argümanı) zincirde daha ölçeklenebilir ve verimli olduğunu kanıtlasa da unutulmamalıdır. yalnızca BN254 eğrilerinin önceden derlenmesini destekliyoruz, bu nedenle SNARK kullanan Toplama, EIP-4844'e uyarlanırken belirli karmaşıklıklarla karşı karşıya kalır. Bu nedenle ZK devre tasarımının ilgili eğri eşdeğerliğine uyum sağlayacak şekilde ayarlanması acil bir konu haline gelir.

Henüz SNARK'ın Rollup uygulamasının EIP-4844'e uyum sağlamak için kullanıldığını görmemiş olsak da Morph, uygulama sürecinde karşılaşılan bir dizi sorunu çözmek için EIP-4844 teklifi kapsamında pratik ve verimli bir devre tasarımı çözümü önermede öncülük etti. , özellikle işlem verileri kodlaması ve Blob alanı kullanımı sorunları.

EIP-4844 ile uyumluluk açısından Morph, Ethereum tabanlı DA şemasını, yanıt veren geçerlilik kanıtını ve toplu ZK kanıt şemasını tamamen uyumlu hale getirecek ve EIP-4844'e uyarlanacak, böylece işlem maliyetlerini azaltacak, işlem verimini artıracak ve güvenlik ve uyumluluk.

Bunlardan ilki Blob veri kodlamasıdır. Morph, Batch uzunluğunu birden fazla Chunk uzunluğuna böler ve bunları her bir öbek parçasındaki Blob öğelerinde saklar. Morph, Blob verilerinin taahhüdünü hesaplamak için KZG taahhüdünü kullanır ve taahhüdün doğruluğunu doğrulamak için ilgili doğrulama yöntemini kullanır; bu, Blob verilerinin bütünlüğünü ve doğrulanabilirliğini sağlar. İkinci adım Blob polinom değerlendirme doğrulamasıdır.Morph, Blob verilerine karşılık gelen polinomun değerini belirli zorluk noktalarında doğrulamak için devre kanıtını kullanır.Bu doğrulama işlemi, verilerin doğruluğunu ve tutarlılığını sağlar.

İşlem verilerinin uzunluğunun sabit olmaması sorununa yanıt olarak Morph, sıfır doldurma stratejisini benimsiyor. Bir Yığında, işlem verilerinin uzunluğu 32 baytın tamsayı katı değilse, Morph, kodlanmış sonlu alan elemanlarının sayısının bir tamsayı olmasını sağlamak için ondan sonra 0 ekleyecektir. Bunun yararı, sonraki veri toplama sürecini geliştirebilmesidir.

İşlem verilerinin iki Blob'a dağıtılabilmesi sorunuyla ilgili olarak Morph, bir işlemin verilerinin iki Blob'da depolanmayacağına dair bir kural koyar. Bu tasarım, işlemlerin bütünlüğünü ve bağımsızlığını sağlar ve veri segmentasyonunun neden olduğu karmaşıklığı ve potansiyel güvenlik risklerini önler. Aynı zamanda birden fazla blob'un işleme verimliliğini optimize etmek için Morph, KZG'nin vaat ettiği çok noktalı açma yöntemini benimsiyor. Bu yöntem, doğrulama işlemi sırasında birden fazla blobun aynı anda işlenmesine olanak tanıyarak doğrulama verimliliğini artırır.

Son olarak, düşük Blob alanı kullanımı sorununu çözmek için, yani bir Batch veya chunk verisinin kodlamadan sonra 4096'dan az sonlu alan öğesine sahip olabilmesi sorununu çözmek için Morph, yeni bir toplama şeması önerdi. Bu çözümde, başlangıçta parti uzunluğu bilgisini depolamak için kullanılan ilk beş bitten dördü, parça yığın uzunluğu bilgisini depolamak için değiştirilir. Bu değişiklik, her parçanın kendi parçasının uzunluğunu bağımsız olarak kaydetmesine olanak tanır ve böylece alan kullanımını artırır.

Morph, bu tasarımları ve çözümleri entegre ederek verimli veri kodlama ve doğrulama yöntemleri sağlar ve yenilikçi toplama kanıtlı çözümler aracılığıyla daha yüksek alan kullanımı ve doğrulama verimliliği elde edebilir ve Gaz tüketimini daha da azaltabilir.

Morph'un, Optimistic Rollup ve ZK Rollup teknolojilerinin avantajlarını birleştirerek benzersiz bir Optimistic ZK Rollup geliştirdiğini de belirtmek gerekir. Her Batch için ZKP üretmeye gerek duymaz, böylece ölçeklenebilirlik, düşük maliyet ve yüksek performans arasında bir denge bulur. . Dengeli.

Buna ek olarak, Morph tarafından benimsenen ZK-SNARK (sıfır bilgi, özlü, etkileşimli olmayan bilgi argümanı) güvenilir ayarlara dayanır ve oluşturulan kanıtın bayt sayısı daha küçüktür, dolayısıyla zincir üzerinde daha ölçeklenebilir, özlü ve verimlidir. .

Daha da önemlisi Morph, yeni standartlara hızla uyum sağlamasına olanak tanıyan esnek bir modüler mimariyi benimser. Bu, Morph'un EIP-4844'ü verimli bir şekilde entegre etmesini ve daha düşük DA maliyetleri ve gelişmiş işlem verimliliği elde etmek için gereken zamanı ve çabayı azaltmasını sağlar. Bunun aksine, sıradan Toplama, mevcut sistemlerle kusursuz etkileşim sağlamak için bir ana ağ hard fork'u veya sözleşme aracısı yükseltmesi ve kapsamlı bir test aşaması gerektirir.

Daha önce de belirtildiği gibi, Morph'un EIP-4844 uyarlama şeması Gaz tüketimini azaltma, uyumluluk, Blob alanı kullanımını iyileştirme ve verimli doğrulama konularında avantajlara sahiptir.Ayrıca, Morph'un toplama kanıtı entegrasyonu, Toplu Önlemler aracılığıyla parça uzunluğu bilgisine bölünür ve değiştirilir. kanıt sayısı ve doğrulama sayısı, böylece zincirdeki gaz tüketimini büyük ölçüde azaltır. Çözümün pratikliği, verimliliği ve optimize edilmiş devre tasarımı, onu Ethereum ekosisteminin gelişimini de yönlendirmesi beklenen çekici bir seçenek haline getiriyor.

Tüketici düzeyinde konumlanan bir Katman 2 platformu olan Morph, güvenlik, verimlilik, ölçeklenebilirlik ve düşük maliyet açısından iyileştirme ve optimizasyona odaklanır. Çoğu L2'den farklı olarak Morph, çeşitli günlük tüketici DApp'lerinin oluşturulmasını desteklemeye daha fazla kendini adamıştır. Bu çeşitli konumlandırma, Morph'un daha geniş bir yelpazedeki kullanıcı ihtiyaçlarını karşılamasını sağlar.

L2 ekolojisinin mevcut gelişme eğiliminde Morph, tüketici düzeyinde bir L2 olarak benzersiz Optimistic ZK Rollup ile öne çıkıyor. Optimistic ve ZK Rollup'ın iki ana genişleme çözümünün avantajlarından yararlanabilir. İyimser Toplama ve ZK-SNARK'ın kısa ve etkileşimli olmayan doğrulamasını benimser; maliyet, verimlilik ve ölçeklenebilirlik açısından önemli avantajlara sahiptir. Mükemmel ölçeklenebilirlik, Morph'un gelecekte çeşitli yüksek eşzamanlılık uygulama senaryolarının ihtiyaçlarını destekleyebilmesini sağlayarak Morph'un daha hızlı, daha düşük maliyetli ve geliştiriciler ve kullanıcılar tarafından benimsenmesini daha kolay hale getirmesini sağlar.

Morph teknoloji açısından yenilik ve öngörü göstermeye devam ediyor.Yukarıda belirtildiği gibi Optimistic ZK Rollup'a ek olarak Morph ayrıca tek hata noktalarının etkisini ortadan kaldırır ve merkezi olmayan bir sıralayıcı sunarak ağ güvenliğini ve istikrarını korur. Duyarlı Geçerlilik Kanıtı (RVP) sistemi ve modüler tasarımı da, verimli ve esnek ölçeklenebilirlik sağlayan ve daha karmaşık ve veri yoğunluklu uygulamalar için daha iyi bir ortam yaratarak daha geniş bir kullanıcı tabanı yelpazesinin ilgisini çeken, öne çıkan özellikleridir.

Bu ay Morph ayrıca 19 milyon ABD Doları tutarındaki tohum turunun ve 1 milyon ABD Doları tutarındaki melek finansman turunun tamamlandığını duyurdu. Tohum turu Dragonfly Capital tarafından Pantera Capital, Foresight Ventures, The Spartan Group, MEXC Ventures'ın katılımıyla yönetildi. ve melek turu Yatırımcılar arasında Polygon, Manta, Galxe, Sei, Nansen, Story Protokolü gibi projelerin kurucuları ve Icebergy, MoonOverlord, NaniXBT ve Dingaling gibi KOL'ler yer alıyor.

Morph'un son finansman turu, kripto para birimi ticaret platformu Bitget'in milyonlarca dolarlık ilk yatırımıyla geçen yılın Aralık ayına dayanıyor. Morph ayrıca kullanıcı odaklı bir halka açık zincir ekosistemini ortaklaşa geliştirmek ve oluşturmak için Bitget'in mevcut kullanıcı ekosistemini ve kaynaklarını kullanacak.

Morph'un son finansman turu, kripto para birimi ticaret platformu Bitget'in milyonlarca dolarlık ilk yatırımıyla geçen yılın Aralık ayına dayanıyor. Morph ayrıca kullanıcı odaklı bir halka açık zincir ekosistemini ortaklaşa geliştirmek ve oluşturmak için Bitget'in mevcut kullanıcı ekosistemini ve kaynaklarını kullanacak.

İki ay önce Morph, Sepolia'da halka açık bir test ağı başlattı. Morph %100 EVM uyumlu olduğundan, Ethereum geliştiricileri tanıdık bir geliştirme ortamında sözleşmeleri dağıtabilir ve DApp'ler geliştirebilir. Kullanıcılar ayrıca Morph test ağı ve Sepolia test ağı arasında Sepolia ETH ve ERC-20 tokenlarıyla etkileşime girebilir veya çapraz zincir oluşturabilir. Ayrıca Morph'taki düğümlerin izin gerektirmeyen yapısı nedeniyle herhangi bir kullanıcı kendi düğümünü başlatabilir ve bu da katılım eşiğini daha da düşürür.

Yazının yazıldığı an itibariyle Morph test ağı, 680.000'i aşan toplam işlem sayısıyla yaklaşık 290.000 cüzdanın katılımını sağladı. Morph, Nisan ayı sonunda EIP-4844'ün Holesky test ağına entegrasyonunda öncülük etmeyi ve ana ağı bu yılın üçüncü çeyreğinde piyasaya sürerek EIP-4844'ü tamamen entegre etmeyi planlıyor.

Genel olarak Cancun yükseltmesinden en çok yararlanan L2 oldu. Sonuçta ölçeklenebilirlik ve düşük maliyet, geliştiricilerin ve kullanıcıların ilgisini çekmede her zaman temel faktörler oldu. EIP-4844'ün daha fazla uygulanmasıyla L2 ekosisteminin gelişip zenginleşeceğine inanmak için nedenlerimiz var. Elbette L2'nin misyonu yalnızca Ethereum ekosistemine daha fazla trafik ve büyüme getirmek değil, aynı zamanda verim, kullanılabilirlik, kullanıcı deneyimi ve diğer yönlerde atılımlar için çaba göstermektir. SNARK kullanan ZK-EVM'de, EIP-4844 için ayrıntılı bir adaptasyon planı öneren ilk kişi olan Morph'un Cancun yükseltmesinin getirilerinden tam olarak yararlanıp yararlanamayacağını ve yeniliklere devam edip edemeyeceğini bekleyip göreceğiz.

Referans: 1. " Morph: EIP-4844 zkEVM ve birleşik kanıt entegre çözümü " 2. " Foresight Ventures: Cancun yükseltmesi geliyor, hangi L2 uyarlandı? 》3. https://docs.arbitrum.io/node-running/reference/arbos-software-releases/arbos204, https://medium.com/offchainlabs/arbos-20-atlas-da106378326b5, https://specs .optimism.io/protocol/derivation.html#ecotone-blob-retrieval6, https://medium.com/@tommy_chan/eip-4844-proto-danksharding-using-kzg-commitment-what-it-does-and- gerçekten-nasıl-çalışır-35201987b24c7, https://zksync.mirror.xyz/HJ2Pj45EJkRdt5Pau-ZXwkV2ctPx8qFL19STM5jdYhc