Zk Toplaması nedir? Zk Rollup ve seçkin projelerin avantajları ve sınırlamaları

Zk Toplaması nedir? Diğer Katman 2 ile karşılaştırıldığında Zk Toplaması arasındaki fark nedir? Bugün piyasada hangi Zk Rollup projeleri var? Burada bul.

Rollup, topluluk tarafından oldukça beğenilen ve Optimistic ve Zk Rollup olmak üzere iki ana modeli bulunan bir Layer 2 çözümüdür. Daha önceki yazılarımda İyimser Toplama ve içindeki öne çıkan projeler hakkında oldukça fazla paylaşımda bulundum. Buraya tekrar başvurabilirsiniz .

Bugünün makalesinde, Zk Rollup'un genel bir bakışını, avantajlarını, sınırlamalarını ve bazı olağanüstü Zk Rollup projelerini herkesle paylaşacağım.

Zk Toplaması nedir?

Zk Rollup, sıfır bilgi kanıtı teknolojisini kullanan Ethereum katman 1 için bir uzantıdır. 

Zk Rollup, çok sayıda işlemi bir Rollup bloğunda toplamaya ve blok zincir dışı kısa bir kanıt oluşturmaya izin verir. Ardından, Ethereum katman 1 üzerindeki akıllı sözleşmenin, işlemleri yeniden yürütmeden yalnızca Kanıtı doğrulaması gerekir. Bu, çok fazla gaz ücreti tasarrufu sağlayabilir, çünkü Kanıt doğrulama, hesaplamayı tekrar yapmaktan çok daha ucuzdur.

Zk toplaması neden diğer Katman 2 çözümlerinden daha iyidir?

Vitalik'in görüşüne göre, Ethereum için temel olarak 5 ölçeklendirme stratejisi vardır:

• Çoklu ayrı zincirler (Polkadot, Cosmos'un yaptığı gibi).
• Süper büyük blok.
• İyileştirmeler operasyonel performansı artırır ancak güvenlik modelini değiştirmez.
• Katman 2 (kanallar, plazma, toplama).
• Parçalama.

Katman 2 çözümlerinin bazı avantaj ve dezavantajlarının karşılaştırma tablosu

Layer 2 segmentinde Rollup'ın lider çözüm olduğu söylenebilir. Toplama, iki ana türe ayrılır: İyimser Toplama ve Zk Toplama. Genel olarak, Optimistic Rollup'un gelecekte sağlayabileceği tüm avantajlar Zk Rollup'un da sağlayabilir.

Zk Rollup'u İyimser Toplama'dan daha yüksek puan almanın ana noktası, Zk Rollup'un tamamlanma süresinin (işlem doğrulama - doğrulama süreci) en hızlı olmasıdır.

İyimser Toplama, onları bir “meydan okuma oyununa” maruz bırakan bir yaklaşım olan dolandırıcılık kanıtı ile güvence altına alınmıştır. ZK Rollup'ları matematikle güvence altına alınırken (diğer kişiye cevabı söylemeden cevabı bildiğinizi başkalarına kanıtlayın), cüzdan aracılığıyla aralarındaki farkı açıkça göreceksiniz. Aşağıdaki basit örnek:

Zk Rollup ve Optimistic Rollup yetişkin bir Bar'a girer, bu Bar'a sadece 18 yaşından büyük kişiler girebilir. Güvenlik sordu: "Kimlik kartınızı görebilir miyim?".

• ZK Rollup, "Size 18 yaşından büyük olduğumu kanıtlayabilirim ama kimliğimi göstermeyeceğim" diyor.
• İyimser Toplama şöyle diyor: "7 gün içinde kimse 18'in altında olduğumu kanıtlayamazsa, bu benim 18'in üzerinde olduğum anlamına gelir."

Perakende kullanıcıları açısından “Challenge oyunu” Optimism veya Arbitrum gibi platformlarda para çekme için bekleme süresi ile temsil edilir . Para çekme süresi azaltılırsa, kullanıcılar daha iyi bir kullanıcı deneyimine sahip olacak, buna karşılık ağ saldırılarının maliyeti daha az olacağından güvenlik daha az olacaktır.

Zk Rollup çözümleri bundan zarar görmez, zaman içinde sıfır bilgi kanıtı teknolojisi geliştikçe, Zk Rollup sadece daha iyi ve daha iyi hale gelir, doğrulama süreci - Rollup bloğunu doğrulamak hızlı ve daha ucuza ayarlanır.

Bu nedenle Zk Rollup, orta ve uzun vadede Ethereum için lider ölçeklendirme çözümü olarak kabul edilmektedir (aslında Zk Rollup teknolojisi şu anda hala sınırlıdır, sınırlamalar bulacağız). sonraki bölümlerde).

Zk Rollup projeleri arasındaki temel farklar

Mevcut piyasada, Zk Rollup üzerinde çalışan birçok proje var, her farklı yaklaşımın kendi artıları ve eksileri var, bu artıları ve eksileri anlamak daha objektif görüşlere sahip olmamıza yardımcı olacak, bu projelerin potansiyelini analiz etme ve değerlendirme sürecini destekleyecektir. iyi yatırım fırsatları bulun.

Kişisel olarak Zk Rollup projelerini 2 faktöre göre sınıflandırabiliriz:

• Veriler nasıl depolanır (zincir içi veya zincir dışı).
• Sıfır bilgi ispat şeması kullanılır.

Verileri zincir üzerinde veya zincir dışı (aka validium) depolamayı seçmek kendi artılarını ve eksilerini beraberinde getirir, her iki seçenek de her durumda optimal değildir, geliştirme yönüne bağlı olarak ademi merkeziyetçilik ve işlem hızı, işletme maliyetleri arasında bir ödünleşimdir. proje için uygun seçimleri yapacaklardır.

Zk Toplaması ve Validyum

Unutulmaması gereken ikinci nokta, yukarıdaki duruma benzer şekilde kullanılan Zero-knowledge ispat teknolojisinin her durumda en iyi çözüm olmadığı, kanıt boyutu ile güvenlik varsayımları arasında bir denge olduğudur. Aşağıdaki resim aracılığıyla aralarındaki ilişkiyi görebilirsiniz.

Kanıt boyutu ve güvenlik varsayımları arasındaki ilişki

Şu anda Zk Rollup projelerinin genel sınırlamaları

Şahsen, Zk Rollup projelerinin 2 dikkate değer sınırlaması olduğunu görüyorum, ilk nokta, Toplama'nın genel sınırlaması, diğer nokta, Zk Toplaması'nın özel sınırlaması.

Birincisi, işlem ücretleri sorunudur , çoğu Rollup platformu, Ethereum'un EVM Yan Zincirlerinden daha pahalı işlem ücretlerine sahiptir . Bunun nedeni, her bir toplama bloğunun sonunda ücretlerini Ethereum ücretlerine bağlayan Ethereum'a gönderilmesi gerektiğidir (Zk Toplaması, yalnızca Kanıt yayınladıkları için daha uygun maliyetlidir), bu nedenle her Bir Toplama platformu, Ethereum'u yalnızca belirli bir yüzde ile ölçekleyebilir.

Daha sonra, şu anda zk-Rollup geliştirici dostu değildir , uygulama senaryoları ve işlevsellik oldukça sınırlıdır:

• Zk Rollup uygulamaları şu anda basit ödemeler ve işlemlerle sınırlıdır.
• Ayrıca, Zk Rollup şu anda birleştirmeyi desteklememektedir, farklı Zk Rollup uygulamaları aynı Katman 2'de birbirleriyle etkileşime giremez.
• Zk-Rollup'ta DApp'ler geliştirmek istiyorsanız, tüm akıllı sözleşme mantığınızı , yalnızca istenen dilin sözdizimi ile karmaşık olmayan (yeni bir dil olduğu için) karmaşık olmayan, aynı zamanda son derece gerektiren özel bir dilde yazmanız gerekir. sıfır bilgi kanıtı alanında uzmanlık bilgisi.

Piyasada öne çıkan Zk Rollup projeleri

İşte piyasada öne çıkan bazı Zk Rollup projeleri;

Starkware'den StarkEX ve StarkNET

Starkware (aka Starkware Industries), STARK & ZCash'in Kurucu Ortağı Eli Ben Sasson tarafından Ocak 2018'de kurulmuş bir şirkettir. StarkWare, sıfır bilgi kanıtlarını dağıtmak ve doğrulamak için STARK teknolojisini kullanarak blok zincirlerinin ölçeklenebilirliğini ve gizliliğini geliştirmeye yardımcı olur.

StarkWare'in piyasaya sürdüğü ilk ürün, Spesifik bir L2 olarak kabul edilebilecek StarkEX'ti, StarkEX'in uygulamaları AMM, Spot Ticaret, Ödemeler, NFT para basma ve ticaret gibi basit işlemler ve ödemelerle sınırlıdır. StarkEX, Dapps'in aşağıdaki gibi 3 modda dağıtılmasına izin verir:

• ZK Toplama modu: Veriler on-chain arasında saklanır.
• Validium modu: Veriler zincir dışı tutulur.
• İrade modu: Bunları bir araya getirin.

StarkNET, StarkEX'in Zk Toplama Genel ve İzinsiz sürümüdür, tam olarak Q1 - Q2/2022'de piyasaya sürülmesi öngörülmektedir. Herhangi bir Dapp'in toplanabilirlik ve güvenlikten ödün vermeden üzerine inşa etmesine izin vererek, Ethereum'un üzerinde başka bir General L2 görevi görür.

StarkNET yol haritası

StarkEX ve StarkNET'in kendi programlama dili ve çalıştırılabilir sanal makinesi vardır, Ethereum EVM uyumlu değildirler. Bu nedenle, gelecekte StarkNET üzerinde Dapps oluşturmak isteyen geliştiricilerin, StarkEX ve StarkNET için yerel akıllı sözleşme dili olan Kahire olan yeni bir programlama dili öğrenmeleri gerekecektir.

Matter Labs tarafından Matter Labs zkSync (v1), zkPorter (v2), ZkEVM (v3)

Zk Rollup'tan bahsetmişken, Starkware'e ek olarak, aynı derecede ünlü bir başka şirket de Matter Labs. Matter Labs'ın sunduğu Zk Rollup ürünü, sıfır bilgi kanıtlarını dağıtmak ve doğrulamak için PLONK kullanır.

İlk sürüm zkSync (v1), ikinci sürüm ZkPorter (v2) olarak adlandırılır. Aralarındaki temel fark, verilerin zincir üzerinde mi yoksa zincir dışında mı saklandığıdır. Temel olarak:

• Güvende olmak istiyorsanız, V1'i kullanın.
• Daha ucuz (ancak daha az güvenli) istiyorsanız V2'yi kullanın.

İki versiyonun ortak kullanımı da sadece ödemelere hizmet eder, StarkEX kadar çeşitli değildir.

ZkEVM, Matter Labs tarafından geliştirildi

Aynı zamanda Matter Labs, tam olarak Q1/2021'de piyasaya sürülmesi beklenen Zk Rollup'ın (ZkEVM) EVM uyumlu bir sürümünü başlatmak için çalışıyor. Bu sürümdeki yerel akıllı sözleşme dili Zinc'tir ve bu sürüm ayrıca EVM ile çok fazla uyumluluğa sahip olacak kendi yürütülebilir dosyasına sahiptir.

döngü

Loopring 2019'un sonlarında piyasaya sürüldü, sıfır bilgi kanıtlarını dağıtmak ve doğrulamak için SNARK adlı bir dizi algoritma kullanıyor.

Loopring, ilki yalnızca DEX (sipariş defteri) ticaretini destekleyen birkaç yükseltmeden geçti. Daha sonra ikinci versiyonda Loopring, ödemeleri ve transferleri destekler. Üçüncü versiyonda Loopring, AMM Swaplarını destekler. 4. sürüm Eylül 2021'de piyasaya sürüldü ve madenciliği, NFT'leri aktarmayı ve ticaretini destekliyor.

döngü

Aynı zamanda Loopring, Zk Rollup'ın (ZkEVM) EVM uyumlu bir sürümü üzerinde de çalışıyor, ancak ilk sürümün piyasaya sürülmesi muhtemelen bir yıl kadar sürecek.

Zk Rollup projelerinin genel geliştirme yönü

Zk Rollup geliştirme yönü üzerine basit bir tez “uzun vadede, L1 blok zinciri ne yaparsa yapsın, bir Zk Rollup bunu önemli ölçüde daha iyi yapabilir”.

Bu düşünce tarzını takip ederek, Zk Rollup'ın nihai kazanan olmak istediği çözümlerin L1'in tüm belirgin özelliklerini sürdürmesi gerektiğini düşünüyorum, bu durumda Ethereum gibi:

• Keyfi uygulamalar oluşturmaya izin verir → genel amaçlı akıllı sözleşme platformu.
• İzinsiz, güvenli ve tabii ki temel zincirden (Ethereum) daha düşük maliyetli.

Bu yüzden StarkNET & ZkEVM'yi umut verici yaklaşımlar olarak görüyorum. ZkEVM, Ethereum L1'de aynı geliştirme deneyimini sürdürdüğünde daha büyük bir avantaja sahip olacak.

zkEVM için mevcut tasarım fikirleri gerçekten iki kategoriye ayrılıyor:

• Starkware'in StarkNET'i, Matter Labs'ın ZkEVM'i, Polygon'un Polygon ZkEVM'si gibi kendi dilleri ve sanal makineleri olan Zk Rollup platformları, ana dillerini ZkEVM sanal makinesinde yürütülebilir bir dile çevirmek için derleyici odaklı bir yaklaşım benimseyecek. Bu çözüm, %100 uyumluluğa ulaşamama sınırlamasına sahiptir.
• Başka bir yaklaşım, ZkEVM'nin herhangi bir çeviri olmadan tamamen uyumlu olmasıdır, sağlamlık kodu doğrudan yürütülebilir. Bu yaklaşım daha optimaldir, ancak uygulanması daha zordur.

özet

Yukarıda Zk Rollup projelerinin artıları ve eksileri ve genel yönü hakkında bazı düşüncelerim var. Yukarıdaki konuyla ilgili başka sorularınız varsa, Coin98'in hemen desteklenmesi için lütfen aşağıya yorum yapın!

Sorumluluk Reddi : Makaledeki tüm bilgiler sadece piyasa deneyimi paylaşımı içindir ve yatırım tavsiyesi olarak değerlendirilmemelidir. Kripto yatırımı riskli bir yatırım şeklidir ve sadece kaybedilebilecek sermaye ile girilmelidir.