2025'in ikinci çeyreği, blockchain ölçeklendirme için bir gerçeklik kontrolü oldu ve sermaye rollups ve yan zincirlere akmaya devam ederken, layer-2 modelindeki çatlaklar genişliyor. L2'lerin orijinal vaadi basitti: L1'leri ölçeklendirmek, ancak maliyetler, gecikmeler ve likidite ile kullanıcı deneyimindeki parçalanma birikmeye devam ediyor.
Özet
L2'ler Ethereum'u ölçeklendirmek için tasarlanmıştı, ancak merkezi sıralayıcılara bağımlı oldukları için yeni sorunlar ortaya çıkardılar; bu sıralayıcılar tek bir arıza noktası haline gelebilir.
Temelinde, L2'ler sıralama ve durum hesaplama işlemlerini gerçekleştirir, L1 üzerinde sonuçlandırmak için Optimistik veya ZK Rollups kullanır. Her birinin dezavantajları vardır: Optimistik Rollups'ta uzun kesinlik süresi ve ZK Rollups'ta yüksek hesaplama maliyetleri.
Gelecekteki verimlilik, hesaplamayı doğrulamadan ayırmakta yatıyor — hesaplama için merkezi süper bilgisayarlar ve paralel doğrulama için merkeziyetsiz ağlar kullanarak, güvenlikten ödün vermeden ölçeklenebilirlik sağlamak.
Blok zincirlerinin “toplam sipariş” modeli eskidir; yerel, hesap bazlı sıralamaya geçmek, büyük bir paralellik açabilir, “L2 uzlaşmasını” sona erdirebilir ve ölçeklenebilir, geleceğe hazır bir web3 temeli için yol açabilir.
Stablecoin ödemeleri gibi yeni projeler, L2 paradigmalarını sorgulamaya başlıyor ve L2'lerin gerçekten güvenli olup olmadığını, ve sıralayıcılarının tek bir hata noktası ve sansür gibi olup olmadığını soruyor. Genellikle, web3'te parçalanmanın basitçe kaçınılmaz olduğu konusunda karamsar bir görüş benimseyecekler.
Geleceği sağlam bir temele mi, yoksa kağıttan bir eve mi inşa ediyoruz? L2'ler bu sorularla yüzleşmeli ve cevap vermelidir. Sonuçta, Ethereum’un (ETH) temel konsensüs katmanı doğası gereği hızlı, ucuz ve sonsuz ölçeklenebilir olsaydı, şu an bildiğimiz L2 ekosisteminin tamamı gereksiz olurdu. Sayısız rollups ve yan zincirler, temel L1'lerin temel kısıtlamalarını hafifletmek için “L1'lerin ek parçaları” olarak önerildi. Bu, teknik bir borç biçimidir; web3 kullanıcıları ve geliştiricileri üzerine yüklenen karmaşık, parçalı bir çözüm yoludur.
Ve bu sorulara cevap vermek için, bir L2'nin tüm kavramını temel bileşenlerine ayırmak, daha sağlam ve verimli bir tasarıma giden bir yol açmak gerekir.
L2'lerin anatomisi
Yapı, işlevi belirler. Bu, biyolojideki temel bir prensiptir ve bilgisayar sistemlerinde de geçerlidir. L2'lerin doğru yapısını ve mimarisini belirlemek için işlevlerini dikkatlice incelemeliyiz.
Temelinde, her L2 iki kritik işlevi yerine getirir: Sıralama, yani işlemleri düzenleme; ayrıca yeni durumu hesaplama ve kanıtlama. Bir sıralayıcı, merkezi bir varlık veya merkeziyetsiz bir ağ olsun, kullanıcı işlemlerini toplar, sıralar ve gruplar. Bu grup daha sonra yürütülür ve sonuç olarak güncellenmiş bir durum ortaya çıkar (örneğin, yeni token bakiyeleri). Bu durum, güvenlik için L1 üzerinde Optimistik veya ZK rollups ile yerleşime tabi olmalıdır.
Optimistik Rollups, tüm durum geçişlerinin geçerli olduğunu varsayar ve dolandırıcılık kanıtlarının sunulabileceği ( genellikle 7 gün ) süresince bir itiraz dönemine dayanır. Bu, büyük bir kullanıcı deneyimi ticaretine ve uzun nihai zamanlara neden olur. ZK Rollups, her durum geçişinin L1'e ulaşmadan önce matematiksel olarak doğruluğunu kanıtlamak için sıfır bilgilerle kanıtlar kullanır ve bu, neredeyse anlık nihaiyet sağlar. Ticaret, hesaplamalı olarak yoğun olmaları ve inşa etmelerinin karmaşık olmasıdır. ZK kanıtlayıcıları kendileri hatalı olabilir, bu da felaket sonuçlara yol açabilir ve bunların resmi doğrulaması, mümkünse, çok pahalıdır.
Sıralama, her L2 için bir yönetişim ve tasarım seçimidir. Bazıları verimlilik için merkezi bir çözümü tercih eder ( ya da belki de sansür gücü için; kim bilir), diğerleri ise daha fazla adalet ve dayanıklılık için merkeziyetsiz bir çözümü tercih eder. Sonunda, L2'ler kendi sıralama yöntemlerini nasıl belirleyeceklerine karar verir.
Durum Talep Oluşturma ve Doğrulama, verimlilikte çok daha iyi yapabileceğimiz yerdir. Bir işlem grubu sıralandıktan sonra, bir sonraki durumu hesaplamak tamamen hesaplama görevidir ve bu, tamamen hıza odaklanmış tek bir süper bilgisayar kullanılarak yapılabilir; merkeziyetsizliğin hiçbir ek yükü olmadan. O süper bilgisayar, L2'ler arasında bile paylaşılabilir!
Bu yeni durum talep edildikten sonra, doğrulaması ayrı, paralelleştirilmiş bir süreç haline gelir. Büyük bir doğrulayıcı ağı, talebi doğrulamak için paralel olarak çalışabilir. Bu, Ethereum'un durumdan bağımsız istemcileri ve MegaETH gibi yüksek performanslı uygulamaların arkasındaki felsefedir.
Paralel doğrulama sonsuz ölçeklenebilir
Paralel doğrulama sonsuz ölçeklenebilir. L2'ler ( ve o süper bilgisayar ) ne kadar hızlı iddialar üretirse üretsin, doğrulama ağı her zaman daha fazla doğrulayıcı ekleyerek yetişebilir. Buradaki gecikme tam olarak doğrulama süresidir, sabit, minimal bir sayı. Bu, merkeziyetsizliği etkili bir şekilde kullanmanın teorik optimumudur: doğrulamak, hesaplamak değil.
Sıralama ve durum doğrulamasından sonra, L2'nin görevi neredeyse tamamlandı. Son adım, doğrulanmış durumu nihai uzlaşma ve güvenlik için merkeziyetsiz bir ağ olan L1'e yayınlamaktır.
Bu son adım, odadaki fili ortaya çıkarıyor: blok zincirleri L2'ler için korkunç uzlaşma katmanlarıdır! Ana hesaplama işlemleri zincir dışında yapılırken, L2'ler L1'de sonlandırmak için muazzam bir prim ödemek zorundadır. İki katmanlı bir yükle karşı karşıyadırlar: L1'in sınırlı işlem hacmi, tüm işlemlerin toplam, lineer sıralamasıyla yüklenmiş olarak, veri göndermede tıkanmalara ve yüksek maliyetlere yol açar. Ayrıca, L1'in doğasında bulunan sonluluk gecikmesine katlanmak zorundadırlar.
ZK Rollups için bu dakikalar. Optimistic Rollups için ise bir haftalık bir zorluk süresi ile çarpılıyor, bu gerekli ama maliyetli bir güvenlik değişimi.
Elveda, web3'teki “toplam sipariş” efsanesi
Bitcoin (BTC)'den beri, insanlar bir blockchain'in tüm işlemlerini tek bir toplam sıraya sıkıştırmak için çok çalışıyorlar. Sonuçta, blok zincirlerinden bahsediyoruz! Ne yazık ki, bu “toplam sıra” paradigması pahalı bir efsane ve L2 yerleşimi için kesinlikle gereksiz. Ne ironik, dünyanın en büyük merkeziyetsiz ağlarından biri ve dünyanın bilgisayarı tek iş parçacıklı bir masaüstü bilgisayar gibi davranıyor!
Artık ilerlemenin zamanı geldi. Gelecek, yalnızca aynı hesapla etkileşime giren işlemlerin sıralanması gereken, hesap tabanlı yerel sipariş verme dönemidir; bu, muazzam paralellik ve gerçek ölçeklenebilirlik sağlıyor.
Küresel sıralama elbette yerel sıralamayı ima eder, ancak bu aynı zamanda son derece naif ve basit bir çözümdür. 15 yıllık “blockchain” deneyiminden sonra, gözlerimizi açmanın ve daha iyi bir gelecek el yapımı oluşturmanın zamanı geldi. Dağıtık sistemler bilimsel alanı, 1980'lerin güçlü tutarlılık kavramından 2015'in güçlü nihai tutarlılık modeline geçiş yaptı; bu model, paralellik ve eşzamanlılığı serbest bırakır. Web3 endüstrisinin de geçmişi geride bırakma ve ileriye dönük bilimsel ilerlemeyi takip etme zamanı geldi.
L2 uzlaşmasının çağı sona erdi. Gelecek için tasarlanmış bir temel üzerine inşa etme zamanı, buradan web3 benimsemesinin bir sonraki dalgası gelecektir.
Xiaohong Chen
Xiaohong Chen, Pi Squared Inc.'deki Baş Teknoloji Sorumlusu olarak, ödemeler ve uzlaşmalar için hızlı, paralel ve merkeziyetsiz sistemler üzerinde çalışmaktadır. İlgi alanları arasında program doğruluğu, teorem kanıtı, ölçeklenebilir ZK çözümleri ve bu teknikleri tüm programlama dillerine uygulama bulunmaktadır. Xiaohong, Pekin Üniversitesi'nden Matematik alanında lisans, Illinois Üniversitesi Urbana-Champaign'den ise Bilgisayar Bilimleri alanında doktora almıştır.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
L2 uzlaşması kırıldı, yeni bir temel için zaman geldi.
2025'in ikinci çeyreği, blockchain ölçeklendirme için bir gerçeklik kontrolü oldu ve sermaye rollups ve yan zincirlere akmaya devam ederken, layer-2 modelindeki çatlaklar genişliyor. L2'lerin orijinal vaadi basitti: L1'leri ölçeklendirmek, ancak maliyetler, gecikmeler ve likidite ile kullanıcı deneyimindeki parçalanma birikmeye devam ediyor.
Özet
Stablecoin ödemeleri gibi yeni projeler, L2 paradigmalarını sorgulamaya başlıyor ve L2'lerin gerçekten güvenli olup olmadığını, ve sıralayıcılarının tek bir hata noktası ve sansür gibi olup olmadığını soruyor. Genellikle, web3'te parçalanmanın basitçe kaçınılmaz olduğu konusunda karamsar bir görüş benimseyecekler.
Geleceği sağlam bir temele mi, yoksa kağıttan bir eve mi inşa ediyoruz? L2'ler bu sorularla yüzleşmeli ve cevap vermelidir. Sonuçta, Ethereum’un (ETH) temel konsensüs katmanı doğası gereği hızlı, ucuz ve sonsuz ölçeklenebilir olsaydı, şu an bildiğimiz L2 ekosisteminin tamamı gereksiz olurdu. Sayısız rollups ve yan zincirler, temel L1'lerin temel kısıtlamalarını hafifletmek için “L1'lerin ek parçaları” olarak önerildi. Bu, teknik bir borç biçimidir; web3 kullanıcıları ve geliştiricileri üzerine yüklenen karmaşık, parçalı bir çözüm yoludur.
Ve bu sorulara cevap vermek için, bir L2'nin tüm kavramını temel bileşenlerine ayırmak, daha sağlam ve verimli bir tasarıma giden bir yol açmak gerekir.
L2'lerin anatomisi
Yapı, işlevi belirler. Bu, biyolojideki temel bir prensiptir ve bilgisayar sistemlerinde de geçerlidir. L2'lerin doğru yapısını ve mimarisini belirlemek için işlevlerini dikkatlice incelemeliyiz.
Temelinde, her L2 iki kritik işlevi yerine getirir: Sıralama, yani işlemleri düzenleme; ayrıca yeni durumu hesaplama ve kanıtlama. Bir sıralayıcı, merkezi bir varlık veya merkeziyetsiz bir ağ olsun, kullanıcı işlemlerini toplar, sıralar ve gruplar. Bu grup daha sonra yürütülür ve sonuç olarak güncellenmiş bir durum ortaya çıkar (örneğin, yeni token bakiyeleri). Bu durum, güvenlik için L1 üzerinde Optimistik veya ZK rollups ile yerleşime tabi olmalıdır.
Optimistik Rollups, tüm durum geçişlerinin geçerli olduğunu varsayar ve dolandırıcılık kanıtlarının sunulabileceği ( genellikle 7 gün ) süresince bir itiraz dönemine dayanır. Bu, büyük bir kullanıcı deneyimi ticaretine ve uzun nihai zamanlara neden olur. ZK Rollups, her durum geçişinin L1'e ulaşmadan önce matematiksel olarak doğruluğunu kanıtlamak için sıfır bilgilerle kanıtlar kullanır ve bu, neredeyse anlık nihaiyet sağlar. Ticaret, hesaplamalı olarak yoğun olmaları ve inşa etmelerinin karmaşık olmasıdır. ZK kanıtlayıcıları kendileri hatalı olabilir, bu da felaket sonuçlara yol açabilir ve bunların resmi doğrulaması, mümkünse, çok pahalıdır.
Sıralama, her L2 için bir yönetişim ve tasarım seçimidir. Bazıları verimlilik için merkezi bir çözümü tercih eder ( ya da belki de sansür gücü için; kim bilir), diğerleri ise daha fazla adalet ve dayanıklılık için merkeziyetsiz bir çözümü tercih eder. Sonunda, L2'ler kendi sıralama yöntemlerini nasıl belirleyeceklerine karar verir.
Durum Talep Oluşturma ve Doğrulama, verimlilikte çok daha iyi yapabileceğimiz yerdir. Bir işlem grubu sıralandıktan sonra, bir sonraki durumu hesaplamak tamamen hesaplama görevidir ve bu, tamamen hıza odaklanmış tek bir süper bilgisayar kullanılarak yapılabilir; merkeziyetsizliğin hiçbir ek yükü olmadan. O süper bilgisayar, L2'ler arasında bile paylaşılabilir!
Bu yeni durum talep edildikten sonra, doğrulaması ayrı, paralelleştirilmiş bir süreç haline gelir. Büyük bir doğrulayıcı ağı, talebi doğrulamak için paralel olarak çalışabilir. Bu, Ethereum'un durumdan bağımsız istemcileri ve MegaETH gibi yüksek performanslı uygulamaların arkasındaki felsefedir.
Paralel doğrulama sonsuz ölçeklenebilir
Paralel doğrulama sonsuz ölçeklenebilir. L2'ler ( ve o süper bilgisayar ) ne kadar hızlı iddialar üretirse üretsin, doğrulama ağı her zaman daha fazla doğrulayıcı ekleyerek yetişebilir. Buradaki gecikme tam olarak doğrulama süresidir, sabit, minimal bir sayı. Bu, merkeziyetsizliği etkili bir şekilde kullanmanın teorik optimumudur: doğrulamak, hesaplamak değil.
Sıralama ve durum doğrulamasından sonra, L2'nin görevi neredeyse tamamlandı. Son adım, doğrulanmış durumu nihai uzlaşma ve güvenlik için merkeziyetsiz bir ağ olan L1'e yayınlamaktır.
Bu son adım, odadaki fili ortaya çıkarıyor: blok zincirleri L2'ler için korkunç uzlaşma katmanlarıdır! Ana hesaplama işlemleri zincir dışında yapılırken, L2'ler L1'de sonlandırmak için muazzam bir prim ödemek zorundadır. İki katmanlı bir yükle karşı karşıyadırlar: L1'in sınırlı işlem hacmi, tüm işlemlerin toplam, lineer sıralamasıyla yüklenmiş olarak, veri göndermede tıkanmalara ve yüksek maliyetlere yol açar. Ayrıca, L1'in doğasında bulunan sonluluk gecikmesine katlanmak zorundadırlar.
ZK Rollups için bu dakikalar. Optimistic Rollups için ise bir haftalık bir zorluk süresi ile çarpılıyor, bu gerekli ama maliyetli bir güvenlik değişimi.
Elveda, web3'teki “toplam sipariş” efsanesi
Bitcoin (BTC)'den beri, insanlar bir blockchain'in tüm işlemlerini tek bir toplam sıraya sıkıştırmak için çok çalışıyorlar. Sonuçta, blok zincirlerinden bahsediyoruz! Ne yazık ki, bu “toplam sıra” paradigması pahalı bir efsane ve L2 yerleşimi için kesinlikle gereksiz. Ne ironik, dünyanın en büyük merkeziyetsiz ağlarından biri ve dünyanın bilgisayarı tek iş parçacıklı bir masaüstü bilgisayar gibi davranıyor!
Artık ilerlemenin zamanı geldi. Gelecek, yalnızca aynı hesapla etkileşime giren işlemlerin sıralanması gereken, hesap tabanlı yerel sipariş verme dönemidir; bu, muazzam paralellik ve gerçek ölçeklenebilirlik sağlıyor.
Küresel sıralama elbette yerel sıralamayı ima eder, ancak bu aynı zamanda son derece naif ve basit bir çözümdür. 15 yıllık “blockchain” deneyiminden sonra, gözlerimizi açmanın ve daha iyi bir gelecek el yapımı oluşturmanın zamanı geldi. Dağıtık sistemler bilimsel alanı, 1980'lerin güçlü tutarlılık kavramından 2015'in güçlü nihai tutarlılık modeline geçiş yaptı; bu model, paralellik ve eşzamanlılığı serbest bırakır. Web3 endüstrisinin de geçmişi geride bırakma ve ileriye dönük bilimsel ilerlemeyi takip etme zamanı geldi.
L2 uzlaşmasının çağı sona erdi. Gelecek için tasarlanmış bir temel üzerine inşa etme zamanı, buradan web3 benimsemesinin bir sonraki dalgası gelecektir.
Xiaohong Chen
Xiaohong Chen, Pi Squared Inc.'deki Baş Teknoloji Sorumlusu olarak, ödemeler ve uzlaşmalar için hızlı, paralel ve merkeziyetsiz sistemler üzerinde çalışmaktadır. İlgi alanları arasında program doğruluğu, teorem kanıtı, ölçeklenebilir ZK çözümleri ve bu teknikleri tüm programlama dillerine uygulama bulunmaktadır. Xiaohong, Pekin Üniversitesi'nden Matematik alanında lisans, Illinois Üniversitesi Urbana-Champaign'den ise Bilgisayar Bilimleri alanında doktora almıştır.