Partnered With:

Matter Labs Ekibiyle Özel Röportaj: zkSync 2.0'nin L2 Arenasında Nasıl Öne Çıktığı?

Bu makaleyi okumak için 26 Dakika

Matter Labs ekibi, zkSync ile Starkware arasındaki farkı, ölçeklenebilirlik özelliklerini ve projenin merkezsizleşme planını tartıştı.

Orjinal Metin Başlığı: "zkSync 2.0 AMA: Ethereum Layer 2 Alanında Nasıl Öne Çıkıyor?"

Orjinal Metin Yazarı: Bin Lynn, DeFi Avenue

Son zamanlarda, Ethereum Layer 2 projesi Matter Labs, zkSync 2.0 test ağına ilk Solidity dApp'ı taşıdı ve temelindeki zkEVM sayesinde bu ZK Rollup ikinci katman ağı tamamen EVM ile uyumlu hale getirildi.

Bu yeni doğmuş Layer 2 için, Matter Labs resmi olarak r/ethereum'da bir AMA gerçekleştirdi ve aşağıda DeFi Avenue tarafından derlenen etkinlik içeriğinin seçkileri bulunmaktadır:

S1: Alex G, Twitter'da Starkware ve zkSync'in farklı hedef kitleleri için inşa edildiğini söyledi, bu konuyu detaylı olarak açıklayabilir misiniz?

Alex: Elbette, sadece Matter Labs'i temsil edebilirim, ancak bu kesinlikle benim güçlü görüşüm.

zkSync'in vizyonu, erken dönem kripto hareketinin ruhundan ve felsefesinden gelmektedir. Bu, kripto-anarşizme, bireysel egemenliğe, Satoshi Nakamoto'ya ve Vitalik gibi düşünürlere dayanmaktadır. Kısacası, özgürlüğü ve kriptografinin getirdiği güçlü yeni bir direnç biçimini değerli buluyoruz. Kriptografi, bugün herhangi bir bireyin kullanabileceği, en güçlü rakibe karşı (örneğin güçlü bir otoriteye karşı) direnebilen tek teknolojidir. Kriptografi, merkezi olmayanlıkla birleştiğinde, blokzincir topluluğuna meydan okuma (ve nihayetinde durumu değiştirme) kapasitesi verir. Merkezi olmayanlık ve durdurulamazlık olmadan, bugün sahip olduğunuz şey bir banka olurdu. Bu özelliklerin blokzincir için gerekli olmadığını düşünüyorsanız, lütfen Google'da "e-gold" ve "liberty reserve"ı araştırmak için biraz zaman ayırın.

Bu, şirketler arasındaki ana farkı ortaya çıkarır. zkSync, "merkezi olmayanlık" ve "esneklik optimizasyonu" için açık bir protokol inşa etmektedir. Değiştirilebilir olmayı hedefliyoruz: Yani Matter Labs kaybolursa veya zarar görürse, ağ hala büyümeye devam etmelidir. Temel hedef kitlemiz, 1) finansal egemenliği blokzincir kullanarak gerçekleştirmek isteyen insanlar ve 2) bu insanlar için inşa edilen merkezi olmayan protokollerdir.

StarkWare'ın inşa etmekte olduğu çözümler, daha çok özel genişletme çözümleri gibidir; bu çözümler, performans ve savunma yetenekleri açısından IP'lerine optimize edilmiş olup, kurumsal düzeyde destek ve SLA sağlar. Bir teknoloji ve hizmet sağlayıcı olarak, kaçınılmaz konumlarını korumanın yollarını aramaktadırlar. Ana hedef kitlelerinin, merkeziyetsizleştiklerini iddia etmiş blockchain tabanlı şirketler olduğu görünmektedir (dydx, Immutable, Sorre, TikTok).

Bu fark, doğrudan tasarım kararlarındaki önemli farklılıklara yol açmıştır:

1. Yazılım Lisansı:

zkSync, genişletmeli bir lisansa (Apache/MIT) sahiptir, bu nedenle Matter Labs doğru şeyleri yapamazsa, herhangi bir kişi ağı özgürce forklayabilir.

StarkWare, StarkWare yan kuruluşları dışındaki kişilerin STARK kanıtlayıcısını çalıştırmasını engelleyecek olan Polaris'i önermektedir.

2. Geliştirici Yığını:

zkSync, tam EVM uyumluluğuna odaklanmıştır - ağı her yönden topluluğa ait hale getirmeyi umuyoruz ve protokolü yeni bir dilde yeniden yazmak ve yeniden denetlemek için bir hizmet sağlayıcı rolü üstlenmek istemiyoruz.

StarkWare, akıllı kontratlar yazmak için tasarlanmış yeni bir alan spesifik dili olan Cairo'yu teşvik etmektedir; bu, performansa odaklanmıştır ve geriye dönük uyumluluktan ziyade.

3. Ölçeklenebilirlik:

zkSync 1.0, yayınlandığı ilk günden itibaren bir zorunlu zaman kilidini içeren bir güncelleme mekanizmasına sahipti (daha sonra bir güvenlik komitesi mekanizmasıyla genişletildi). Güvenlik açıklarını düzeltememe riskini kabul ediyoruz ve bu riskin, oybirliğiyle mahvedilme riskinden daha iyi olduğunu düşünüyoruz. zkSync 2.0 da bu yaklaşımı benimseyecektir.

StarkEx'in, en azından başlangıç aşamasında, bir zaman kilidi olmadan bir güncelleme mekanizması olarak işlev gösterebilen bir mekanizması bulunmaktadır. Açıkça odaklandıkları nokta, dış saldırganlara karşı güvenliğin sağlanması ve StarkWare'e olan bağımlılığın azaltılmasıdır.

4. Chainlink Verisi Erişilebilirliği:

ZKSync 2.0, zkPorter'i içerir: Merkezi olmayan bir şekilde optimize edilmiş olanaklı veri erişilebilirliği çözümü. Tasarımı, tam düğümlerin mevcut Ethereum katiline göre iki büyüklük daha fazla olmasını sağlayacak ve etkinliğe şifreleme ekonomisi teşviki sağlayacak şekilde yapılmıştır.

StarkWare ise veri erişilebilirlik komitesine (Veri Erişilebilirlik Komitesi) yatırım yapmaktadır, bu komite yalnızca bazı veri depolayıcıları tarafından oluşturulmuş ve kendi itibarlarına dayanarak merkezi olmayan bir teşvike güvenmektedir.

Gördüğünüz gibi, bu farklılıklar bizim değer ve prensiplerimizdeki ayrılıklardan kaynaklanmaktadır. Düzenleyici baskı arttıkça, KYC, AML, gizlilik ve diğer gerilimli alanlarda kripto topluluğu ile devlet arasında daha fazla sorun göreceğimizi düşünüyorum.

S2: Eğer zkPorter dondurulursa, akıllı sözleşmedeki fonlar ne olacak? Onlar otomatik olarak çekilecek mi? Değilse, bunun rollup kullanıcıları üzerindeki etkisi ne olacak? Örneğin, Uniswap'te ETH/DAI bulunsun, burada rollup hesabı 7 milyon dolar, zkPorter hesabı ise 3 milyon dolar katkıda bulunsun. zkPorter dondurulursa, özellikle rollup kullanıcıları açısından ne olacak?

Stan: Genellikle, bu rollup kullanıcıları için herhangi bir değişiklik anlamına gelmeyecek, likidite sözleşmede kalacak ve normal şekilde çalışmaya devam edecektir.

Tartışma: Eğer zkPorter dondurulursa, zkPorter hesabı sağladığı likidite nasıl devam edecek? Bu benim için güvensiz geliyor.

Stan: zkPorter'in dondurulması, en kötü durumda, zkPorter hesabının akıllı sözleşmeden likiditesini çekememesi anlamına gelir. Neden bunun güvensiz olduğunu düşünüyorsunuz? Lütfen dikkat edin, akıllı sözleşmenin küresel durumu, örneğin ERC-20 bakiyeleri halen rollup'ta depolanmaktadır.

Soru: Diyebiliriz ki, bu durum dondurulan fonlardan daha kötüdür. Ben her zaman zkPorter'ın duraklatılma durumunun kelime anlamı olduğunu düşünmüştüm — ancak gerçekte burada zkPorter'ı dondurmadınız. Sadece fonlar akıllı sözleşmede değil — bu da akıllı sözleşme platformunun amacına aykırı.

Eğer her şeyi yanlış anlamadıysam — eğer bir kullanıcı zkPorter'da dondurulduğunda takas edilirse ve tamamen çaresiz bırakılırsa, bu kötü bir kullanıcı deneyimi olacaktır. Daha büyük bir sorun, sorterlerin ve zkPorter doğrulayıcılarının, likidasyonları zorlamak ve diğer MEV senaryolarını gerçekleştirmek için işbirliği yapabileceği bir saldırı vektörü açmasıdır — bu, yan zincirlerle aynı derecede güvenli olmayıp bazı MEV senaryoları için daha kötü olabilir. Bildiğim kadarıyla zkSync 2.0, rollup dondurulmuş olsa bile, kullanıcıların akıllı sözleşmeden fon çekebileceği bir mekanizmaya sahiptir ve StarkWare'ın da benzer bir korumalı çekilme çözümü vardır. Peki, neden zkPorter için kullanıcıları korumak için benzer bir şey uygulanmadı?

Stan: Bu kapsamlı yanıtınız için teşekkür ederim. Takımımız, bu potansiyel sorunların farkında, ne yazık ki tüm ayrıntıları sağlayamam, ancak sisteme dondurmanın etkisini en aza indirmeye odaklanıyoruz.

Fonların dondurulmasıyla ilgili olarak, daha çok akıllı sözleşmeye bağlıdır, mevcut Ethereum'daki Uniswap sözleşmesi tek bir shard'ı destekler, bu nedenle, kod herhangi bir değişiklik yapılmadan zkSync'e taşındığında, sadece rollup sırasında bakiyeyi depolar. Bu nedenle, Porter'dan gelen kullanıcılar likidite sağlamak için sözleşmeye fon gönderdiklerinde, fonlarını rollup bakiyesine göndermiş olurlar. Bu fonlar, diğer tüm rollup fonları gibi, L1'deki gibi güvenli olmalıdır. Daha önce de belirttiğim gibi, bu tür durumları zarif bir şekilde ele almaya çalışıyoruz. Test ağı sürümü daha fazla ayrıntı sağlayacaktır :)

Soru 3: Ethereum ana ağındaki çalışan bir sözleşmenin zkSync'e dağıtılma süreci ne kadar karmaşıktır? Dağıtılan kod tamamen aynı mıdır?

Angela: Evet, Solidity akıllı sözleşmeleri için: Çoğu DeFi ve NFT projeleri, kodu değiştirmeden çalışacaktır. Ancak ilk sürümde, derleyici SHA256 ve Keccak256 çağrılarını devre dışı bırakmıştır ve bunları devre dostu bir karma işlevine otomatik olarak değiştirecektir. Şu anda, ecrecover ve diğer kriptografik özetleme işlevlerini desteklemiyor.

UI için: Web3 API'miz ve Ethers SDK'umuz aracılığıyla akıllı sözleşme ve zkSync ağıyla tam etkileşim sağlayabilirsiniz. Okuma istekleri için, web3 uyumlu herhangi bir dilin herhangi bir çerçevesi out-of-the-box kullanılabilir ve ek isteğe bağlı zkSync L2 özel işlevselliğe sahiptir. Yazma istekleri için (işlem gönderme): L1 ve L2 arasındaki temel farklılık nedeniyle, bazı ek kod yazmanız gerekecek (örneğin, zkSync herhangi bir jetonla ücret ödemesini destekler, bu nedenle işlem göndermek jeton seçme ücreti ödeme içerecektir).

Dolayısıyla, evet, mevcut ön ucu yeniden kullanmak için sadece minimum değişiklikler yapmanız gerekecek (işlem gönderme haricinde).

S4: zkEVM mimarisinde en acil merkeziyetçi nokta nedir (örneğin, sıralayıcı veya eşdeğeri) ve bu alanlarda merkeziyetsizleştirme planı nedir?

Angela: zkSync 2.0'ın merkeziyetsizleştirme uygulamasında dikkate alınması gereken üç nokta:

1. Protokolün Aşamalı Merkeziyetsizleşmesi

Çoğu Rollup projesi gibi, yenilik yapmak, hızlı iterasyonlar yapmak ve hataları daha hızlı düzeltmek için aşamalı merkeziyetsizleşmeyi seçtik. zkSync, işlevsel kapsamı kararlı hale gelene kadar yükseltilebilir kalacak ve ardından değiştirilemez hale gelecektir. Ancak, merkeziyetsizlik / güvenlik ve tepkisel / yükseltilebilirlik arasında ideal dengeyi bulmak için iki mekanizma bulunmaktadır.

A) Güvene Dayalı Azaltılmış Yükseltilebilirlik:

zkSync akıllı sözleşmesinin yükseltmesi, zkSync yönetimi tarafından başlatılabilir ve 4 haftalık bir işlem süresine sahiptir. Yönetim tehlikeye atılırsa, zaman kilitli kullanıcılara öncelik sırası / acil çıkış mekanizması aracılığıyla çıkış yapma seçeneği sunacaktır.

B) Güvenlik Konseyi:

Açık açıkları / hacker olaylarıyla başa çıkmak için, Ethereum topluluğundan 15 saygın üyeden oluşan bir güvenlik konseyi oluşturduk ve bu konseyin yetkisi 4 haftalık işlem kilitleme bildirim süresini kısaltılmış hale getirmeyle sınırlıdır. (Not: Bu 15 konsey üyesi, Aave kurucu ekibi, Itamar Lesuisse (Argent), Mike McDonald (Balancer), James Prestwich (cLabs), Michael Egorov (Curve), Jack Baumruk (Dekrypt), Haseeb Qureshi (Dragonfly), Justin Drake (Ethereum Foundation), Stefan George (Gnosis), Baek Kim (Hashed), Chris Burniske (Placeholder), Nick Grossman (USV), Will Harborne (ZK Validator), Sergej Kunz (1inch) ve Lasse Clausen (1kx)'i içermektedir.)

Bu kurul, bir akıllı sözleşme tarafından yürütülür ve kurallar şu şekildedir:

8/15 imzası zaman kilidini 2 haftaya indirebilir;

10/15 imzası zaman kilidini 1 haftaya indirebilir;

12/15 imzası zaman kilidini 3 güne indirebilir;

En az 3 günlük zaman kilidi süresi en kötü senaryoyu önler.

2. Sıralayıcı (Sequencer)

İlk olarak, yalnızca yetkilendirilmiş sıralayıcıların sunduğu bloklar, zkSync L1 akıllı sözleşmesine durum geçişini sunabilir. Sıralayıcı seçenekleri / değişim mekanizmalarımız olabilir. Ancak sonunda, PoS uzlaşmasıyla korunan çoklu doğrulayıcılar tarafından değişime geçeceğiz. Kullanıcılar güvenliklerini garanti etmek için sıralayıcıya bağlı değildir. zkRollup'ımız, kullanıcıları sıralayıcı denetiminden korumak için öncelik sırasına / acil çıkış mekanizmasına sahiptir: Sıralayıcının kasten zararlı / hatalı olup olmadığına bakılmaksızın, her zaman zkSync'ten çıkabilirsiniz.

3. zkPorter

zkPorter kullanıcıları, 1-3 sent sabit ücret karşılığında işlem yapabilir. Bu, veri erişilebilirliğini (durumu yeniden oluşturmak için temel işlem verilerini) Ethereum'da değil, zincir dışında tutarak gerçekleştirilir. Veri erişilebilirliği, zkSync jeton yatırımcılarının oy hakkı kanıtı (PoS) kullanarak koruduğu. zkPorter'ın güvenliği, diğer herhangi bir L1 veya yan zincirden katıdır, ancak en kötü durumda, kötü niyetli bir aktörler yatırılan sıralayıcıyı ve toplamın üçte ikisinden fazlasını kontrol ederse, geçerli durum geçişlerini imzalayabilir ve verileri saklayabilirler, bu da durumu dondurarak zkPorter kullanıcılarını ve saldırganları dondurur.

ZkPorter'ı mümkün olduğu kadar merkezsizleştirmek için, zkSync'in jeton arzının üçte ikisi topluluğa ayrılmıştır.

S5: Piyasada pek çok ölçeklenme çözümü var, "daha hızlı, daha ucuz ve daha güvenli" olarak iddia edilenlerin yanı sıra, sizi farklı kılan başka şeyler nelerdir?

Lyova: zkSync 2.0, zkPorter'a sahip olacak - maliyeti çok düşük, veri erişilebilirliğine sahip, sorunsuz bir şekilde etkileşim sağlayabilen bir parçalanmış yapı. Tüm ilgili bilgileri buradan okuyabilirsiniz link.

Ayrıca, zkSync üzerinde, herhangi bir akıllı jetonu ödeme amacıyla kullanabilirsiniz - ETH satın almanıza gerek yoktur veya özel jetonlar gibi MATIC gibi.

Not: "Daha hızlı, daha ucuz ve daha güvenli olduğumuz" hakkında daha fazla bilgi için lütfen l2beat ve l2fees'e bakınız.

Soru 6: zkSync'in bir sonraki adımı nedir? Farklı L2'ler arasında ve diğer blokzincir ortamlarla etkileşim için planınız var mı?

Angela: zkSync'in bir sonraki adımı hakkında, inşa etmemiz gereken birçok şey var.

Geliştirici Araçları: Bildiğiniz gibi, uzun vadeli bir yaklaşım benimsedik ve derleyicimiz için LLVM'yi kullandık, bu da bizi geliştirici araçları, bağlayıcılar, montajcılar, ters montajcılar ve ikili araçlar gibi konuları düşünmeye zorladı.

Ayrıca, x86 veya arm montaj dilinde kod yazmış herkes, VM'imize kolayca kod yazabilir.

Daha fazla Akıllı Sözleşme Dil: LLVM ayrıca, örneğin Rust gibi diğer takımlarla kolayca dil ön uçları inşa etmemizi sağlar.

Daha kapsamlı ve verimli bir zkEVM: İlk sürümde, SHA256 ve Keccak256 çağrıları derleyici tarafından otomatik olarak devre dostu bir karma işlevine dönüştürülecek ve ecrecover ve şifreleme önişlemesini desteklemeyecektir. Tabii ki, bir sonraki adımımız bunları etkili bir şekilde desteklemektir. Ayrıca yazma sırasında kopyalama (copy-on-write) uzantısını uygulamayı planlıyoruz.

UX/DevX İyileştirmeleri: ETH dışındaki diğer jetonların ücret ödeme yöntemlerini uyguladık ve hesap soyutlamayı uyguluyoruz, daha fazla destek gelecek.

Nihayet, kriptografinin blokzincir dünyasında inanılmaz bir araç olduğu kanıtlanmıştır. Sıfır Bilgi Kanıtları, ölçeklenebilirlik ve gizliliği ilerletmekte önemli bir rol oynamıştır, bu da kamu izin veren blokzincirin iki önemli sorunudur. Matter Labs, sorun çözmek için kriptografi ve matematikten ilham alan bir mühendislik ekibidir ve bu şekilde devam edeceğiz. En ilginç kullanımlardan biri, MEV'yi ortadan kaldırmak için zaman kilidi şifrelemesini uygulamaktır.

Farklı L2'ler arasında ve diğer blokzincir ortamlarla etkileşim konusunda, biz öncelikle zkSync'i inşa etmeye odaklanıyoruz ve zkSync ve diğer ağlar arasında hareket etme sorunu, temel olarak Optics, Connext, Hop gibi köprü çözümleri tarafından ele alınıyor.

Sorular 7: Neden SNARK'ları seçtiniz, STARK'ların yerine? Gelecekte STARK'lara geçmek çok zor olacak mı? Akıllı kontrat boyutu kısıtlanacak mı?

Lyova: SNARK'ları seçme nedenlerimizden biri verinin daha küçük olması ve bu nedenle ispatın daha ucuz olmasıdır, sadece O(1) alan kaplar. SNARK'lar ayrıca kolayca özyinelemeli hale getirilebilir, bu da doğrulayıcıdan daha fazla hesaplama gücü tasarrufu sağlar. Ayrıca, zkSync'in kullandığı PLONK şeması, diğer SNARK'lardan farklı olarak evrensel bir güvenilir kurulum gerektirir, bu da her seferinde devre güncellediğimizde "zehirli atık" üretmemiz gerekmediği anlamına gelir. Merak ediyorsanız, buraya göz atın: buraya, gelecekte STARK'lara geçme planımız yok.

L2'ye dağıtılan akıllı kontratlar bir şekilde L1'e yayınlanmalıdır (şu anda en azından), "öncelikli mod" döneminde doğru şekilde yürütülmesini ve fonların çıkarılmasını garanti etmek için, mümkün olmayan bir inceleme durumunda gerçekleşir. Bu, L1 blok gaz limitinin belirli bir boyut kısıtlaması uygulamasının nedenidir.

Soru 8: Ana ağ başlatıldıktan sonra, Matter Labs nasıl kar elde edecek?

Angela: Ethereum ile aynı şekilde, başlangıçta token arzının 1/3'ü ekip ve yatırımcılara ayrıldı, 2/3'ü topluluğa aitti, zkSync tokeni zkSync ağının ücret tokenidir (işlem ücretlerini başka tokenlarla ödeme konusunu destekliyoruz, ancak bunlar arka planda zkSync tokenine dönüştürülecek).