Temelli Bir Tez

arixon ile birlikte yazılmıştır. Justin'den ilham aldım. Charlie ve Dan'den çatallandı. Barnabe, Mike ve Justin'e bunun taslaklarını okudukları için teşekkürler.

Ethereum L1'de tüm uygulamalar atomik olarak paylaşılan durum makinesinde çalışır. Toplama merkezli yol haritası, Ethereum'u ölçeklendirmek için bu temel özelliği feda ediyor .

Mevcut toplama yaklaşımı, uygulamalar toplamada yerel kalırken iyi çalışıyor. Ancak bu toplamaların her birinin destekleyebileceği uygulama sayısında bir sınır vardır (doğal ardışık darboğazlar nedeniyle) ve birbirleriyle iletişim kuracak şekilde tasarlanmamışlardır.

Bugün, düzenleyici baskı ve yerel birlikte çalışabilirlik eksikliği, ortak sıralamaya (ve dolayısıyla aralarında bir dereceye kadar likidite paylaşımına ve atomik şekillendirilebilirliğe) izin veren ara yazılım blok zincirlerine (veya süper zincirler/hiper zincirler ruhuna uygun toplama çerçevelerine ) yönelik toplamaları yönlendiriyor.

Buradaki olası son durum, her yeni L2'nin diğerleriyle verimli bir şekilde iletişim kurmak için üçüncü taraf ara yazılımlara (paylaşılan bir sıralayıcı hizmeti) ihtiyaç duyduğu bir dünyadır.

Bu yaklaşımın önemli ve küçümsenen bir değiş tokuşu, toplamaların artık L1'in temel canlılık garantilerini ( Ethereum'u özel kılan şeyin büyük bir kısmı) veya güvenilir tarafsızlığının tam gücünü (çünkü toplamalar alternatif bir fikir birliğine dayanacaktır) miras almamasıdır. Ethereum dışındaki mekanizma).

Temelli toplamalar, sansüre dirençli bir gelecek için farklı bir vizyon sunar: İlk prensip olarak temel katman tarafsızlığı ve canlılığı etrafında inşa edilmiş bir vizyon. Bu vizyon mevcut toplamalara yönelik rekabetçi değil kapsayıcıdır. İyimserlik ve diğer platformlar iş modellerine zarar vermeden temellendirilebilecek.

Tabanlı Toplama Nedir?

Özetlemek gerekirse, tabanlı (veya L1 sıralı) toplamalar, toplamaların özel bir alt kümesidir. Bu tür toplamaların sıralaması son derece basittir ve L1'in canlılığını ve merkeziyetsizliğini miras alır. Ayrıca, bazlı rulolar özellikle ekonomik olarak L1 tabanlarına göre hizalanmıştır.

Bir toplamanın dizilimi L1 tabanı tarafından yürütülüyorsa buna dayalı veya L1 dizili olduğu söylenir. Daha somut olarak, tabanlı bir toplama, bir sonraki L1 teklif sahibinin, L1 araştırmacıları ve inşaatçıları ile işbirliği içinde, bir sonraki L1 bloğunun bir parçası olarak bir sonraki toplama bloğunu izinsiz olarak ekleyebildiği bir toplamadır.

Tabanlı toplamalar benzersizdir çünkü temel katmanın canlılık özelliklerini miras alırlar ve bir ara katman yazılımı blok zincirine dayanmadan birlikte çalışabilirlik elde edebilirler (etkinliklerini azaltmadan güvenilir tarafsızlıklarını anlamlı bir şekilde artırmalarına olanak tanır). Bu özellikler en iyi şekilde diğer toplama mimarilerinin aksine açıklanmaktadır.

Toplama mimarileri

Bugün çoğu toplama, merkezi bir sıralayıcı kullanıyor. Sıralayıcı, işlemleri bellek havuzundan toplar, gruplandırır ve L1'e gönderir. Bu yaklaşımın temel avantajı, sıralayıcının kullanıcılara hızlı ön doğrulama sağlamasıdır. Ayrıca sahtekarlık/geçerlilik kanıtı olmayan erken aşamadaki toplamalara ilişkin risklerin azaltılmasına ve bunlara sahip olanlar için kanıt sistemindeki hata riskinin azaltılmasına da yardımcı olur. Sıralayıcı güvenilir bir kuruluş (örneğin, Optimism Foundation) tarafından çalıştırılıyorsa, geçersiz bir durum geçişinin meydana gelme olasılığı önemli ölçüde azalır.

Merkezi sıralayıcılarla ilgili temel sorun (MEV'nin kötüye kullanılması potansiyeli dışında), canlılık ve sansüre direnç açısından tek bir başarısızlık noktası sunmalarıdır. Mevcut toplamalar, sıralayıcının aksama süresine ve sansüre karşı koruma sağlamak için çıkış kapakları ve zorunlu dahil etme sağlarken, gerçekçi olarak bu, L1 işlemlerine önemli miktarda harcama yapması beklenmeyen L2 kullanıcılarının önemli bir yüzdesine fayda sağlamayacak. Bir başka olası sorun da, kullanıcıların çıkış kapaklarını kullanmaya zorlanması durumunda bu toplamanın ağ etkilerinin sıfırlanmasıdır. Güçlü bir hükümetin veya düzenleyicinin sıralayıcı aracılığıyla zincire KYC veya yaptırım gereklilikleri dayatması da nispeten kolaydır.

Paylaşımlı sıralayıcılar, toplama ekosistemleri arasında birlikte çalışabilirliğin sağlanması ve merkezi olmayan yönetimin geliştirilmesi gibi merkezi sıralayıcılarla ilişkili sorunların çoğunu ele almayı amaçlıyor: Espresso Systems ve Astria , bu yaklaşım üzerinde çalışan ekiplerdir. Paylaşılan sıralayıcı tasarımının güzel bir yönü, ister iyimser ister zk olsun, hemen hemen tüm mevcut toplamaların bu mimariyi uygulayabilmesidir. Buradaki amaç, bu tasarımı benimseyen toplamaların, merkezi olarak sıralanan bir toplamaya kıyasla daha yüksek bir merkezi olmayan yönetim düzeyini korurken birbirleriyle atomik olarak bir araya gelme yeteneğine sahip olacağıdır.

Harici paylaşımlı sıralayıcı modelinin bir dezavantajı, toplamaların temel katmanın canlılık özelliklerini ( sansüre karşı direncin hafife alınan bir faktörü) miras almamasıdır. Diğer bir dezavantajı ise muhtemelen bir noktada kendi jetonunu gerektirmesidir (ya da kârlı olması için mev-çıkarmanın sabit bir biçimiyle meşgul olması gerekir), bu da ona dayanan toplamaların büyük olasılıkla daha az olacağı anlamına gelir. ekonomik olarak taban katmanıyla hizalanmıştır .

Tabanlı bir toplama, Espresso için HotShot gibi bir paylaşımlı sıralayıcı sisteminin (ve bununla birlikte gelen aracı belirteç ve/veya mev politikasının) harici konsensusuna bağlı olmaksızın, L1 teklifçilerini paylaşımlı sıralayıcılar olarak doğrudan kullanır. Bu nedenle, taban katmanının nötrlüğünün çoğunu miras alır.

Birlikte çalışabilirlik

Taban katmanının oluşturucularından ve önerenlerinden yararlanarak, tabanlı toplamalar, toplu işlemleri aynı blokta gönderilen toplamalar arasında herhangi bir ek ara yazılıma gerek kalmadan birlikte çalışabilirliği koruyabilir.

Hızlı ön onaylar ( 100 ms düzeyinde) merkezi sıralamayla önemsizdir ve harici bir PoS konsensüsüyle gerçekleştirilebilir. L1 sıralamasıyla hızlı ön doğrulamalar, EigenLayer, dahil etme listeleri, SSLE ve mev-boost'tan yararlanılarak elde edilebilir .

Basitlik

Tabanlı sıralama maksimum düzeyde basittir; merkezi sıralamadan bile önemli ölçüde daha basittir (her ne kadar temelli ön doğrulamalar bir miktar karmaşıklık getirse de). Tabanlı sıralama, sıralayıcı imza doğrulaması, kaçış kapısı ve harici PoS konsensüsü gerektirmez.

Temelli sıralama (ön yapılandırmalar olmadan) bugün test ağlarında çalışıyor. İlk tabanlı toplama Taiko, ana ağa hazırlanıyor ve 2024'ün ilk çeyreğinde yayına geçmesi bekleniyor.

Temelli Toplama Sunumu

Ethereum'un süper güçlerinden biri ve Solana veya Cosmos BFT zincirleriyle karşılaştırıldığında temel farklılaştırıcı özelliği, durma sonrasında kendi kendini iyileştirme yeteneğidir (canlılık garantilerinin doğrudan bir sonucu). Dinamik kullanılabilirliğe yapılan bu vurgu, temel katmanın son derece dayanıklı olmasını ve oldukça zorlu bir ortamda bile başarılı olmasını sağlar; Üçüncü Dünya Savaşı'na dayanıklılık aslında açık bir tasarım hedefidir.

Hakim düşünce, kuvvet dahil etme tasarımlarının toplamaların L1'in canlılığını artırmasına olanak sağladığı yönünde olsa da, gerçek şu ki, temelsiz toplamaların canlılığın azalması (kaçış kapakları olsa bile) söz konusudur.

Tabanlı toplamalarla karşılaştırıldığında, tabanlı olmayan toplamaların ödeme garantileri daha zayıftır (işlemlerin garantili ödemeden önce bir zaman aşımı süresi beklemesi gerekir), zehirli MEV'ye (zaman aşımı süresi boyunca kısa vadeli sıralayıcı sansüründen) maruz kalır ve çoğu zaman kullanıcıların çıkış için bir zaman ve gaz cezası (toplu olmayan toplu işlem verisi sıkıştırmasının optimal olmaması nedeniyle).

Sonuç olarak, sıralayıcının canlılık arızası nedeniyle tetiklenen toplu çıkışa (örneğin, merkezi olmayan bir PoS sıralama mekanizmasına yapılan %51 saldırısı) yanıt olarak ağ etkilerinin sıfırlanması riskiyle karşı karşıya kalırlar.

Temelli toplamaların ardındaki ana fikir, bir sıralayıcı kullanmak yerine L2 blob'larını (her türlü sıkıştırma dahil) yerel olarak dahil etmek için L1 teklif veren-oluşturucu ayırmayı kullanmaktır. Bu açıdan bakıldığında L1'in sunduğu her şeyi miras alıyorlar.

İlk Arbitrum uygulaması tabanlı bir toplamaydı. Sıralayıcı, kullanıcıların daha hızlı işlemlere yönelik talebi nedeniyle daha sonra tanıtıldı. Temelli ön doğrulamalar bu gerilimi çözer. EigenLayer, dahil etme listeleri ve SSLE (daha uzun teklif veren bakış açısı) yayına girdikten sonra, tabanlı toplamalar, kullanıcı deneyiminden ödün vermeden L1'in canlılığını ve sansüre dayanıklı özelliklerini devralabilecektir.

Bu vizyon kapsayıcıdır ve mevcut toplamalara ve bunların gelir modellerine rakip değildir. Özellikle, bazlı toplamalar L2 tıkanıklık ücretlerinden elde edilen gelir seçeneğini korur (örn. MEV gelirinden bir miktar ödün verilmesine rağmen, EIP-1559 tarzında L2 taban ücretleri.

Tabanlı toplamalar, sıralamayı L1'e devretmesine rağmen egemenlik seçeneğini de korur. Temelli bir toplama, bir yönetişim tokenına sahip olabilir, taban ücretler talep edebilir ve bu tür taban ücretlerden elde edilen gelirleri uygun gördüğü şekilde kullanabilir (örneğin, İyimserlik ruhuyla kamu mallarını finanse etmek için).

Tabanlı Toplamaların Avantajları

1. Daha düşük maliyetler: Tabanlı sıralama sıfır gaz yüküne sahiptir. Merkezi veya merkezi olmayan sıralayıcılardan gelen imzaların doğrulanmasına bile gerek yoktur. Temelli sıralamanın basitliği, geliştirme maliyetlerini azaltır, pazara sunma süresini kısaltır ve sıralama ve kaçış hataları için yüzey alanını daraltır.
2. Ekonomik uyum: Kendi tokenına sahip bir ara yazılım çözümü kullanmaya gerek yoktur. Ek olarak, tabanlı toplamalardan kaynaklanan MEV doğal olarak L1 tabanına akar. Bu akışlar L1'in ekonomik güvenliğini güçlendirir ve MEV yanması durumunda L1 yerel tokeninin ekonomik kıtlığını iyileştirir. L1 ile olan bu sıkı ekonomik uyum, temelli toplamaların meşruiyet kazanmasına yardımcı olabilir.
3. Daha iyi tarafsızlık ve canlılık: Tabanlı sıralama, L1'in merkezi olmayan yapısını devralır ve doğal olarak L1'in araştırıcı-inşaatçı-teklif veren altyapısını yeniden kullanır (bu da onu daha güvenilir bir şekilde tarafsız kılar). Tabanlı sıralama, L1 ile aynı canlılık garantilerine sahiptir (canlılığın azalmasına neden olan tabanlı olmayan toplamaların aksine).
4. Basitlik: Temelli sıralama maksimum düzeyde basittir; merkezi sıralamadan bile önemli ölçüde daha basittir. Tabanlı sıralama, sıralayıcı imza doğrulaması, kaçış kapısı, belirteç ve harici PoS konsensüsü gerektirmez.

Tabanlı Toplamaların Dezavantajları

1. MEV geliri kaybı: Tabanlı toplamalar, MEV'den L1'e geçerek gelirlerini temel ücretlerle sınırlandırır.
   • Karşıt görüş 1: MEV, tıkanıklık ücretleriyle karşılaştırıldığında bugünkü toplu gelirin küçük bir kısmıdır. Bunun gelecekte de geçerli olmaya devam edeceğini hayal etmek mantıklıdır (uygulamalar daha bilinçli hale geldikçe ve eşik şifreleme gibi azaltma teknikleri daha yaygın hale geldikçe). Aynı nedenlerden dolayı MEV gelirinin gelecekte azalması da mümkündür.
   • Karşıt Görüş 2: Genel olarak bakıldığında, temelli olmak aslında toplamaların toplam gelirini artırabilir. Toplama ortamı makul bir şekilde kazanan en fazlasını alır (senkronize şekillendirilebilirliğin güçlü ağ etkileri nedeniyle) ve kazanan toplama, hakimiyet elde etmek ve sonuçta geliri en üst düzeye çıkarmak için geliştirilmiş güvenlik, merkezi olmayan yönetim, basitlik ve tabanlı toplamaların hizalanmasından yararlanabilir.
2. Toplamalar arasında maliyetleri paylaşmak daha zordur: Harici paylaşılan sıralama size "ücretsiz" olarak veri gönderiminin maliyetini paylaşma olanağı verir; örneğin, iki toplamadan gelen verileri barındırmak için tek bir blob satın alın; bu, iki ayrı blob satın almaya kıyasla maliyetleri azaltır.
   • Karşıt görüş: L1 teklif sahibinin, sıraladığı tüm temel toplamalar arasında maliyet paylaşımı yapabilmesi mümkündür. Bunu bir adım daha ileri götürerek, L1 teklif sahibinin, paylaşılan sıralayıcılar da dahil olmak üzere diğer hizmetlerle maliyet paylaşımı yapması da mümkündür.
3. Verim hala L1 ile sınırlıdır: Tüm toplamalar tek ve sınırlı bir Ethereum L1'i paylaşır. Veriler zincir üzerinde olduğundan hepsi aynı anda tps'lerine ulaşamaz.
   • Karşıt görüş 1: Bu, tüm toplamalar için geçerlidir. Eğer tabanlı toplamalar önemli bir ilgi kazanırsa, o zaman L1 belli bir dereceye kadar tabanlı toplamaların gereksinimlerini karşılayacak şekilde gelişecektir.
   • Karşıt görüş 2: 4844 (2024'ün ilk çeyreğinde bekleniyor) DA fiyatlandırmasını yürütme katmanı rekabetinden ayıracak. Danksharding ile Ethereum, DA verimini internet bant genişliğinin izin verdiği ölçüde ölçeklendirebilir.
4. Paylaşılan durum makinesi atomiklik açısından hala daha iyi: Teklifi yapan kişi işlemleri yürüten kişi olmadığından, paylaşılan durum makinesinde (örneğin, tamamen Ethereum L1 üzerinde) işlem yapmakla aynı atomiklik garantilerini hâlâ tam olarak alamıyorsunuz.
   • Karşıt görüş 1: Atomik eşzamansız şekillendirilebilirlik abartılıyor.
   • Karşıt görüş 2: Eşzamansız bir bağlamda atomiklik arzu edilirse o zaman <a href="https://hackmd.io/@EspressoSystems/SharedSequencing#Cryptographically-guaranteed-cross-rollup-atomic-bundles">atomik paketler + <a href="https://hackmd.io/ @EspressoSystems/SharedSequencing#Cryptoekonomikally-assured-cross-rollup-atomicity">kriptoekonomik güvenceler muhtemelen kullanım durumlarının çoğunluğu için yeterince iyidir.
5. Temelli ön yapılandırmalar ek güven varsayımları getirir: Ön yapılandırma dışı işlemler (toplamanın içinden) bir sonraki ön yapılandırma yuvası taahhüt edilene kadar kuyruğa alındığından, doğrulayıcıların %100'ü aynı zamanda ön onaylayıcı olarak görevlendirilmediği sürece, tabanlı ön yapılandırmalara sahip bir tabanlı toplamanın canlılık garantileri kesinlikle geçerlidir. ön yapılandırma kullanmayan tabanlı bir toplamadan daha kötü (ve dolayısıyla temel katmandan kesinlikle daha kötü).
   • Karşıt görüş 1: Pratikte fark ihmal edilebilir düzeyde olmalıdır. Temelli ön-konferanslar yalnızca doğrulayıcı setinin %20-30'unun ön onaylayıcı olarak görevlendirilmesi durumunda çalışmaya başlar, çünkü yeterli sayıda L1 doğrulayıcının ön görüşmede yüksek olasılıkla en az bir ön-konuşmaya sahip olması için ön-konuşmacı olması gerekir. Bugün, işaretçi zincirinin ön izlemesinde en az 32 teklif sahibi var. Bu, doğrulayıcıların %20'sinin ön görüşme yapması durumunda, en az 1 - (%1 - %20)^32 ≈ %99,92 olasılıkla bir ön görüşme olacağı anlamına gelir. Doğrulayıcıların %30'u önceden verilmişse, bu durumda bu 1 - (%1 - %30)^32 ≈ %99,999'a yükselir. Yeniden organizasyonların veya ön görüşmelerin rastgele bir şekilde çevrimdışı duruma geçmesiyle ilgileniyorsanız, ön görüşme yapan doğrulayıcıların herhangi bir yüzdesi için ön görüşmede en az 2 veya 3 (veya n) ön görüşme olduğunu hesaplayabilirsiniz. 100'den çok daha düşük, canlılık garantilerindeki farkın göz ardı edilebilir olduğu bir yüzde vardır (ancak bu kesin sayı kiminle konuştuğunuza bağlı olarak değişebilir). Bu, canlılık için dışsal bir fikir birliğine dayanmaktan farklı bir dünya.
   • Karşıt görüş 2: SSLE (Tek Gizli Lider Seçimleri), bu endişeyi etkili bir şekilde ortadan kaldıran ön izlemeyi önemli ölçüde artırmaya (örneğin 1024 yuvaya) olanak tanıyacaktır. SSLE kapsamında ön görüşme yapanların, doğrulayıcı pubkey'leri hakkında daha fazla bilgi açıklamadan, ilgili slotlarda ön görüşme yaptıkları sıfır bilgi kanıtlarının reklamını (zincir dışı ve zincir içi) yapabileceğini unutmayın.
   • Karşıt görüş 3: SSLE bunu düzeltse de, aslında teklif verenin bakış açılarını bağımsız olarak artırabildiğimiz için SSLE'yi beklememize bile gerek yok. Ve bunu yapmak çok daha kolaydır.

Özetle

Toplama protokolü tasarımı belirsizdir. “Doğru” düzeyde bir ademi merkeziyetçilik veya güvenlik yoktur. Sansüre dayanıklılık gibi nitelikler kapsamlı bir şekilde tanımlanamaz.

Bugün, toplamalar, sıralamalarını merkezi olmayan hale getirmek ve alanlar arasında birlikte çalışabilirliği geliştirmek için harici fikir birliğine sahip blockchain ara yazılımını benimsemeye doğru itiliyor. Tabanlı toplamalar daha basit, daha tarafsız ve ekonomik açıdan daha uyumlu bir alternatif sunar.

Hızlı ön doğrulamalara sahip tabanlı toplamalar, uygulama geliştiricilerinin (ve kullanıcılarının), Ethereum'un canlılığından ve güvenilir tarafsızlık süper güçlerinden tam anlamıyla yararlanmayı önemsedikleri hipotezini test eder, eğer bunu etkinlikten fedakarlık etmelerini gerektirmeyecek şekilde yapabilirlerse (bu durumda onay hızı) .

Temelli preconf'lar ile kullanıcı deneyimi ödünleşimleri ortadan kalkar.

Yasal Uyarı:

1. Bu makale [ <a href="https://hackmd.io/@sacha/ Based-rollup-thesis"> hackmd ] adresinden yeniden basılmıştır. Tüm telif hakları orijinal yazara [sacha ] aittir. Bu yeniden basıma itirazlarınız varsa lütfen Gate Learn ekibiyle iletişime geçin; onlar konuyu hemen halledeceklerdir.
2. Sorumluluk Reddi: Bu makalede ifade edilen görüş ve görüşler yalnızca yazara aittir ve herhangi bir yatırım tavsiyesi teşkil etmez.
3. Makalenin diğer dillere çevirileri Gate Learn ekibi tarafından yapılır. Aksi belirtilmedikçe tercüme edilen makalelerin kopyalanması, dağıtılması veya intihal edilmesi yasaktır.