TLDR

OP Succinct’in temel işlevi, OP Stack’in modüler mimarisine ZKP’yi entegre etmek, OP Stack Rollup’larını tamamen doğrulanmış ZK Rollup’lara dönüştürmektir.

Ethereum'un gelecekteki ölçeklendirme çözümü, tüm Rollup'ların ZK Rollup'a dönüştürülmesi ise, OP Succinct, OP Stack içinde Rust ve SP1 kullanarak Type-1 zkEVM'yi (tamamen Ethereum'a eşdeğer) dağıtmayı hedefliyor.

OP Öznel Teklif Vericisi, delil üretimini paralel olarak gerçekleştirir ve delil birleştirme ve doğrulama işlemlerini gerçekleştirir.

Mevcut OP Stack sistemi, uyuşmazlık durumunda işlem gecikmelerine neden olan '7 günlük dolandırıcılığa karşı kanıt penceresi'ne dayanmaktadır. OP Özlü, ZK kanıtlarını kullanarak işlem kesinlik süresini kısaltarak, genişletilmiş dolandırıcılığa karşı kanıt penceresine ihtiyacı ortadan kaldırır.

OP Kapsamlı, işlem maliyetlerini önemli ölçüde azaltabilir.

1. Son İnceleme: OP Ana Ağı Güncellemeleri ve OP Stack ile OP Labs Arasındaki İlişki

Görüntü Kaynağı: Blockscout

OP Ana Ağı Üzerindeki 1.1 Ana Gelişmeler

30 Mart 2024 itibarıyla, OP Labs, OP Sepolia test ağındaki “hata kanıtlarının” OP Mainnet üzerinde 11 Haziran 2024 tarihinde resmi olarak başlatıldığını duyurdu. Bu, merkezi olmayanlaşma yolunda atılan ilk adımdır ve kullanıcıların güvenilir bir üçüncü tarafa ihtiyaç duymadan OP Mainnet'ten ETH ve ERC-20 token çekmelerine olanak tanır. Bu mekanizma, kullanıcıların geçersiz çekimleri (Base, Metal, Mode ve Zora dahil) sorgulamalarına ve iptal etmelerine olanak sağlar.

Kullanıcıların varlıklarının güvenliği ve güvenilirliğini sağlamak için Optimism hatalı kanıtları kullanarak zincir üzerindeki işlemlerin doğruluğunu ve geçerliliğini doğrular ve kötü niyetli eylemleri önler. Temel prensipler şunları içerir:

• Veri Erişilebilirliği: Hata kanıtları, Layer-2'deki tüm verilerin erişilebilir olduğunu ve Layer-1 tarafından doğrulanabileceğini sağlar.
• Meydan Okuma Süresi: Belirli bir meydan okuma süresi içinde, herhangi biri Katman-2'deki verileri tartışabilir.

Katman-2 ve Katman-1 verileri arasında bir uyuşmazlık bulunursa, itiraz eden taraf bir meydan okuma çıkarabilir. Katman-2 işletmecisi, meydan okumaya karşı kanıt sunmalı ve verilerin doğruluğunu doğrulamalıdır. Finalite: Meydan okuma süresi içinde geçerli bir meydan okuma olmazsa veya Katman-2 işletmecisi meydan okumayı başarılı bir şekilde karşılarsa, işlem tamamlanır ve geçerli olarak kabul edilir.

OP Stack ve OP Labs arasındaki İlişki ve Farklar

OP Labs, Optimism çözümünü geliştiren ekip veya kuruluşken, OP Stack, Ethereum Katman 2 ağları oluşturmak ve ölçeklendirmek için kullanılan teknik bir çerçevedir. OP Labs ve OP Stack arasındaki ilişki, geliştiricilerin ve geliştirme araçlarının ilişkisi olarak görülebilir.

• OP Labs: OP Labs, Optimism projesinin temel katkı sağlayıcısıdır ve Optimism Layer 2 çözümlerinin geliştirilmesi ve bakımından sorumludur. Optimistic Rollups gibi Ethereum ölçeklendirme ile ilgili teknik araçların oluşturulması ve iyileştirilmesine adanmış bir ekip veya organizasyondur. OP Labs'in temel amacı, Ethereum ana ağ üzerindeki yükü azaltmak, işlem maliyetlerini düşürmek ve işlem hızını artırmaktır. OP Labs ayrıca Succinct Labs gibi diğer projelerle işbirliği yapar ve OP Succinct gibi Ethereum ölçeklendirme teknolojilerinin geliştirilmesine odaklanır, bu da sıfır bilgi kanıtlarının optimize edilmesine odaklanır.

OP Labs, Ethereum için verimli bir ölçeklendirme çözümü oluşturma hedefinde olan Optimism ağının geliştirilmesi ve bakımından sorumlu olan başlıca ekip veya kuruluştur. İşlem ücretlerini azaltmaya ve işlem hızlarını artırmaya odaklanır. Sadece Optimistic Rollups geliştirmekle kalmaz, aynı zamanda Succinct Labs ile ortaklık içinde OP Succinct gibi sıfır bilgi ispatlarıyla ilgili yeni teknolojileri de geliştirir.

• OP Stack: OP Stack, Ethereum Katman 2 ağlarını oluşturmak ve ölçeklendirmek için kullanılan modüler bir mimari veya teknik yığındır. Birkaç özelleştirilebilir bileşen içerir, bu da geliştiricilerin belirli gereksinimlere göre kendi Katman 2 zincirlerini oluşturmalarına olanak tanır. Geliştiricilere, belirli koşullara uygun Katman 2 genişleme ağlarını hızlı bir şekilde kurmak için standart bir yaklaşım sağlar.

OP Stack, OP Labs tarafından geliştirilen, Katman 2 ağları oluşturmak için temel altyapı sağlayan modüler bir çerçeve sunar. Geliştiriciler, farklı genişleme ağları hızla oluşturmak için OP Stack'i kullanabilir. Modüler tasarım, kullanıcıların çeşitli projelerin ihtiyaçlarını karşılamak için farklı doğrulama mekanizmalarını (örneğin, Optimistik Rollups veya ZK Rollups) esnek bir şekilde seçmelerine olanak tanır.

Özünde, OP Labs, OP Stack'in geliştiricileri olarak görülebilir ve OP Stack, Ethereum Layer 2 ağlarını inşa etmek ve ölçeklendirmek için OP Labs tarafından sağlanan teknik bir araçtır.

OP Succinct'e dalmadan önce, her OP Yığınının dört ana bileşenini tanıtmak önemlidir:

• op-geth: Kullanıcılardan işlemleri toplar ve bu işlemlere dayanarak bloklar oluşturur ve yürütür.
• op-batcher: Kullanıcı işlemlerini toplar ve bunları 1. Katmana gönderir.
• op düğümü: Katman 1'den toplu veri okur ve devlet geçişi için op-geth'i sırasız modda çalıştırır.
• op-proposer: Periyodik olarak Layer 1'e çıkış köklerini yayınlar, Layer 2 durumlarını yakalar ve çekilmeleri kolaylaştırır.

2. Succinct Labs, OP Labs ile İş Birliği Yaparak ZK Elements'ı OP Stack'e Tanıtıyor

Resim Kaynağı: Özlü Blog

2.1 OP Özlü Mimarlık Bileşenleri

1.2 bölümünde açıklanan OP Stack bileşenlerine dayanarak, OP Succinct, diğer bileşenleri (op-geth, op-batcher ve op-node) değiştirmeden zincirlerin ZK-doğrulanmış blokları kullanmasına izin veren hafif bir OP Stack yükseltmesidir. OP Succinct, aşağıdaki dört ana bileşenden oluşur:

• Aralık Programı: Rust dilinde yazılmış ve zkVM içinde çalışacak şekilde tasarlanmış toplu blokları işleyen bir program.
• Toplama Programı: Zincir üzerindeki doğrulama maliyetlerini azaltmak için Range Programından kanıtları toplar, aynı zamanda Rust dilinde yazılmış ve zkVM'de çalışması için tasarlanmıştır.
• OP Özlü L2 Çıkış Oracle: L2 durum çıktılarının bir dizisini içeren bir Solidity akıllı sözleşme, her biri L2 zincirinin durumuna taahhütte bulunan. Bu sözleşme, orijinal Optimism sistemine aittir, ancak kimlik doğrulama mekanizması olarak kanıt doğrulamayı kullanacak şekilde değiştirilmiştir.
• OP Öz Bir Önerici: L1'de yayınlanan işlem gruplarını gözlemleyerek Aralık ve Toplama programları için kanıt oluşturmayı yönetir.

2.2 OP Succinct Ethereum Ölçekleme Anlatısı Nasıl Uyuyor?

zkEVM Rollup'larının oluşturulması, geniş kapsamlı kriptografi uzmanlığı gerektirdiği için zorlu olmuştur. OP Labs, modüler OP Stack'i geliştirirken çeşitli kanıt mekanizmalarını desteklemeyi öngörmüştü. Bu amaçla, OP Stack Rollups'ın STF'sini Rust kullanarak uygulamak için Kona'nın (uzantı linki 1'i görün) geliştirilmesini açık kaynak olarak yayınladılar ve sonunda Kona ve SP1 programı aracılığıyla OP Stack için sıfır-bilgi kanıtlarının (ZKP) üretilmesini mümkün kıldılar. Bu, teoride herhangi bir OP Stack zincirinin ZKP kullanacak şekilde güncellenebileceği anlamına gelir.

SP1 (Özlü İşlemci 1) 'in amacı, geliştiricilerin standart Rust kodunu kullanarak Tip-1 zkEVM rollup'ları sorunsuz bir şekilde entegre etmelerine izin vermektir. OP Succinct ile herhangi bir mevcut OP Stack zincirinin bir Tip-1 zkEVM rollup'a yükseltilme süreci bir saat içinde tamamlanabilir ve şu avantajları sunar:

• Hızlı ZKP Onayı: Kanıt gecikmelerini sadece dakikalara indirir, 7 günlük sahtekarlık kanıtı anlaşmazlık penceresini değiştirir.
• Maliyet Etkinliği: Ortalama işlem maliyetleri sadece birkaç sente düşürülmüştür.
• OP Yığını'nı ZK'ya Değiştirme: Akıllı bir sözleşme dağıtarak ve hafifletilmiş bir OP Özgeçmiş teklif hizmeti başlatarak, kanıtlar API çağrıları aracılığıyla (toplu işleme/sıralayıcı, op düğümü, dizinleyici vb. dahil) oluşturulabilir.
• Type-1 zkEVM: Tüm araçlar ve akıllı sözleşmeler, OP Stack Rollups ile uyumlu olan tüm araçlar OP Succinct Rollups ile uyumludur.
• Artan Ölçeklenebilirlik: Özelleştirilebilir OP Özlü rollup, yeni ön derlemeler ekleyebilir ve gerektiğinde Rollup mantığını değiştirebilir.

Resmi GitHub belgelerine göre, süreç yalnızca mevcut bir OP Stack rollup'ını bir Tip-1 zkEVM rollup'a yükseltmek için Rust, Foundry ve Docker'ın yüklenmesini gerektirir. Basitleştirilmiş süreç iki adımdan oluşur:

• ZK L2OutputOracle.sol sözleşmesini dağıtın.
• OP Özlü öneri hizmetini başlatın (detaylı adımlar için GitHub uzantı bağlantısı 2'ye bakın).

Resim Kaynağı: Özlü Blog — OP Stack Rollup'ı ZK İspatlarına Yükseltme

2.3 SP1 Reth Kullanarak Bir Tip-1 zkEVM Oluşturma

Succinct, EVM Rollup'ların geleceğinin, daha iyi bakım sağlayan Rust dilinde yazılan zkEVM'de olduğuna inanıyor. Şu anda, OP Rollup'lar üç büyük zorlukla karşı karşıya: uzun 7 günlük sahtekarlık kanıtı penceresi, karmaşık etkileşimlilik ve bazı durumlarda sahtekarlık kanıtlarına dayanmak yerine çoklu grup veri mekanizmalarına bağımlılık. Bir zkEVM geliştirmek uzun vadeli bir çaba gerektirir, bu yüzden bu zorlukları ele almak için SP1 oluşturuldu.

SP1, tamamen özelleştirilebilir, yüksek performanslı bir zkVM'dir ve %100 açık kaynak kodludur. Herhangi bir Rust (veya LLVM derlenmiş) programının yürütülmesini doğrulayabilir. Kamu verilerine göre, OP Özlü Yığını, OP Ana Ağı, OP Sepolia ve Base zincirinde başarıyla çalışıyor ve işlem kanıtı maliyetleri 0,01 ile 0,02 ABD Doları arasında değişiyor (uzantı bağlantı 3'e bakınız). Gelecekte, Rollup'lar, köprüler ve yardımcı işlemciler de dahil olmak üzere tüm blok zincir altyapısının muhtemelen Rust (veya diğer LLVM derlenmiş dillerde) yazılacağı ve ZKP'dan faydalanacağı tahmin edilmektedir.

Diğer zkVM'ler üzerindeki SP1'nin performans avantajları, Özlü blog ve açık kaynaklı GitHub içeriğinden özetlere dayanmaktadır.

• Ön Derleme Odaklı Mimarlık: SP1, secp256k1 ve ed25519 imza doğrulama, sha256 ve keccak256 karma işlemleri gibi işlemleri önemli ölçüde hızlandıran esnek bir ön derleme sistemini destekler ve birçok program için RISC-V döngü sayılarını 5-10 kat azaltır. ZK devreleriyle karşılaştırılabilir performans sunmayı hedeflerken, zkVM esnekliğini ve mükemmel bir geliştirici deneyimini korumaktadır.
• Tamamen Açık Kaynak: SP1'in 100% açık kaynak olduğu, Argument ve Scroll gibi takımların özel ön derlemeleri uygulamasına izin vererek döngü sayılarını azalttığı ve kanıt oluşturma sürelerini hızlandırdığı.
• Endüstri standardı: Başlatıldığından beri, zkVM'ler için dahili ön derlemeler fikri endüstri standardı haline gelmiş ve RISC0, Valida, Nexus ve Jolt gibi projelere etki etmiştir. SP1, geniş bir kritik kriptografik işlem yelpazesini destekleyen yalnızca üretim için hazır bir zkVM'dir.
• Verimli Bellek Okuma/Yazma: SP1, tek bir meydan okuma ile birden fazla kanıtta tutarlı bellek elde eden yenilikçi bir bellek kanıt yöntemi kullanır, Merkleize bellek yükünü önleyerek.
• Temel Verimlilik Optimizasyonları: Düşük şişme faktörü kullanarak ve sonraki nesil arama parametrelerini (örneğin, LogUp gibi log-tabanlı türevler) kullanarak, Plonky3'te FRI varyantı ile birlikte, SP1 iz bölgesi kullanım verimliliğini artırır.

Görüntü Kaynağı: Özlü Blog - Açıklama Ekini Uzantı Bağlantısı 4'te Görün

3. OP Succinct, ZK Stack'e Karşı OP Stack'in Aslarından Biri Haline Gelebilir Mi?

Görüntü kredisi:@jtguibas

Ethereum'un ölçeklendirme çözümleri kısa vadede OP ve uzun vadede ZK olarak görülürse, OP Succinct'in potansiyel başarısı Ethereum'un gelişim yolunda önemli bir kilometre taşı olabilir. OP Succinct, ETH Rollup'larının iyimser doğrulamadan sıfır bilgi kanıtlarına (ZKP) geçişi için yükseltilebilir bir yol sağlar. Bu değişim yalnızca işlem maliyetlerini düşürmekle kalmaz, aynı zamanda ZK Rollup'larının güvenlik ve gizlilik özelliklerini korurken işlem hızını da artırır ve gelecekte uygulama katmanı genişletmesi için yeni olanaklar sunar.

Tanınan dört büyük Katman 2 çözümü arasında, OP Stack şu anda ekosistem gelişimi açısından ZK Stack'e hafif bir üstünlük sağlıyor gibi görünüyor. Gelecekte, OP Succinct'ın dahil edilmesi, ZK Stack'in trafiğinin ve potansiyelinin bir kısmını dahi alabilecek daha belirgin bir Matematik etkisi görebilir. OP Succinct başarılı olursa, hatta geleneksel zkEVM tabanlı Rollups'a bile bir meydan okuma olabilir.

Ancak, şu ana kadar sunulan işletme mantığından, bir kritik yön ortaya çıkıyor: geliştiriciler, durum geçiş işlevini (STF) değiştirirken veya yeni ön derlemeler eklerken bilinmeyen güvenlik açıkları tarafından neden olabilecek sistem genelindeki risklerin zamanında tespit edilmesini nasıl sağlayabilir? Bu, uzun vadeli dikkat gerektiren bir alan.

Disclaimer：

1. Bu makale [YBB Capital]. Tüm telif hakları orijinal yazarına aittir [Ac-Core]. Bu yeniden basım ile ilgili itirazlar varsa, lütfen iletişime geçiniz Gate Öğrenekip 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ılmaktadır. Belirtilmedikçe, çevrilen makalelerin kopyalanması, dağıtılması veya kopyalanması yasaktır.