PSE Ticareti: Sıfır bilgi kanıtlarının çıkış yolu nerede?

Orijinal gönderi: @Calvin, PSE Ticaret Analisti

"Genel olarak benim görüşüm, kısa vadede Optimistic rollup'ın EVM uyumluluğu açısından üstün olduğu, ZKrollup'ın ise basit ödeme katmanları, işlemler ve diğer spesifik kullanım durumlarında daha iyi olması bekleniyor.

Ancak orta ve uzun vadede ZK-SNARK teknolojisinin gelişmesiyle ZK rollup tüm kullanım durumlarında kazanacak. "

Bunlar God V'nin "An Incomplete Guide to Rollups" adlı blogundaki orijinal sözleridir.

ZK, ETH'nin idealdir. Sıfır Bilgi Kanıtlarının (bundan sonra ZK olarak anılacaktır) Ethereum ekosisteminde uygulanması, blockchainin imkansız üçgen problemini (yani güvenlik, ölçeklenebilirlik ve merkezileşme) merkezileştirme olmadan çözme yeteneğini ortaya koymaktadır. Tüm işlem ayrıntılarına erişim zorunluluğu, güvenlikten ödün vermeden sistemin ölçeklenebilirliğini artırır.

ZK'nin piyasaya sürülmesi, ETH sisteminin merkeziyetsizliğini daha da güçlendirdi (düğüm eşiğini düşürdü) ve ağın merkeziyetsizliğini ve sansür önleme yeteneklerini sağlayarak ETH'nin denize bir ejderha gibi girmesini ve silinmesini zorlaştırdı.

Bu kadar önemli bir ZK ile neden herkes onu kullanma konusunda bu kadar kötü bir deneyime sahip ve büyük ölçekli uygulama herhangi bir dalgalanmaya neden olamıyor?

1. Sıfır bilgi kanıtı toplama mevcut sorunu

Mevcut sıfır bilgi kanıtının hala darboğaz döneminde olmasının nedenini üç hususa bağlıyorum: uyumluluk sorunları, verimlilik sorunları ve veri yapısı sorunları.

1.1 Ana ve en acil sorun: Uyumluluk sorunları

EVM (Ethereum Sanal Makinesi), blockchain alanında Java benzeri bir statüye yükseldikçe, yeni değer internetinin ortak dili haline geldi. Çok sayıda araç, hizmet, kütüphane ve altyapıyla EVM'nin yaygın kullanımı mevcut teknoloji ortamında neredeyse kaçınılmaz bir trend haline geldi.

İnternette dolaşan bir söz vardır: "Java'da uygulanabilen her şey, sonunda Java'da da uygulanacaktır".

Bir diğer önemli ama kafa karıştırıcı kavram ise "EVM uyumluluğu" ve "EVM eşdeğeri"dir.

"Yakınlık" ve "uygulama yöntemi"nden ikisi arasındaki boşluğu anlayın—

"Uyumlu": Bir sistem, EVM bayt kodunu Solidity veya diğer EVM dillerinde yazılmış akıllı sözleşmeleri destekleyecek şekilde yürütebilir ve anlayabilir.

"Eşdeğer": EVM eşdeğerliği daha yüksek bir çubuktur. EVM'ye eşdeğer bir sistem yalnızca EVM bayt kodunu yürütme yeteneğine sahip olmakla kalmaz, aynı zamanda davranış ve yol açısından EVM ile tam olarak eşleşir. Ethereum'u hedefleyen tüm araç ve kütüphaneler, EVM eşdeğeri sistemler üzerinde de herhangi bir değişiklik yapılmadan çalışmalıdır.

"EVM Eşdeğeri" Avantajları ve Dezavantajları:

Avantajı:

Tam araç zinciri ve altyapı desteği: Ethereum, çeşitli geliştirme araçları, test çerçeveleri, kod kitaplıkları ve hizmetleri içeren geniş bir araç zinciri ve altyapı ekosistemine sahiptir. Bir L2 çözümü EVM'ye eşdeğerse, tüm bu araçlar ve hizmetler onunla sorunsuz bir şekilde entegre olabilir, çünkü onların bakış açısına göre bu L2 çözümü başka bir Ethereum ağı gibidir.

• Geliştiricileri çekmek ve taşımak daha kolay: Ethereum'daki geliştiriciler EVM'nin davranışına ve özelliklerine alıştı. Bir L2 çözümü EVM'ye eşdeğerse geliştiriciler, yeni bir programlama modeli veya dili öğrenmeden bu L2 çözümü üzerinde geliştirme yapmak için zaten aşina oldukları dili (Solidity gibi) ve araçları doğrudan kullanabilirler.
• Daha iyi sözleşme uyumluluğu: Mevcut Ethereum sözleşmelerinin çoğu, EVM'nin belirli davranışına dayanır. Bir L2 çözümü EVM'ye eşdeğerse, bu sözleşmeler bu L2 çözümü üzerinde hiçbir değişiklik yapılmadan veya çok az değişiklik yapılarak çalıştırılabilir.
• Gelecekteki EVM iyileştirmeleri ve özellikleri: EVM hâlâ gelişiyor ve gelişiyor ve yeni EIP'ler (Ethereum İyileştirme Teklifleri) yeni özellikler veya optimizasyonlar sunabilir. Bu iyileştirmeler ve özellikler, EVM eşdeğeri olması durumunda L2 çözümüne kolaylıkla uygulanabilir.

Dezavantajları:

• Teknik açıdan daha karmaşık: EVM, davranışı ve özellikleri derinlemesine anlayış ve doğru uygulama gerektiren karmaşık bir sanal makinedir. L2 çözümlerinde EVM eşdeğerliğine ulaşmak, EVM davranışının farklı bir fikir birliği ortamında veya ağ modelinde nasıl simüle edileceği gibi bazı teknik zorlukların çözülmesini gerektirebilir.
• Performans ve verimlilik: EVM, Ethereum için tasarlanmıştır ve tasarımı, L2 çözümlerinin özelliklerine ve ihtiyaçlarına tam olarak uygun olmayabilir. Örneğin, EVM hesaplama için 256 bit tamsayılar kullanırken zk korumalı birçok sistem asal sayı alanlarında daha doğal çalışır. EVM'nin doğrudan uygulanması, menzil kontrolü gibi performans ve verimliliği azaltabilecek ek işlemlerin başlatılmasını gerektirebilir.
• Esneklik ve yenilikle ilgili sınırlamalar: EVM eşdeğerliğinde ısrar etmek, L2 çözümlerinin esnekliğini ve yenilik yeteneklerini bazı açılardan sınırlayabilir. Örneğin, bir L2 çözümü yeni bir özellik veya optimizasyon eklemek istiyorsa bu değişikliğin EVM eşdeğerini bozmamasını sağlamalıdır.

OP, EVM uyumluluğunu ve EVM eşdeğerliğini araştırmak için bir makale yazdı.Başlangıçta OP tarafından kullanılan OVM daha sonra EVM eşdeğerliği olarak değiştirildi. OP'nin ilk barbar büyüme döneminde ARB yapmadığını düşünmemin önemli bir nedeni de bu.EVM eşdeğeri ile ARB arasında uyumluluk açısından bir boşluk var, ancak şimdi değiştirildi ve hatta uyumluluk açısından ARB'yi bile geride bırakıyor. .

Bu açıdan bakıldığında EVM uyumluluğunun önemini de anlayabiliriz, hatta geliştiricilerin ilgisini çekmek, böylece kullanıcılar yaratmak ve dolayısıyla bir ekoloji yaratmak için denkliğin gerekli olduğunu da anlayabiliriz.

1.2 ZK toplamasının teknik ortamı aslında olgunlaşmamış

Veri doğrulanabilirliği açısından bakıldığında, veri doğrulanabilirliği blockchain sisteminde sistemin şeffaflığını ve denetlenebilirliğini sağlayan önemli bir özelliktir.

ZK Rollup'ın kanıt yapısı nispeten karmaşıktır ve tüm verilerin zincirde mevcut olmasını gerektirir. Bu, güçlü bir güvenlik ve bütünlük sağlar, ancak aynı zamanda OP'den çok farklı olan veri depolamanın karmaşıklığını ve maliyetini de artırır.

• İyimser Toplama: OP Toplama, itiraz edilmedikçe işlemlerin geçerli olduğunun varsayıldığı iyimser bir strateji kullanır. Bu yaklaşım, tüm verilerin zincirde saklanmasını gerektirmez; yalnızca herhangi birinin işlemin geçerliliğine itiraz etmesine izin verecek kadar yeterli bilginin saklanmasını gerektirir. Bu nedenle OP Toplama, veri doğrulanabilirliği açısından nispeten düşük gereksinimlere sahiptir.
• ZK Rollup: ZK Rollup, işlemleri sıkıştırmak ve geçerliliğini kanıtlamak için sıfır bilgi kanıtlarını (ZK-SNARK'lar) kullanır. Herkesin geçerlilik kanıtı oluşturabilmesi için tüm işlem verilerinin zincir üzerinde mevcut olması gerekir. Veri ölçeği çok büyükse ve tamamı ana zincirde depolanıyorsa kapasite darboğazlarıyla karşılaşılabilir.

zkSync'in veri boyutu büyüdükçe tüm verilerin ana zincirde saklanması mümkün olmayabilir. Bu, harici veri doğrulamasının başlatılmasını gerektirebilir, böylece mevcut ikincil doğrulama yöntemi değiştirilerek ana ağ verilerine olan bağımlılık azaltılabilir.

Bu tür değişiklikler yeni zorlukları da beraberinde getirdi: Ana zincir verilerine bağımlılığı azaltırken sistemin güvenliği nasıl sağlanacak?

Bu nedenle zkSync'in STARK'a dönüşümü de kısmen bununla tetiklenmektedir çünkü STARK, harici doğrulanabilir verileri kullanmak için SNARK'a göre daha uygundur.

Yukarıdaki açıklamaya göre, ZK toplamasının uygulanmasının, DA katmanının ve EVM'nin iyileştirilmesi gibi daha ZK dostu iyileştirmeler için hala ETH'ye dayanması gerekiyor.

1.3 ZK toplamasına ek olarak verimlilik sorunları gibi başka sorunlar da vardır:

Blockchain alanında Sıralayıcının hızı (genellikle saniyedeki işlem sayısıyla (TPS) ölçülür) ZK sisteminin performansını değerlendirmek için önemli bir göstergedir. Sequencer, işlemlerin sıralanmasından ve işlenmesinden sorumludur ve işleme kapasitesi, tüm zincirin verimini doğrudan belirler.

Ancak mevcut uygulamada (Zksync), tek bir sıralayıcının işlem gücü saniyede yalnızca birkaç yüz işlem kadardır; bu, önemli bir performans darboğazı ortaya çıkaran bir sınırlamadır.

TPS'yi genişletmek için göz önünde bulundurulması gereken iki ana yol vardır: biri tek bir Sıralayıcının kapasitesini geliştirmeye devam etmektir, ancak bunu yapmak sistemin merkezileştirme riskini artırabilir; diğeri ise işlemeyi dağıtmak için daha fazla Sıralayıcı eklemektir. Gelişmiş merkeziyetsizlik, ancak birden fazla Sıralayıcının koordine edilmesi gecikmeyi artırabilir ve genel TPS'yi azaltabilir. Bu sayı, performansın iyileştirilmesi ile merkezi olmayan yönetimin sürdürülmesi arasında doğru dengeyi bulma konusunda dikkatle tartılmış bir zorluğun altını çiziyor.

ZK teknolojisinin gelişim yönü, zkSync tarafından gösterildiği gibi, merkezi olmayan sıralayıcı sürecini destekleme eğilimindedir. Böyle bir seçim, performansın ZK teknolojisinin geliştirilmesinde önemli bir darboğaz olmaya devam etmesine neden olacaktır. Çoklu sıralayıcıların kullanımı ve modüler tasarım kesin bir çözüm sağlasa da pratikte karmaşık koordinasyon ve senkronizasyon sorunları yaşanabilmektedir. Bu durum yalnızca sistemin tepki süresini ve verimini etkilemekle kalmaz, aynı zamanda yeni güvenlik ve güvenilirlik sorunlarına da yol açabilir.

Performans sorunları çözülmesi gereken önemli bir zorluk olmaya devam ediyor. Gelecekteki araştırma ve geliştirmelerin, merkezi olmayan yönetim ilkesinden ödün vermeden algoritmaları, koordinasyon stratejilerini ve donanım desteğini optimize ederek ZK sisteminin performansını ve ölçeklenebilirliğini nasıl geliştirebileceğine odaklanması gerekebilir.

2. Sıfır bilgi kanıtı, ETH'nin nihai idealidir

ZK'nin güncel sorunlarını ve karşılaştığı zorlukları konuştuk, peki ZK'nin ölüm sebebi nedir?

2.1

"Ethereum protokolü başlangıçta kripto para birimlerinin yükseltilmiş bir versiyonu olarak tasarlandı ve son derece genel amaçlı bir programlama dili aracılığıyla gelişmiş işlevsellik sağladı...Ethereum protokolü para biriminin çok ötesine geçiyor."

ETH'nin geleceği bir değer aktarım platformu olmakla sınırlı değil; nihai ideali güvenilir, ölçeklenebilir ve gizlilik garantili yeni bir dijital dünya yaratmaktır.

Sıfır bilgi kanıtı, ETH'nin daha yüksek bir hedefe doğru ilerlemesine yardımcı olacak önemli bir adımdır. Sıfır bilgi kanıtı, ETH'nin yalnızca teknolojik ilerlemesi değil, aynı zamanda kültürünün ve felsefesinin de vücut bulmuş halidir. Gizlilik, güvenlik ve ölçeklenebilirlik konusunda yeni bir anlayışı ve arayışı temsil ediyor.

2.2

Geleneksel sosyal yapılar güven inşa etmek için merkezi kurumlara dayanır. Sıfır bilgi kanıtları, karşılıklı bilgi olmadan güvenin kurulmasına olanak tanır. Bu merkezi olmayan güven modeli, mevcut sosyal, finansal ve hükümet yapılarını altüst ederek bir sosyal devrimi tetikleme potansiyeline sahiptir.

Ethereum'un mevcut yapısı güvenlik ve rahatlık için gizliliği feda ediyor. ETH, sıfır bilgi kanıtını sunarak gizlilik kavramını yeniden tanımlıyor. İnsanlar artık gizlilik ve güvenlik arasında seçim yapmak zorunda değil, her iki haktan da aynı anda yararlanabiliyor.

ZK'nın uygulanması, ETH düğümlerinin tüm verileri bilmeden bile işlemlerin geçerliliğini doğrulaması için hafif bir doğrulama sürecine olanak tanıyacak. Bu, düğüm işlemi için bilgi işlem ve depolama gereksinimlerini azaltabilir, böylece ağa katılım eşiğini düşürebilir. V God'ın orijinal sözlerine göre "Cep telefonları ETH düğümlerinin çalıştırılmasına katılabilir".

ZKP'ler, düğümlerin çalıştırılması için donanım ve bakım gereksinimlerini azaltarak daha fazla katılımcının ağa katılmasına yardımcı olur. Bu, ağın merkezi olmayan doğasını arttırır, böylece merkezi olmayanlaşmayı artırır.

2.3

ZK'nın uygulanması, işlemlerin gizliliğini koruyarak herhangi bir merkezi otoritenin belirli işlemleri izlemesini ve bunlara müdahale etmesini önleyebilir.Ayrıca, merkezi olmayan yönetim ayrıca tek bir hata noktasının olmamasını sağlayarak ağın saldırıya uğramasını veya kapatılmasını daha zor hale getirir.

Gizliliğin korunması, ister birey ister kuruluş olsun, daha fazla insanı katılıma teşvik eder, böylece bu açık ekosistem merkezi bir otoritenin kısıtlamaları olmadan özgürce büyüyebilir.

Sonuçta ZK, ETH'yi gizlilik ve merkezi olmayan yönetimin entegrasyonu yoluyla, sınırsız potansiyele ve esnekliğe sahip, denize giren bir ejderha kadar silinmez, gerçek anlamda küresel bir ağ haline getiriyor.

3. Sıfır bilgi gelecekteki uygulamalar için makul bir yol olduğunu kanıtlıyor

Gereklilik varış noktasıdır, sorun ise statükodur, peki yol nedir?

**Önce sonuçtan bahsedelim: EVM'nin eşdeğer ZK toplamasını yapmak ve mevcut Ethereum'un ZK dostu EVM'yi yükseltmesini beklemek ve ZK teknolojisi ile ETH'nin mükemmel entegrasyonuna yardımcı olmak için el ele gitmek. **

3.1 Tanrı V'in ağzındaki dört ZKrollup türü

• Tip 1 (tam Ethereum eşdeğeri)

Type 1 ZK-EVM, ödün vermeden Ethereum'a tamamen eşdeğer olmayı hedefliyor. Kanıt üretmeyi zorlaştırsa bile hiçbir şeyi değiştirmez.

Avantajları: mükemmel uyumluluk.

Dezavantajı: Uzun prova süresi.

Bunu kim geliştiriyor? : ZK-EVM Topluluk Sürümü.

• Tip 2 (tam EVM eşdeğeri)

Tip 2 ZK-EVM, harici veri yapılarında değişiklikler yapılarak EVM'ye tamamen eşdeğer olmayı amaçlamaktadır.

Avantajı: Sanal makine düzeyinde tam olarak eşdeğerdir.

Dezavantajı: Geliştirilmiş ancak yine de kanıt süresi yavaş.

Bunu kim geliştiriyor? : Kaydırma ve Çokgen Hermez.

• Tip 3 (neredeyse EVM eşdeğeri)

Tip 3 ZK-EVM, EVM'ye neredeyse eşdeğerdir ancak kanıt süresini ve geliştirme kolaylığını daha da artırmak için bazı tavizler verilmiştir.

Avantajları: Yapımı daha kolay, prova süresi daha hızlı.

Dezavantajı: daha fazla uyumsuzluk.

Bunu kim geliştiriyor? : Kaydırma ve Çokgen.

• Tip 4 (yüksek düzey dil eşdeğeri)

Tip 4 sistemler, EVM aracılığıyla yürütülmeden doğrudan üst düzey bir dilden derlenerek çalışır.

Avantajı: Çok hızlı prova süresi.

Dezavantajı: daha fazla uyumsuzluk.

Bunu kim geliştiriyor? : ZKSync ve Nethermind'ın Warp projesi. (Not: StarkNet, EVM ile uyumlu bile değildir ve tartışmanın dışındadır)

Farklı ZK-EVM türleri, uyumluluk ve verimlilik arasında karmaşık bir dizi ödünleşim sunar.

Tip 1 tam uyumluluğu hedefler ancak uzun kanıt süresine tabidir, bu da Ethereum'un ZK dostu tasarım olarak değerlendirmediği gerçek zorluğu ortaya çıkarır.

Tip 2 ve Tip 3, mevcut teknik koşullar altında pratik çözümlerin araştırılmasını ve uzlaşmasını göstererek tam uyumluluk ve kanıt verimliliği arasında bir denge arar.

Tip 4, verimlilik arayışını birincil hedef olarak alır, ancak uyumluluk pahasına, ekolojik gelişimi biraz zorlaştırır.

3.2 EVM ve ZK'nin ortak yükseltilmesi: sonunda buluşmak için birlikte çalışın

ETH'nin ZK'yi uygulamaya koymasının en iyi yolu yalnızca ZK EVM eşdeğeri sıfır bilgi kanıtının uygulanmasını değil, daha da önemlisi EVM'nin kendisinin yükseltilmesini ve dönüştürülmesini içerir.

• EVM'nin ZK dostu dönüşümü

EVM'nin ZK dostu dönüşümü karmaşık ama gerekli bir süreçtir. EVM'nin yalnızca ZK-EVM'ye eşdeğer olması gerekmiyor, aynı zamanda ZK-SNARK ASIC'lerin gelecekteki olası gelişimini de hesaba katması gerekiyor.

• ZK-EVM ve EVM arasında iki yönlü işbirliği

ZK-EVM ile EVM arasındaki işbirliği yalnızca teknik düzeyde uyumluluk ve verimlilikte değil, aynı zamanda geliştirici araçlarının entegrasyonunda ve derleme öncesi desteğinde de yatmaktadır.

• Tip 1 geleceğine doğru adım adım

ZK-EVM ve Ethereum'un sürekli iyileştirilmesi yoluyla Tip 1'i kademeli olarak gerçekleştirmek birçok insanın vizyonudur. Süreç yavaş olabilir ama geleceğe giden net bir yol çiziyor.

3.3 Ekoloji içindeki ortak çabalar ve işbirliği ışıktır

Ethereum'da sıfır bilgi kanıtını (ZK) uygulamanın zorluğu sadece teknik bir konu değil, aynı zamanda ideal ile gerçeklik arasındaki en iyi yolu bulmaya yönelik bir keşiftir. Bu süreç, mevcut altyapıyla uyumluluğu korurken, daha hızlı ve daha verimli çözümlerin kademeli olarak nasıl tanıtılacağını ortaya koyuyor.

Bu keşif sürecinde ideal çözüm, mevcut EVM'ye tamamen eşdeğer bir ZK çözümü oluşturmak ve ardından EVM'nin ZK dostu yükseltmesini beklemektir. Bu sürecin özü, her iki tarafın birlikte çalışması ve bir ara noktada buluşabilmek için birlikte ilerlemesidir.

Bu ortak çaba fikri yalnızca teknik uygulamaya değil, aynı zamanda Ethereum'un benzersiz değerini ve mevcut ekolojiyi koruma temelinde tüm topluluğun daha güvenli ve ölçeklenebilir bir yönde gelişmesine nasıl rehberlik edileceğine de yansıyor. Bu süreç teknik anlayış, stratejik planlama ve tüm ekosistemin dinamiklerinin iyi anlaşılmasını gerektirir.

Dolayısıyla ZK teknolojisinin Ethereum'a inmesinin sadece teknolojik bir yenilik değil, tüm ekosistemin katıldığı bir değişim yolculuğu olduğunu görebiliyoruz. Yenilik ile istikrarı, hız ile uyumluluğu dengeleyen bir blockchain ortamı arayan bu yolculuk, Ethereum'un geleceğini şekillendirecek.

4. Özet

ZK döneminin açılışı yalnızca Ethereum ekolojisinde yeni bir sayfa açmakla kalmıyor, aynı zamanda tarihi bir sıçramayı da işaret ediyor. Bu trend dalgasında Ethereum'un bazı yönlerden mevcut İnternet sistemini aşması beklenmekle kalmıyor, aynı zamanda yeni ve daha gelişmiş bir bağlantı yönteminin doğuşunun da müjdecisi oluyor.

Orijinal bağlantı