TL;DR

• OP Succinct’in temel özelliği, OP Stack’in modüler tasarımına sıfır-bilgi kanıtlarını (ZKP) entegre edebilme yeteneğidir, bu da OP Stack Rollup’ı tamamen doğrulanmış bir ZK Rollup’a dönüştürür.
• Ethereum'ın genişlemesi için gelecekteki hedef, tüm Rollup'ları ZK Rollup'a dönüştürmekse, OP Succinct'ın misyonu Rust ve SP1'i birleştirerek OP Stack'in Tip-1 zkEVM'sini dağıtmaktır, bu da Ethereum ile tamamen uyumludur.
• OP Özlü Teklif Veren, paralel olarak kanıtlar oluşturma, bunları toplama ve doğrulama sorumluluğundadır.
• Mevcut OP Stack sistemi, anlaşmazlıklar oluşursa işlem doğrulamasını bir hafta geciktiren bir "7 günlük dolandırıcılık önleme penceresi" kullanmaktadır. OP Succinct, ZK kanıtlarını kullanarak işlemleri tamamlamak için gerekli zamanı azaltır ve uzatılmış bir dolandırıcılık önleme dönemi gereksinimini ortadan kaldırır.
• OP Succinct, işlem maliyetlerini büyük ölçüde düşürebilecek potansiyele sahiptir.

1. Son Durum: OP Mainnet'in Mevcut Durumu ve OP Stack ve OP Labs'ın Rolleri

Kaynak: Blockscout

1.1 OP Ana Ağındaki Son Gelişmeler

30 Mart 2024 tarihinden itibaren OP Labs, OP Sepoila test ağı üzerinde 'hata geçirmez'ın piyasaya sürüldüğünü duyurdu ve 11 Haziran 2024'te OP Mainnet üzerinde resmi bir lansman gerçekleştirildi. Bu, merkeziyetsizleşme yolunda önemli bir adım olarak kabul edilir ve kullanıcıların güvenilir bir üçüncü tarafa bağlı kalmadan ETH ve ERC-20 jetonlarını OP Mainnet'ten çekmesine olanak tanır. Kullanıcılar artık Base, Metal, Mode ve Zora'dan yanlış çekimleri meydan okuyabilir ve geçersiz kılabilir.

Kullanıcı varlıklarının güvenliğini ve güvenini artırmak için Optimism, hata ispatını kullanarak zincir üstü işlemlerin doğruluğunu ve etkinliğini artırır ve kötü niyetli faaliyetleri önler. Ana prensipler şunlardır:

• Veri Erişilebilirliği: Hata ispatı, Katman 2'deki tüm verilerin erişilebilir ve Katman 1 tarafından doğrulanabileceği şekilde sağlanır.
• Mücadele Dönemi: Belirlenmiş bir mücadele dönemi boyunca, herhangi biri Katman 2'deki verileri sorgulayabilir. Katman 2 ve Katman 1 verileri arasında uyumsuzluk bulunursa, bir itirazda bulunulabilir.

Bir anlaşmazlık çıkarsa, 2. Katman işletmeci, meydan okumayı karşılamak için kanıt sağlamalı ve verilerinin doğruluğunu onaylamalıdır.

Sonluk: Eğer meydan okuma süresi boyunca geçerli bir itiraz yapılmazsa veya Katman 2 işletmeci başarıyla itirazları ele alırsa, işlem sonuçlandırılır ve geçerli olarak kabul edilir.

1.2 OP Stack ve OP Labs Arasındaki İlişki ve Farklar

OP Labs, Optimism çözümlerini geliştiren ekipken, OP Stack, Ethereum'un Katman 2 ağının inşasını ve ölçeklendirilmesini destekleyen teknik çerçevedir. OP Labs'ı geliştiriciler olarak düşünebilirsiniz ve OP Stack ise onların araç setidir.

● OP Labs:

OP Labs, Optimism projesinin temel katkı sağlayıcısı olup, Optimism Katman 2 çözümünü geliştirmek ve sürdürmekten sorumludur. Optimistic Rollups gibi Ethereum ölçeklendirme ile ilgili teknik araçları inşa etme ve iyileştirme odaklı bir ekip veya organizasyondur. OP Labs'ın temel amacı, Katman 2 ölçeklendirme çözümleri aracılığıyla Ethereum ana ağındaki yükü hafifletmek, işlem maliyetlerini azaltmak ve işlem hızlarını artırmaktır.

OP Labs, Succinct Labs gibi diğer projelerle de işbirliği yapar ve Ethereum ölçeklendirme teknolojisini daha da ilerletmek amacıyla sıfır bilgi kanıtlarının optimizasyonuna odaklanır gibi OP Succinct gibi girişimlerle.

OP Labs, Optimism ağı için ölçeklendirme için verimli bir çözüm oluşturmayı hedefleyen, işlem ücretlerini düşürmeye ve işlem hızlarını artırmaya odaklanan geliştirme ve bakımından sorumlu ana ekip veya organizasyondur. Yalnızca Optimistic Rollups'ın geliştirilmesinden sorumlu değiller, aynı zamanda Succinct Labs ile işbirliği içinde OP Succinct gibi sıfır bilgi kanıtlarıyla ilgili yeni teknolojileri de aktif bir şekilde tanıtmaktadırlar.

● OP Yığını:

OP Stack, Ethereum Layer 2 ağları inşa etmek ve ölçeklendirmek için kullanılan modüler bir mimari veya teknoloji yığınıdır. Geliştiricilere, belirli ihtiyaçlara dayalı olarak kendi Layer 2 zincirlerini oluşturmalarına olanak tanıyan birden fazla özelleştirilebilir bileşenden oluşur. Belirli gereksinimleri karşılayan Layer 2 ölçeklendirme ağlarını hızla kurmasını sağlayan standartlaştırılmış bir yaklaşım sunar.

OP Stack, OP Labs tarafından geliştirilen modüler bir çerçevedir. Bu çerçeve, Geliştiricilere OP Stack kullanarak çeşitli ölçekleme ağları hızlı bir şekilde oluşturabilmeleri için altyapı sağlar. Modüler tasarımı sayesinde, OP Stack kullanıcıların farklı projelerin özel ihtiyaçlarını karşılamak için Farklı doğrulama mekanizmalarını (Örneğin, Optimistik Rollups veya ZK Rollups gibi) esnek bir şekilde seçmelerini sağlar.

OP Labs, OP Stack'in geliştiricisi olarak anlaşılabilir, bu da Ethereum'un Katman 2 ağlarını oluşturmak ve ölçeklendirmek için geliştiricilere yardımcı olmak amacıyla OP Labs tarafından sağlanan bir dizi teknik araçtır.

OP Succinct'e girmeden önce, OP Stack'in dört ana bileşenini anlamanın önemli olduğunu anlamak önemlidir:

1. op-geth: Bu bileşen kullanıcılardan işlemleri alır, bu işlemlerden bloklar oluşturur ve bunları yürütür.
2. op-batcher: Kullanıcı işlemlerini toplu halde alır ve bunları Katman 1'e (L1) gönderir.
3. op-node: Bu, Katman 1'den toplu veri okur ve durum geçişleri için op-geth'i bir sıra olmayan modda çalıştırır.
4. op-proposer: Layer 2 (L2) durumlarını yakalamak için Layer 1'e düzenli olarak çıkış kökleri yayınlar ve çekilme işlemini kolaylaştırır.

2. Succinct Labs ve OP Labs arasındaki işbirliği, ZK Elements'in OP Stack'e entegre edilmesini sağlar

Kaynak: Özlü Blog

2.1 OP Özlü Yapısı

1.2 bölümün sonuna geri dönerek "OP Stack'in dört ana bileşenini" tartışan kısma atıfta bulunursak, OP Succinct, OP Stack'e hafif bir güçlendirme sağlar. Zincirin sadece sıfır bilgi ispatı (ZK) kullanılarak doğrulanan blokları kullanmasına izin verirken, diğer üç bileşen (op-geth, op-batcher ve op-node) değişmez. OP Succinct temel olarak aşağıdaki dört unsurdan oluşur:

• Aralık Programı: Bu program, Rust dilinde yazılmış olup zkVM içinde toplu blokları yürütmek üzere tasarlanmıştır.
• Birleştirme Programı: Aynı zamanda Rust dilinde yazılmış olan bu program, zincir üzerinde doğrulama maliyetlerini düşürmek için Range Programı tarafından oluşturulan kanıtları birleştirmektedir ve zkVM'de çalışması amaçlanmaktadır.
• OP Özlü L2 Çıktı Orak: Bu, L2 devlet çıktılarının bir dizisini içeren bir Solidity akıllı sözleşmesidir ve her çıktı, L2 zincir durumunun bir gönderimini temsil eder. Bu sözleşme, zaten orijinal Optimism sistemine dahil edilmiş olsa da, doğrulama kanıtlarını kimlik doğrulama yöntemi olarak kullanmak için değiştirilmiştir.
• OP Özlü Öneren: Bu bileşen, L1'de yayınlanan işlem gruplarını izler ve hem Aralık Programı hem de Toplama Programı için kanıtları yönetir.

2.2 OP Kısaltması Ethereum Ölçeklendirme İçin Hangi Anlatı Sunuyor?

Bir zkEVM Rollup oluşturmak, geniş kapsamlı kriptografik bilgi gerektirdiği için önemli bir zorluktur. OP Labs ekibi, modüler OP Stack'i oluştururken bunu dikkate aldı ve çeşitli geçerlilik mekanizmalarını desteklediğinden emin oldu. Rust kullanarak OP Stack Rollup için Durum Geçiş Fonksiyonu (STF) uygulayan Kona adında bir açık kaynak proje geliştirdiler (bkz. genişletilmiş bağlantı 1). Bu yenilik, Kona ve SP1 programı aracılığıyla OP Stack için sıfır bilgi kanıtlarının (ZKP) üretilmesini sağlar ve teorik olarak OP Stack'teki tüm zincirlerin ZKP kullanacak şekilde yükseltilmesine izin verir.

SP1 (Özlü İşlemci 1), herhangi bir geliştiricinin standart Rust kodunu kullanarak Tip-1 zkEVM Rollup'ı kolayca entegre etmesini amaçlamaktadır. OP Succinct ile mevcut herhangi bir OP Stack zincirinin Tip-1 zkEVM Rollup'a yükseltilmesi sadece bir saatte gerçekleştirilebilir ve uygulamalar için gerekli yüksek performansı sağlar. Bu yaklaşım birkaç fayda sunar:

• Hızlı ZKP Onayı: Kanıt gecikmeleri, uzun 7 günlük dolandırıcılık kanıtı meydan okuma süresini değiştirerek sadece birkaç dakikaya indirilebilir.
• Maliyet Verimliliği: Ortalama işlem maliyeti birkaç sente kadar düşürülebilir.
• OP Yığınını ZK'ya Geçirme: Tek bir akıllı sözleşme dağıtarak ve hafif OP Öz birleştirici hizmetini başlatarak (aşağıda detaylandırıldığı gibi), kanıtlar API çağrıları aracılığıyla oluşturulabilir (toplayıcılar/sıralayıcılar, op düğümü, dizinleyiciler vb. bileşenler de dahil).
• Type-1 zkEVM Uyumluluğu: Tüm araçlar ve akıllı sözleşmeler, OP Stack Rollup ile uyumlu olan OP Succinct Rollup ile de çalışacaktır.
• Geliştirilmiş Ölçeklenebilirlik: Özelleştirilebilir OP Kısacası rollup, yeni önceden derlenmişlerin eklenmesine ve Rollup mantığının değiştirilmesine olanak tanır.

Resmi GitHub belgelerine göre, mevcut bir OP Stack Rollup'ın Type-1 zkEVM Rollup'a yükseltilmesi kolaydır: Rust, Foundry ve Docker'ı yükleyin ve şu iki adımı izleyin: 1. ZK L2OutputOracle.sol sözleşmesini dağıtın; 2. OP Özlü önerici servisini başlatın (daha fazla ayrıntı GitHub genişletilmiş bağlantı 2'de bulunabilir).

OP Stack Rollup'ı ZK Kanıtlarına Yükseltme; Görüntü Kaynağı: Özlü Blog

2.3 Bina Türü-1 zkEVM with SP1 Reth

Succinct, gelecekte EVM Rollups'ın Rust kullanılarak geliştirilen sürdürülebilir zkEVM'leri içereceğini öngörüyor. Şu anda, OP Rollup üç önemli zorlukla karşı karşıyadır: uzatılmış 7 günlük sahtekarlık kanıtı penceresi, karmaşık etkileşim sorunları ve belirli durumlarda sahtekarlık kanıtları yerine birden fazla veri kaynağına bağımlılık. Ayrıca, bir zkEVM'nin oluşturulması uzun bir süreçtir, bu da bu sorunları ele almak için SP1'in geliştirilmesine yol açmıştır.

SP1, tamamen açık kaynaklı bir zkVM olan, Rust (veya diğer LLVM derlenmiş dillerde) yazılmış herhangi bir programın yürütmesini doğrulayabilen yüksek performanslı bir sistemdir. Kamuya açık veriler, OP Succinct Stack'in OP Mainnet, OP Sepolia ve Base zincirlerinde başarıyla çalıştığını ve Ethereum işlemleri için 0.01 ila 0.02 dolar arasında ispat maliyetleri elde ettiğini göstermektedir (bkz. genişletilmiş bağlantı 3). Rust (veya diğer LLVM derlenmiş diller) kullanarak gelecekte Rollups, köprüler ve yardımcı işlemciler de dahil olmak üzere tüm blok zinciri altyapısını geliştirme ve ZKP'den yararlanma hedefleri vardır.

Succinct blog ve açık kaynaklı GitHub içeriğine göre, SP1 ile diğer zkVM'ler arasındaki performans farkları birkaç temel faktöre atfedilebilir.

1. Ön Derlemeye Odaklı Mimar: SP1, secp256k1 ve ed25519 imza doğrulama işlemleri ile sha256 ve keccak256 hash fonksiyonlarının hızlı bir şekilde gerçekleştirilmesini sağlayan esnek bir ön derleme sistemi sunar. Birçok program için döngü sayısını 5-10 kat azaltarak performans sunmayı hedefleyen tasarım, zkVM'nin esnekliğini korurken ZK devreleriyle aynı performansı sağlamayı ve geliştiricilerin olumlu bir deneyim yaşamasını sağlamayı amaçlar.
2. Tamamen Açık Kaynak: SP1 tamamen açık kaynaklıdır ve Argument ve Scroll gibi ekiplerin döngü sayılarını büyük ölçüde azaltabilen ve prova oluşturma sürelerini hızlandırabilen özel ön derlemeler uygulamasına olanak tanır.
3. Endüstri Standardı: Tanıtılmasından bu yana, zkVM'ler içinde dahili ön derlemelerin kavramı, RISC0, Valida, Nexus ve Jolt gibi projelerde benimsenerek endüstri standardı haline gelmiştir. SP1, geniş ölçüde ön derlemeler aracılığıyla temel kriptografik işlemleri destekleyen tek üretim için hazır zkVM olarak öne çıkmaktadır.
4. Verimli Bellek İşlemleri: SP1, birden çok kanıtta tutarlı bellek sağlamak için tek bir zorlamanın kullanıldığı yenilikçi bir bellek kanıt tekniği kullanır, Merkleize bellek ile ilişkili fazla yükü ortadan kaldırır.
5. Temel Verimlilik Optimizasyonları: Daha düşük bir şişme faktörü ve logaritmik türevlere dayalı LogUp gibi bir sonraki nesil arama parametreleri (örneğin), Plonky3'te bir FRI varyantı ile birlikte, izleme alanlarının verimliliğini artırır.

Resim kaynağı: Özlü blog, ek bilgi 4 ek açıklama için bağlantıyı kontrol edin

3. OP Stack, ZK Stack'e Karşı Ana Avantajı OP Özlü Olabilir mi?

Görsel kaynak yazarı: @jtguibas

Ethereum'ın ölçeklendirme çözümlerini kısa vadeli olarak OP'ye ve uzun vadeli olarak ZK'ya yönelik düşünürsek, OP Özlü'nün başarılı olması varsayılırsa, Ethereum'un gelişiminde önemli bir kilometre taşı olacak. OP Özlü, ETH Rollups'ın iyimser doğrulamadan sıfır bilgi kanıtlarına geçiş için bir yol sağlar. Bu geçiş, sadece işlem maliyetlerini düşürmekle kalmaz, aynı zamanda ZK rollup'ların güvenlik ve anonimlik özelliklerini koruyarak işlem hızlarını da artırır ve gelecekteki uygulamalarda potansiyel bir artışın yolunu açar.

Şu anda, tanınan Katman 2 manzarasındaki dört büyük oyuncu arasında, OP Stack ekosistem geliştirme açısından ZK Stack'e kıyasla hafif bir üstünlük sağlıyor gibi görünüyor. Zengin daha da zenginleşirken ortaya çıkan Matthew Etkisi, zamanla daha belirgin hale gelebilir; OP Succinct'in sahneye katılmasıyla, ZK Stack'ten bazı trafiği ve potansiyeli çekebilir. OP Succinct başarılı bir şekilde uygulanırsa, geleneksel zkEVM Rollup'ları da bir dereceye kadar etkileyebilir.

Ancak, bu aşamada mevcut bilgilere dayanarak, OP Özlü'nün işletme mantığından açıkça anlaşılacağı üzere, geliştiricilerin STF işlevindeki değişikliklerden veya yeni ön derleme işlevlerinin eklenmesinden kaynaklanabilecek bilinmeyen güvenlik açıklarını hızlı bir şekilde tespit edebilmelerini sağlamak son derece önemlidir. Bu, sürekli dikkat gerektirecek bir konudur.

Feragatname:

1. Bu makale [OP] tarafından yeniden basılmıştırblok vuruşu], İleriye doğru Orijinal Başlık OP Stack'in gelişim yolunu OP Kapsamlı olarak açığa çıkarır: ZK Rollup'ın potansiyelini açığa çıkarır, Tüm telif hakları orijinal yazar [Ac-Core, YBB Capital Araştırmacısı] aittir. Bu yeniden basım konusunda itirazlar varsa, lütfen iletişime geçin. Gate Learnekip, ve bunu hızlı bir şekilde ele alacaklar.

2. Sorumluluk Reddi: Bu makalede ifade edilen görüşler yalnızca yazarın görüşleridir ve herhangi bir yatırım tavsiyesi oluşturmaz.

3. Makalelerin diğer dillere çevirileri, Gate Learn ekibi tarafından yapılır. BelirtilmedikçeGate.io, çevirilen makaleleri kopyalamak, dağıtmak veya çalmak yasaktır.