Editör notu: Ethereum, 10.000 TPS'ye ulaşma yolunda yeni bir genişleme dönemine giriyor ve sıfır bilgi kanıtı (ZK) teknolojisi ana itici güç haline geliyor. Bu, "Ethereum 10.000 TPS Yol Haritası" adlı derlememizin ikinci bölümü olup, gerçek zamanlı kanıtların teknik zorluklarına, Prover'ın katılım mantığına, L1 geçiş sürecindeki güvenlik zorluklarına ve "yerel Rollup"ın ZK genişlemesinin nihai şekli nasıl olacağına odaklanacaktır.
Eğer ZK dönüşümü Ethereum teknolojisinin yeniden yapılandırılmasının başlangıcıysa, o zaman "gerçek zamanlı kanıt" ve "doğal Rollup" bu ölçeklenme devriminin temel uygulama aşamalarıdır.
Bu yazıda, Ethereum ana ağında 12 saniyelik ZK gerçek zamanlı kanıtların nasıl gerçekleştirileceğini, Prover olmanın donanım gereksinimlerini ve teşvik mekanizmalarını nasıl olacağını ve yerel Rollup'ın Ethereum L2'nin yapısını nasıl değiştireceğini derinlemesine inceleyeceğiz.
01, gerçek zamanlı kanıt: Ethereum ölçeklenebilirliğinin ana parçası
Ethereum'un 10.000 TPS'ye ulaşma yol haritasında, kaçınılmaz bir teknik atılım noktası vardır: gerçek zamanlı kanıtlama (real-time proving).
Succinct'in kurucu ortağı Uma Roy, bunu şu şekilde açıkladı: "Gerçek zamanlı kanıt, Ethereum ana ağındaki bir blok için ZK kanıtının oluşturulma sürecinin 12 saniyeden daha kısa bir süre içinde tamamlanabilmesi anlamına gelir."
Bu ne anlama geliyor? Gerçek zamanlı kanıtlar uygulandığında, Ethereum blok doğrulama mantığını protokolün kendisine dahil edebilir ve doğrulanabilirlikten ödün vermeden neredeyse "herhangi bir şekilde" Gas üst sınırını artırarak L1'in büyük ölçekli genişlemesini sağlamış olur (editör notu: Ethereum ana ağındaki her blok için üretim süresi 12 saniyedir, bu nedenle "gerçek zamanlı" her blok döngüsü içinde kanıtın tamamlandığı anlamına gelir).
Ancak gerçek zamanlı kanıt sağlamak için yalnızca zkVM teknolojisi yeterli değildir, aynı zamanda Ethereum protokol katmanında değişiklikler yapılması gerekmektedir.
Ethereum Vakfı'ndan Ladislaus, önümüzdeki yıl Glamsterdam yükseltmesinde "blok doğrulama ve anlık yürütmenin ayrılması" adlı kritik bir mekanizmanın tanıtılmasının beklendiğini belirtti. Bu, Prover'lara (kanıtlayıcılar) bir tam slot içinde zkEVM kanıtını oluşturmak için daha fazla zaman sağlayarak gerçek anlamda anlık işleme ulaşılmasını sağlıyor.
Teknik gerçekleştirme açısından, Succinct en son SP1 Hypercube zkVM'sini yayımladı ve 200 GPU'luk bir küme altında, 10.000 ana ağ bloğundaki %93'ünü gerçek zamanlı olarak kanıtlayabiliyor.
Roy, bu yılın sonuna kadar başarı oranını %99'a çıkaracaklarına dair güvenleri olduğunu belirtti. İşlenmesi zor bazı blokların, az sayıda blokun zamanında kanıt üretememesine yol açabileceğine rağmen, protokol tasarımında hataya dayanıklılık mekanizmaları göz önünde bulundurulmuştur; örneğin, bu bloğun atlanmasına izin vererek bir sonraki bloğa geçilebilir ve işlemeye devam edilebilir.
Daha ileri giderek, Ethereum ayrıca blok süresini 12 saniyeden 6 saniyeye kısaltmayı düşünüyor (Glamsterdam'ın bir diğer potansiyel önerisi olarak), bu kullanıcı deneyimini ve işlem onay hızını önemli ölçüde artıracak, ancak bu aynı zamanda ZK Prover için ek bir baskı da yaratıyor - kanıtlayıcılar için görev zorluğu iki katına çıkmış durumda.
Ancak Roy endişelenmiyor, sonuçta ZK teknolojisi her yıl performansını 10 kat artırabiliyor, blok süreleri yarıya inerse bile buna karşı koyabilir.
6 Haziran'da Linea, ağındaki tüm zincir içi aktivitelerin %100'ünün ZK kanıtları ile kapsanabildiğini duyurdu. Ancak Linea'nın mevcut TPS'si yalnızca 2'dir, bu bir performans sınırlaması değil, kullanım talebi ile sınırlıdır.
Dikkate değer olan, Linea blok aralığının yalnızca 2 saniye olmasıdır; ZK kanıtları akıllı sözleşmeler aracılığıyla Ethereum L1'e yüklenerek doğrulanır. Bu model, belki de gelecekteki ana ağın "ZK'leşme" ön sürümüdür.
02, Ethereum ZK kanıtlayıcılarının donanım eşiği yüksek mi?
Gerçek zamanlı ZK kanıtları oluşturmak istiyorsanız, güçlü hesaplama kaynaklarından vazgeçemezsiniz.
Ethereum Vakfı'nın şu anda Prover için belirlediği ilk teknik hedefler şunlardır: Donanım maliyetinin 100.000 doların altında tutulması, elektrik tüketiminin 10 kilovattan düşük olması, bu da yaklaşık olarak bir Tesla Powerwall ev bataryasının enerji tüketim seviyesine eşdeğerdir.
Bu sayı "hafif" görünmüyor, Ethereum eleştirmeni Justin Bons (Cyber Capital kurucusu) bunu "Solana doğrulayıcı düğümlerinin delice donanım gereksinimlerinden çok daha fazlası" olarak adlandırdı, ancak bu aslında tamamen farklı iki rolü karıştırmak.
Ethereum Vakfı Protokol Koordinasyon Ekibi'nden Ladislaus, Prover ve Validator (doğrulayıcı) rollerinin farklı olduğunu ve birbirleriyle karıştırılamayacağını belirtti - doğrulayıcılar düğüm çalıştırır ve konsensüse katılır; Prover'ın görevi ZK kanıtı oluşturmaktır, bir işlem için ZK kanıtı doğru bir şekilde oluşturulduğunda, ağda sadece bu kanıtın doğru olup olmadığını doğrulamak yeterlidir, işlemi tekrar yürütmek gerekmez.
Bu nedenle, Ladislaus iyimser bir tutum sergiliyor; "Sadece donanım koşullarını karşılayan dürüst bir kanıtlayıcı bulunabilirse, Ethereum güvenli bir şekilde çalışmaya devam edebilir. Eşik değerini veri merkezinin altına düşürdük, hatta büyük kurumlar veya veri merkezleri olmasa bile, yeterli teknik bilgiye sahip bireysel geliştiriciler de evlerinden Prover'ı çalıştırabilir."
Şu anda bu 100.000 dolarlık donanım yapılandırması sadece başlangıç hedefidir, Ethereum Vakfı araştırmacısı Sophia Gold, bu yılın Kasım ayında Devconnect Arjantin Geliştirici Konferansı öncesinde ana akım Prover'ın hedefe ulaşmasını bekliyor.
Succinct kurucu ortağı Roy, önümüzdeki yılın başına kadar GPU talebini yaklaşık 16 grafik kartına düşürebileceğini ve toplam maliyetin 10.000 ile 30.000 dolar arasında kontrol edileceğini öngörüyor.
Bu arada, Succinct testnet üzerinde "yüzlerce Prover" dan oluşan merkeziyetsiz bir ağ kurdu ve toplamda milyonlarca kanıt üretti.
Bu sistemin temel mantığı rekabetçi kanıtlama olup, tüm Prover'lar ihale sürecine katılır ve her turda bir kazanan seçilerek zk kanıtını icra eder. Amaç, daha kısa süre ve daha düşük maliyetle katılanların kazanmasını sağlamak ve bir tür hesaplama gücü ihale mekanizması oluşturmaktır.
Bu, ZK destekli Ethereum geleceğinde madenci ruhunun başka bir biçimde yeniden ortaya çıkacağı anlamına geliyor - yalnızca rol, blok hesaplamaktan kanıt hesaplamaya dönüşüyor.
03, Ana ağ ZK mimarisine geçildi: Zorlu bir sistem göçü.
Ethereum L1 ana ağının sıfır bilgi kanıtı (ZK) mimarisine geçişi, 2022 yılında iş kanıtından (PoW) hisse kanıtına (PoS) geçişten sonra, bir kez daha neredeyse eşit seviyede bir teknik zorluktur. Bu süreç, sadece protokol katmanının yeniden yapılandırılmasını gerektirmekle kalmayıp, aynı zamanda ağın kesintiye uğraması riskine karşı çeşitli potansiyel kenar senaryoları ve güvenlik risklerini titizlikle dikkate almayı da gerektirir.
Bu yıl Temmuz ayında yapılan bir EthProofs konferansında, araştırmacı Justin Drake birkaç potansiyel riskten bahsetti. Örneğin, kötü niyetli saldırganların bloklara "prover killer (kanıtlayıcı katil)" adı verilen şeyler ekleyerek tüm ağın doğrulama mekanizmasının bozulmasına neden olabileceği; ya da ağ aktivitesinin aniden düşmesi durumunda, üretilen işlem ücretlerinin ZK kanıtlarının maliyetini karşılamayacak kadar yetersiz kalması ve bunun ağın sürdürülebilirliğini etkilemesi gibi durumlar söz konusu.
Ethereum Vakfı Protokol Koordinasyon Ekibi'nden Ladislaus, tüm geçiş sürecinin birkaç yıl alabileceğini ve özellikle güvenlik açısından potansiyel risklere dikkat edilmesi gerektiğini belirtti. ZK sanal makinesi (zkVM), hâlâ erken aşamalarda olan karmaşık bir teknoloji olarak, çeşitli açıkların ortaya çıkma olasılığı yüksektir. Ancak ekosistem olgunlaştıkça, çeşitli kanıt sistemlerinin (proof diversity) getirilmesi, teşvik mekanizmalarının geliştirilmesi ve biçimsel doğrulama gibi yöntemler aracılığıyla, Ethereum L1 üzerindeki uygulanabilirlik ve dayanıklılığını kademeli olarak artırabiliriz.
Bu arada, Ethereum, konsensüs katmanında köklü bir mimari yeniden yapılandırma planlıyor; yani "Beam Chain" adlı yeni bir yapı inşa etmek. Hedef, tasarım aşamasında ZK optimizasyonu dostu olmaktır. Drake, gelecekte tüm Ethereum veri doğrulama işlemlerinin sıradan bir dizüstü bilgisayarın CPU'sunda gerçekleştirilebileceğini bile belirtti.
04, Ana Ağ "Snarklaşması": Yerel Rollup Geliyor
Ethereum ana ağına zkEVM entegrasyonu ile birlikte, başka bir uzun vadeli düşünce de yavaş yavaş belirmeye başladı: Yerel Rollup (Native Rollup).
Mevcut Rollup'lar (ister Optimistic ister ZK türü) bağımsız bir kanıtlama sistemi benimsemektedir ve güvenliği, kendi doğrulayıcıları veya sıralayıcı mekanizmasına bağlıdır; Ethereum ana ağı ile arasında belirli bir güven varsayımı bulunmaktadır.
Ancak "doğal Rollup" vizyonu tamamen farklıdır - zkEVM'nin ana ağa entegre edilmesiyle, Ethereum L1 doğrulayıcılarının Rollup'ın durum geçiş kanıtlarını doğrudan doğrulamasını sağlayarak gerçekten ana ağ tarafından doğrulanan ve ana ağın güvenliğini sağladığı L2'yi gerçekleştirmeyi amaçlamaktadır.
Bu, Ethereum L1 istemcisinde "execute precompile" adlı kritik bir kod parçasının eklenmesini gerektirir; bu, doğrulayıcıların L2 tarafından üretilen ZK durum geçiş kanıtlarını doğrudan doğrulamasına izin verir. Ethereum Vakfı protokol koordinatörü Ladislaus'un söylediği gibi, "L1 doğrulayıcıları bu Rollup'ların yürütme kanıtlarını tüketecek ve doğruluğunu doğrulayacaktır."
Başka bir deyişle, eğer yerel Rollup gerçeğe dönüşürse, gelecekte L1'de meydana gelen bir işlem veya yerel Rollup üzerinde gerçekleşen bir işlem olsun, nihai düzenleme ve güvenlik aynı Ethereum doğrulayıcıları grubuyla sağlanacak ve güven düzeyi tamamen eşit olacaktır.
Bu, yerel Rollup'a 10 milyon dolar yatırmanın güvenliğinin doğrudan Ethereum ana ağına yatırmakla eşdeğer olacağı anlamına geliyor.
Linea projesinin sorumlusu Declan Fox, uzun vadeli hedeflerinin yerel bir Rollup olmak olduğunu belirtti. Bunun, ETH 2.0 parçalama planının "geliştirilmiş versiyonu" olduğunu düşünüyor; artık aynı yapıya sahip 64 parçalı zincir zorunlu bir şekilde çalıştırmak yerine, farklı senaryolar ve kullanıcı ihtiyaçlarını karşılamak için yüksek derecede programlanabilir ve özelleştirilebilir bir şekilde heterojen Rollup sistemleri inşa etmeyi hedefliyor.
Geçmişteki ETH 2.0'ın homojen parçalama mimarisinden farklı olarak, yerel Rollup'lar heterojen olabilir ve son kullanıcılara daha çeşitli ve farklılaşmış bir uygulama deneyimi sunabilir.
Yerel Rollup henüz Ethereum yol haritasına resmi olarak yazılmamış olsa da, zkEVM'nin resmi olarak başlatılması ve L1 mimarisinin aşamalı olarak yeniden yapılandırılması ile birlikte, belirlenen arayüzler ve ön derleme mantığı için, bu açıkça öngörülebilir bir teknik eğilim haline gelmiştir.
Ladislaus özetledi: "EVM'yi Snark hale getirme (yani ZK kanıtı yeteneklerinin entegrasyonu) ve yerel Rollup'ları ilerletme konusunda Ethereum'un yüksek bir teknik işbirliği var, çünkü her ikisi de temel ZK teknoloji yığınına sahip." Elbette bu süreç hala Ethereum topluluğu yönetimi aracılığıyla geçmelidir, EIP (Ethereum İyileştirme Önerisi) oluşturulmalı ve nihayetinde bir hard fork ile uygulanmalıdır.
İyimser beklentilere göre, her şey yolunda giderse, belki de yıl sonunda ilgili EIP'yi sunabiliriz ve Glamsterdam yükseltmesinin ardından gerçekleşecek fork'ta canlıya alabiliriz.
Ancak bu zaman çizelgesinin yüksek bir belirsizlik taşıdığına dikkat etmek gerekir.
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.
Gerçek zamanlı kanıttan yerel Rollup'a: ZK destekli Ethereum ölçeklenebilirlik sonu
Yazar: imToken
Editör notu: Ethereum, 10.000 TPS'ye ulaşma yolunda yeni bir genişleme dönemine giriyor ve sıfır bilgi kanıtı (ZK) teknolojisi ana itici güç haline geliyor. Bu, "Ethereum 10.000 TPS Yol Haritası" adlı derlememizin ikinci bölümü olup, gerçek zamanlı kanıtların teknik zorluklarına, Prover'ın katılım mantığına, L1 geçiş sürecindeki güvenlik zorluklarına ve "yerel Rollup"ın ZK genişlemesinin nihai şekli nasıl olacağına odaklanacaktır.
Eğer ZK dönüşümü Ethereum teknolojisinin yeniden yapılandırılmasının başlangıcıysa, o zaman "gerçek zamanlı kanıt" ve "doğal Rollup" bu ölçeklenme devriminin temel uygulama aşamalarıdır.
Bu yazıda, Ethereum ana ağında 12 saniyelik ZK gerçek zamanlı kanıtların nasıl gerçekleştirileceğini, Prover olmanın donanım gereksinimlerini ve teşvik mekanizmalarını nasıl olacağını ve yerel Rollup'ın Ethereum L2'nin yapısını nasıl değiştireceğini derinlemesine inceleyeceğiz.
01, gerçek zamanlı kanıt: Ethereum ölçeklenebilirliğinin ana parçası
Ethereum'un 10.000 TPS'ye ulaşma yol haritasında, kaçınılmaz bir teknik atılım noktası vardır: gerçek zamanlı kanıtlama (real-time proving).
Succinct'in kurucu ortağı Uma Roy, bunu şu şekilde açıkladı: "Gerçek zamanlı kanıt, Ethereum ana ağındaki bir blok için ZK kanıtının oluşturulma sürecinin 12 saniyeden daha kısa bir süre içinde tamamlanabilmesi anlamına gelir."
Bu ne anlama geliyor? Gerçek zamanlı kanıtlar uygulandığında, Ethereum blok doğrulama mantığını protokolün kendisine dahil edebilir ve doğrulanabilirlikten ödün vermeden neredeyse "herhangi bir şekilde" Gas üst sınırını artırarak L1'in büyük ölçekli genişlemesini sağlamış olur (editör notu: Ethereum ana ağındaki her blok için üretim süresi 12 saniyedir, bu nedenle "gerçek zamanlı" her blok döngüsü içinde kanıtın tamamlandığı anlamına gelir).
Ancak gerçek zamanlı kanıt sağlamak için yalnızca zkVM teknolojisi yeterli değildir, aynı zamanda Ethereum protokol katmanında değişiklikler yapılması gerekmektedir.
Ethereum Vakfı'ndan Ladislaus, önümüzdeki yıl Glamsterdam yükseltmesinde "blok doğrulama ve anlık yürütmenin ayrılması" adlı kritik bir mekanizmanın tanıtılmasının beklendiğini belirtti. Bu, Prover'lara (kanıtlayıcılar) bir tam slot içinde zkEVM kanıtını oluşturmak için daha fazla zaman sağlayarak gerçek anlamda anlık işleme ulaşılmasını sağlıyor.
Teknik gerçekleştirme açısından, Succinct en son SP1 Hypercube zkVM'sini yayımladı ve 200 GPU'luk bir küme altında, 10.000 ana ağ bloğundaki %93'ünü gerçek zamanlı olarak kanıtlayabiliyor.
Roy, bu yılın sonuna kadar başarı oranını %99'a çıkaracaklarına dair güvenleri olduğunu belirtti. İşlenmesi zor bazı blokların, az sayıda blokun zamanında kanıt üretememesine yol açabileceğine rağmen, protokol tasarımında hataya dayanıklılık mekanizmaları göz önünde bulundurulmuştur; örneğin, bu bloğun atlanmasına izin vererek bir sonraki bloğa geçilebilir ve işlemeye devam edilebilir.
Daha ileri giderek, Ethereum ayrıca blok süresini 12 saniyeden 6 saniyeye kısaltmayı düşünüyor (Glamsterdam'ın bir diğer potansiyel önerisi olarak), bu kullanıcı deneyimini ve işlem onay hızını önemli ölçüde artıracak, ancak bu aynı zamanda ZK Prover için ek bir baskı da yaratıyor - kanıtlayıcılar için görev zorluğu iki katına çıkmış durumda.
Ancak Roy endişelenmiyor, sonuçta ZK teknolojisi her yıl performansını 10 kat artırabiliyor, blok süreleri yarıya inerse bile buna karşı koyabilir.
6 Haziran'da Linea, ağındaki tüm zincir içi aktivitelerin %100'ünün ZK kanıtları ile kapsanabildiğini duyurdu. Ancak Linea'nın mevcut TPS'si yalnızca 2'dir, bu bir performans sınırlaması değil, kullanım talebi ile sınırlıdır.
Dikkate değer olan, Linea blok aralığının yalnızca 2 saniye olmasıdır; ZK kanıtları akıllı sözleşmeler aracılığıyla Ethereum L1'e yüklenerek doğrulanır. Bu model, belki de gelecekteki ana ağın "ZK'leşme" ön sürümüdür.
02, Ethereum ZK kanıtlayıcılarının donanım eşiği yüksek mi?
Gerçek zamanlı ZK kanıtları oluşturmak istiyorsanız, güçlü hesaplama kaynaklarından vazgeçemezsiniz.
Ethereum Vakfı'nın şu anda Prover için belirlediği ilk teknik hedefler şunlardır: Donanım maliyetinin 100.000 doların altında tutulması, elektrik tüketiminin 10 kilovattan düşük olması, bu da yaklaşık olarak bir Tesla Powerwall ev bataryasının enerji tüketim seviyesine eşdeğerdir.
Bu sayı "hafif" görünmüyor, Ethereum eleştirmeni Justin Bons (Cyber Capital kurucusu) bunu "Solana doğrulayıcı düğümlerinin delice donanım gereksinimlerinden çok daha fazlası" olarak adlandırdı, ancak bu aslında tamamen farklı iki rolü karıştırmak.
Ethereum Vakfı Protokol Koordinasyon Ekibi'nden Ladislaus, Prover ve Validator (doğrulayıcı) rollerinin farklı olduğunu ve birbirleriyle karıştırılamayacağını belirtti - doğrulayıcılar düğüm çalıştırır ve konsensüse katılır; Prover'ın görevi ZK kanıtı oluşturmaktır, bir işlem için ZK kanıtı doğru bir şekilde oluşturulduğunda, ağda sadece bu kanıtın doğru olup olmadığını doğrulamak yeterlidir, işlemi tekrar yürütmek gerekmez.
Bu nedenle, Ladislaus iyimser bir tutum sergiliyor; "Sadece donanım koşullarını karşılayan dürüst bir kanıtlayıcı bulunabilirse, Ethereum güvenli bir şekilde çalışmaya devam edebilir. Eşik değerini veri merkezinin altına düşürdük, hatta büyük kurumlar veya veri merkezleri olmasa bile, yeterli teknik bilgiye sahip bireysel geliştiriciler de evlerinden Prover'ı çalıştırabilir."
Şu anda bu 100.000 dolarlık donanım yapılandırması sadece başlangıç hedefidir, Ethereum Vakfı araştırmacısı Sophia Gold, bu yılın Kasım ayında Devconnect Arjantin Geliştirici Konferansı öncesinde ana akım Prover'ın hedefe ulaşmasını bekliyor.
Succinct kurucu ortağı Roy, önümüzdeki yılın başına kadar GPU talebini yaklaşık 16 grafik kartına düşürebileceğini ve toplam maliyetin 10.000 ile 30.000 dolar arasında kontrol edileceğini öngörüyor.
Bu arada, Succinct testnet üzerinde "yüzlerce Prover" dan oluşan merkeziyetsiz bir ağ kurdu ve toplamda milyonlarca kanıt üretti.
Bu sistemin temel mantığı rekabetçi kanıtlama olup, tüm Prover'lar ihale sürecine katılır ve her turda bir kazanan seçilerek zk kanıtını icra eder. Amaç, daha kısa süre ve daha düşük maliyetle katılanların kazanmasını sağlamak ve bir tür hesaplama gücü ihale mekanizması oluşturmaktır.
Bu, ZK destekli Ethereum geleceğinde madenci ruhunun başka bir biçimde yeniden ortaya çıkacağı anlamına geliyor - yalnızca rol, blok hesaplamaktan kanıt hesaplamaya dönüşüyor.
03, Ana ağ ZK mimarisine geçildi: Zorlu bir sistem göçü.
Ethereum L1 ana ağının sıfır bilgi kanıtı (ZK) mimarisine geçişi, 2022 yılında iş kanıtından (PoW) hisse kanıtına (PoS) geçişten sonra, bir kez daha neredeyse eşit seviyede bir teknik zorluktur. Bu süreç, sadece protokol katmanının yeniden yapılandırılmasını gerektirmekle kalmayıp, aynı zamanda ağın kesintiye uğraması riskine karşı çeşitli potansiyel kenar senaryoları ve güvenlik risklerini titizlikle dikkate almayı da gerektirir.
Bu yıl Temmuz ayında yapılan bir EthProofs konferansında, araştırmacı Justin Drake birkaç potansiyel riskten bahsetti. Örneğin, kötü niyetli saldırganların bloklara "prover killer (kanıtlayıcı katil)" adı verilen şeyler ekleyerek tüm ağın doğrulama mekanizmasının bozulmasına neden olabileceği; ya da ağ aktivitesinin aniden düşmesi durumunda, üretilen işlem ücretlerinin ZK kanıtlarının maliyetini karşılamayacak kadar yetersiz kalması ve bunun ağın sürdürülebilirliğini etkilemesi gibi durumlar söz konusu.
Ethereum Vakfı Protokol Koordinasyon Ekibi'nden Ladislaus, tüm geçiş sürecinin birkaç yıl alabileceğini ve özellikle güvenlik açısından potansiyel risklere dikkat edilmesi gerektiğini belirtti. ZK sanal makinesi (zkVM), hâlâ erken aşamalarda olan karmaşık bir teknoloji olarak, çeşitli açıkların ortaya çıkma olasılığı yüksektir. Ancak ekosistem olgunlaştıkça, çeşitli kanıt sistemlerinin (proof diversity) getirilmesi, teşvik mekanizmalarının geliştirilmesi ve biçimsel doğrulama gibi yöntemler aracılığıyla, Ethereum L1 üzerindeki uygulanabilirlik ve dayanıklılığını kademeli olarak artırabiliriz.
Bu arada, Ethereum, konsensüs katmanında köklü bir mimari yeniden yapılandırma planlıyor; yani "Beam Chain" adlı yeni bir yapı inşa etmek. Hedef, tasarım aşamasında ZK optimizasyonu dostu olmaktır. Drake, gelecekte tüm Ethereum veri doğrulama işlemlerinin sıradan bir dizüstü bilgisayarın CPU'sunda gerçekleştirilebileceğini bile belirtti.
04, Ana Ağ "Snarklaşması": Yerel Rollup Geliyor
Ethereum ana ağına zkEVM entegrasyonu ile birlikte, başka bir uzun vadeli düşünce de yavaş yavaş belirmeye başladı: Yerel Rollup (Native Rollup).
Mevcut Rollup'lar (ister Optimistic ister ZK türü) bağımsız bir kanıtlama sistemi benimsemektedir ve güvenliği, kendi doğrulayıcıları veya sıralayıcı mekanizmasına bağlıdır; Ethereum ana ağı ile arasında belirli bir güven varsayımı bulunmaktadır.
Ancak "doğal Rollup" vizyonu tamamen farklıdır - zkEVM'nin ana ağa entegre edilmesiyle, Ethereum L1 doğrulayıcılarının Rollup'ın durum geçiş kanıtlarını doğrudan doğrulamasını sağlayarak gerçekten ana ağ tarafından doğrulanan ve ana ağın güvenliğini sağladığı L2'yi gerçekleştirmeyi amaçlamaktadır.
Bu, Ethereum L1 istemcisinde "execute precompile" adlı kritik bir kod parçasının eklenmesini gerektirir; bu, doğrulayıcıların L2 tarafından üretilen ZK durum geçiş kanıtlarını doğrudan doğrulamasına izin verir. Ethereum Vakfı protokol koordinatörü Ladislaus'un söylediği gibi, "L1 doğrulayıcıları bu Rollup'ların yürütme kanıtlarını tüketecek ve doğruluğunu doğrulayacaktır."
Başka bir deyişle, eğer yerel Rollup gerçeğe dönüşürse, gelecekte L1'de meydana gelen bir işlem veya yerel Rollup üzerinde gerçekleşen bir işlem olsun, nihai düzenleme ve güvenlik aynı Ethereum doğrulayıcıları grubuyla sağlanacak ve güven düzeyi tamamen eşit olacaktır.
Bu, yerel Rollup'a 10 milyon dolar yatırmanın güvenliğinin doğrudan Ethereum ana ağına yatırmakla eşdeğer olacağı anlamına geliyor.
Linea projesinin sorumlusu Declan Fox, uzun vadeli hedeflerinin yerel bir Rollup olmak olduğunu belirtti. Bunun, ETH 2.0 parçalama planının "geliştirilmiş versiyonu" olduğunu düşünüyor; artık aynı yapıya sahip 64 parçalı zincir zorunlu bir şekilde çalıştırmak yerine, farklı senaryolar ve kullanıcı ihtiyaçlarını karşılamak için yüksek derecede programlanabilir ve özelleştirilebilir bir şekilde heterojen Rollup sistemleri inşa etmeyi hedefliyor.
Geçmişteki ETH 2.0'ın homojen parçalama mimarisinden farklı olarak, yerel Rollup'lar heterojen olabilir ve son kullanıcılara daha çeşitli ve farklılaşmış bir uygulama deneyimi sunabilir.
Yerel Rollup henüz Ethereum yol haritasına resmi olarak yazılmamış olsa da, zkEVM'nin resmi olarak başlatılması ve L1 mimarisinin aşamalı olarak yeniden yapılandırılması ile birlikte, belirlenen arayüzler ve ön derleme mantığı için, bu açıkça öngörülebilir bir teknik eğilim haline gelmiştir.
Ladislaus özetledi: "EVM'yi Snark hale getirme (yani ZK kanıtı yeteneklerinin entegrasyonu) ve yerel Rollup'ları ilerletme konusunda Ethereum'un yüksek bir teknik işbirliği var, çünkü her ikisi de temel ZK teknoloji yığınına sahip." Elbette bu süreç hala Ethereum topluluğu yönetimi aracılığıyla geçmelidir, EIP (Ethereum İyileştirme Önerisi) oluşturulmalı ve nihayetinde bir hard fork ile uygulanmalıdır.
İyimser beklentilere göre, her şey yolunda giderse, belki de yıl sonunda ilgili EIP'yi sunabiliriz ve Glamsterdam yükseltmesinin ardından gerçekleşecek fork'ta canlıya alabiliriz.
Ancak bu zaman çizelgesinin yüksek bir belirsizlik taşıdığına dikkat etmek gerekir.