Ethereum kurucusu Vitalik, 8 Nisan 2025'te 2025 Hong Kong Web3 Karnavalı Zirvesi'nde açılış konuşmasını yaptı. Konuşmanın içeriği özetle şöyle:

Şu anda Optimism veya Arbitrum'dan çıkmak için 1 haftalık bir çıkış süreci gerekiyor ki bu da birçok soruna yol açabiliyor.

Peki bunu neden önemsemeliyiz? L2 ve L1 arasındaki daha hızlı bağlantılara neden önem vermelisiniz? Bana göre bunun iki nedeni var. Bunlardan biri de kullanıcı deneyimidir. Kullanıcıların daha iyi bir deneyim yaşamasını istiyoruz. 1 hafta beklemek kötü bir deneyim. Bir diğer neden ise daha bütünleşik bir ekosisteme ihtiyaç duymamızdır. Optimism, Arbitrum ve Polygon'u gerçekten geliştirmek için bir şeyler yapmamız gerekiyor.

Bunlar Ethereum dünyasının çeşitli parçaları gibidir, birbirinden bağımsız değillerdir.

Şu anda L1 ve L2 arasında birlikte çalışabilirliği sağlamak çok hızlı, ancak çok fazla Gas gerektiriyor. Geçtiğimiz yaz bu konuyu gerçekten önemsemeye başladık. Odaklandığımız iki şey var: Blockchain üzerindeki belirli adresler ve hedeflenen projeler. Umarım Optimism'i Arbitrum'a aktarmak bir hafta sürmez, hatta Optimism'i akıllı sözleşmeye koymayı umuyorum.

Akıllı sözleşmede, eğer birisi öncelikle sözleşme aracılığıyla hedef adreslerimden birine para gönderdiğine dair kanıt sunarsa, otomatik olarak bu adıma atlayacaktır. Bu nedenle bir haftalık bekleme süresini mümkün olduğunca kısaltmanın bir yolunu bulmayı umuyoruz.

Neden şimdi bir haftalık çekim penceremiz var? Çünkü Optimism'in Rollup'ının, hash'inin sorgulanıp sorgulanmayacağını görmek için bir hafta beklemesi gerekiyor. Hiç kimse sorgulamıyorsa, hash'i kabul edebilirsiniz. Optimism'in avantajı, dayandığı teknolojinin çok dikkatli olması, ancak maliyetinin bir haftalık bekleme olması.

Eğer 1 hafta beklemek istemiyorsak, o zaman ZK+TEE+OP kombinasyonu gibi, blokları paketlemek için tamamen Optimism-proof olmayan bir sistemi kullanabilen bir sistem inşa etmemiz gerekiyor - bu bizim önerdiğimiz tasarımdır.

Normal şartlarda, bir L2 işlemi gerçekleştiğinde, durum bir saat içinde L1'de kesinleşecek ve bu da 1 saati 12 saniyeye düşürecek; bu da temelde sadece verimlilik meselesi. İşte ilk hedef. İkinci hedefimiz L2'nin güvensiz olmasını istiyoruz. Güven gerektiren bileşenler tehlikeye girse bile sistemin doğru durumu belirleyebileceğini ve hata durumunu kaydedebileceğini kanıtlamak istiyoruz. Yani bugün Rollup'lar ya sıfırıncı aşamada ya da birinci aşamadalar, bu da bir tür güvenlik komitesine belirli düzeyde veya tamamen güvendikleri anlamına geliyor. Üreticinin bunları doğru şekilde tasarlayacağına güvenmeniz gerekir. Üreticinin site anahtarının bir kopyasını kendisinde saklamadığına güvenmelisiniz.

Ayrıca donanım mekanizmasının, donanımı elinde bulunduran herhangi birinin tahrip edebileceği bir şey olmadığına ve donanımı lazer veya kızılötesiyle tarayarak vizyonu tahrip etmeden bilgiyi elde etmenin bir yolunu bulamayacaklarına güvenmeniz gerekir.

Şimdi, tüm güvenimizi ZK'ya bağlamak istemiyoruz.

Güveni, çok farklı mantık türlerine göre işleyen üç farklı mekanizma arasında dağıtıyorsunuz. Eğer bu tasarıma sahip olursak, o zaman 1 saat olan tamamlanma süresini 1 haftaya, 1 saate düşürebiliriz. Bu arada, daha önce grup sistemlerine baktığımda onları temelde iki kategoriye ayırmıştım. Biri kurumsal güven, diğeri kriptografik güvendir.

Bir diğer boyut ise hızlı ve yavaştır. Hızlı olan şeyler hemen onaylanabilirken, yavaş olan şeyler için bir süre beklemek gerekebilir. Ve ilginç olan şey, buradaki bu dört şeyin, insanların L2 bağlamında kullandığı veya düşündüğü kanıt sistemlerinin dört bileşeni olması, değil mi? Eğer bunları bir kutuya koyabilseydik, 2x2'lik bir kutuya mükemmel bir şekilde sığarlardı.

İlk adım olarak, Şeytanın Yürüyüşü penceresini 1 haftadan 1 saate kısalttık. Bu size ne kazandırıyor? Temel olarak bu, varlıklarınızı doğrudan yerel köprüyü kullanarak transfer ederseniz bekleme sürenizin 1 haftadan 1 saate düşeceği anlamına geliyor. Niyet bazlı köprülemeyi kullanırsanız, niyet bazlı köprüleme anında gerçekleşir, ancak 1 saat beklemek yerine, likidite sağlayıcılarının 1 saat beklemesi gerekir. Likidite sağlamanın maliyeti 168 kat düştü. Bu sayede ödemeniz gereken ücretler 168 kata kadar düşecek.

L2'ler lowlookahead kullanarak L1'i eşzamansız olarak okuyabilir. Bu, L2'lerin zaten sahip olduğu bir yetenektir, çünkü mevduatları işleyebilmelidirler. Mevduatı okurken yaptığımız gibi aynı durumu alıp L1SLOAD opcode'una maruz bırakıyoruz. L1 oracle verilerinin, anahtar deposu cüzdanlarının ve diğer birçok uygulamanın okunmasını desteklemek son derece değerlidir, çünkü L2'lerin sıklıkla karşılaştığı zorluklardan biri, bunun için çok büyük miktarda para ödenmesini gerektirmesidir.

Yani her türlü özel uygulamaya, özel entegrasyonlara sahip oluyorum. Bu, maliyetleri gerçekten azaltabilir, çünkü birçok durumda alternatif, verileri işlemeye uygun olan halihazırda mevcut olan uygulamanın bir kopyasını doğrudan okuyabilecektir. Bazı şeylerde işe yarıyor, kimseye yazı yazmayı gerektiren şeylerde işe yaramıyor.

Anahtar saklama cüzdanları da ilginç bir fikir, değil mi? Anahtar saklama cüzdanının fikri temel olarak, normal ağ güvenliğinde bir anahtarı döndürmek istemeniz ve anahtarın sonsuz bir ömre sahip olmasını istememenizdir. Neo, bugün tartışacağım hesap soyutlama hedefinin bir parçasıdır.

Anahtar saklama cüzdanları da ilginç bir fikir, değil mi? Anahtar saklama cüzdanının fikri temel olarak, normal ağ güvenliğinde bir anahtarı döndürmek istemeniz ve anahtarın sonsuz bir ömre sahip olmasını istememenizdir. Neo, bugün tartışacağım hesap soyutlama hedefinin bir parçasıdır.

Ama ben bunu birkaç kez konuştum, temelde keyfi mantığa sahip hesaplar oluşturarak şifreleme algoritmasını değiştirmek, anahtarları değiştirmek, onları çok dirençli hale getirmek ve snark gibi ek kurtarma yöntemleri kullanmalarını sağlamak gibi şeyler yapabiliyorsun. Şimdi, zorluklardan biri de şu ki, eğer anahtarı değiştirebilirseniz, o zaman bu değişikliğin yüzlerce olası sonucu vardır. Dolayısıyla mevcut anahtarın kaydını 100 yerde değiştirmeniz gerekiyor.

Bu sorunu nasıl çözersiniz? Bu sorunu, güncel anahtarların kaydını merkezi bir sözleşmeye koyarak çözüyoruz. Daha sonra her L2'de sadece L1 yazan cüzdanın bir kopyası olur. Bu, L2 dünyasında çok daha makul ve aynı güvenlik uygulamalarının çok daha uygulanabilir ve pratik olmasını sağlar.

Yan bir fayda olarak, bu durum hem L2 hem de L1'i içeren iş akışlarını geliştiriciler için çok daha kolay ve doğal hale getirir. Sadece teoriden ve bir sürü tamamen bağımsız zincirden bahsetmiyoruz, aslında L1 teorisinin uygulamaların ve insanların kullanıcı deneyiminin çekirdeği olmaya devam etmesinden bahsediyoruz.

Üçüncü adım, toplama işleminin ispatlanmasıdır. Daha önce de belirttiğim gibi, eğer bu iki veya üç tabanlı yaklaşımı benimsersek veya gelecekte gerçekten iyi bir resmi doğrulama yaparsak ve sadece ZK'ye güvenirsek, commit süresini 1 haftadan 1 saate düşürebiliriz. Neden 1 saat? Neden 12 saniye değil? Bunun iki nedeni var, her ikisini de ele alabiliriz. Birinci sebep, başvurunun maliyetli olmasıdır. Dolayısıyla L1'e bir kanıt göndermek yaklaşık 500.000 gas'lık ek bir yük gerektiriyor ve AA'nın maliyeti çok yüksek.

Şimdi her zaman diliminde bir ispat sunulduğunu düşünürsek, bir yılda 2,5 milyon zaman dilimi vardır. Sadece göreceli bir değeri korumak için yılda 27,5 milyon dolar harcıyoruz, bu çılgınlık. Burada yılda 27 milyon dolar ödemeye razı olan var mı? Ama her 12 saniyede bir yerine dakikada bir başvuru yaparsanız, yılda 27 milyon dolar 5,5 milyon dolara çıkar. Eğer saatte bir gönderim yaparsanız, yıllık 100.000 doların altına düşüyor. Bu aslında yönetilebilir bir durum. Doğal çözüm, delillerin bir araya getirilmesidir.

Eğer çok sayıda farklı aracımız varsa, o zaman bu araçların ayrı ayrı farklı gruplara sunulması yerine, zincirleme kanıtlar gruplandırılabilir, gruplar kanıtlarını topluluğa sunabilir ve daha sonra topluluğa, diğer topluluğa ait tek bir alaycı iddia sunarak diğer alaycı iddiaların varlığını kanıtlayabilir. Alaycılığın doğrulanmasının maliyeti sadece bir kereye mahsus 500.000 benzindir. Burada olan şey aslında bu resimdekiyle aynı mı? Sağ? Temel olarak bir sürü kanıtınız var ve bu kanıtlar aynı zamanda hangi sözleşmenin olduğunu da belirtiyor. Bir bloktayız. O zaman elinizde toplu bir kanıt olur. Toplama kanıtı doğrulandı. Toplu kanıt, tüm bilgileri tek bir özet halinde kamuya açık bir girdi olarak içerir ve daha sonra kanıt yalnızca bir kez gerçekleşir. Bu sözleşme daha sonra her toplama için yalnızca bir çağrı yapacaktır ve çağrının yaptığı tek şey her toplama için olacaktır. Sadece tek tek yükleniyor. İşlem başına maliyet 500.000 gas'tan 10.000 gas'ın altına düştü.

Şimdi dördüncü adımımız, ispat gecikmesini azaltmaktır. Hesaplamayı ispatlamak, onu yapmaktan daha uzun sürer ve daha fazla bilgisayar gücü gerektirir. Varsayılan olarak bu hesaplama felç olmaz. Bunu ölçeklendirmeniz ve çok yoğun hesaplama gerektiren bir şey yapmanız gerekiyor.

Yani sonuç olarak dengede, üretilmesi 5 saniye süren bir bloğun kanıtlanması da 500 saniye sürüyor, değil mi? Bu bir sorundur. Peki soru şu; bu sorunu nasıl çözeceğiz? İki fikrim var. Birincisi, bunu özel donanımlar kullanarak geliştirebiliriz. Bazı şirketler bunu zaten yapıyor. Eğer 100x donanım hızlandırma faktörü elde ederseniz, o zaman gerçek zamanlı denemeler yapabilirsiniz. Bir diğer fikir ise süper-felç kanıtları. Yani matematiksel açıdan bakıldığında bu aslında çok basit. Temel olarak hesaplamayı adımlara bölüyorsunuz. Daha sonra her adım için kanıtı farklı cihazlarda paralel olarak üretirsiniz.

Bunlar yetmezmiş gibi, uzmanlaşmış donanımlar daha da hızlı gelişiyor. Aynı zamanda iyileştirmenin maliyeti de daha düşük olacaktır. Yani çok fazla seçeneğimiz var.

İkisi de çok daha hızlı zaman aralıklarına sahip olan Intensive Optimism ve Arbitrum'u kullanırsanız bunu da 2 saniyede yapabilirsiniz. Yani çok ucuz olacak. Yani Yoğun seçeneğini kullanırsanız, temelde sınırsız miktarda Ethereum'u hızlı ve düşük bir maliyetle transfer edebileceksiniz. Dolayısıyla bu aynı zamanda L1 ile L2 arasında daha yakın bir bağlantı kurabileceğimiz anlamına da gelir. Herkes için her şeyin daha kolay ve hızlı olduğu, daha bütünleşik bir dünyaya kavuşuyoruz. Teşekkürler.