İlk zk dolandırıcılık önleme sistemi olan OP Rollup ve ZKP'nin birleşimi

Yazar: Layer N, RISC Zero Tercüme: Yerel Dilde Huohuo/Blockchain

Layer N, Ethereum tabanlı, RISC Zero'nun sıfır bilgili sanal makinesini kullanan, sıfır bilgi dolandırıcılığına karşı koruma (ZKFP) yoluyla güvenliği sağlayan, zincirde tekrarlanan işlemlerden kaçınan ve yüksek performans, anında para çekme sağlayan yeni bir tür ikinci katman ağdır. ve yeni nesil finansal ürünler ve protokoller için ölçeklendirmeye yönelik yeni bir yaklaşıma öncülük eden Merkezi Olmayan Finans.

1. Giriş

**Bir Toplama tasarlarken, temeldeki katman 1'in ölçeklenebilirliğini geliştirirken güvenlik ve güvenin nasıl sağlanacağı önemli bir tasarım düşüncesiydi. **İyimser toparlamalar için güvenlik, dolandırıcılık kanıtları şeklinde garanti edilir: Toplama düzeyinin yanlış yürütüldüğüne ve bu durumun geri yüklenmesi gerektiğine dair kanıtlar.

Mevcut OP Toplamalarından farklı olarak, Layer N, dolandırıcılık kanıtları için zincirleme yeniden oynatma işlemlerine güvenmez. Bunun yerine N-Tier, sıfır bilgi kanıtlarını ve RISC Zero'nun sıfır bilgi sanal makinesini kullanan yeni bir yaklaşım benimsiyor.

2. Provaları Tekrar Oynatmaya Başlarken

İşlem Toplamaları, önceki durumu güncellenmiş duruma taşıyan ilgili işlemlerle birlikte temel L1'de durum güncellemelerini yayınlar. **Toplamanın doğrulayıcıları olarak, Ethereum'a gönderildiğini gözlemlediğimiz son durumun geçersiz olduğunu (veya başka bir deyişle, güncellenen durumun, toplamanın DA'ya gönderdiği işleme karşılık gelmediğini) iddia ettiğimizi varsayalım. Buradan bir sahtekarlık kanıtı göndeririz ve kabul edilirse önemli bir parasal ödül alırız. **

Dolandırıcılığı kanıtlamanın en basit yöntemi, akıllı sözleşmenin Ethereum (L1) üzerindeki işlemi yeniden yürütmesini sağlamak ve ortaya çıkan durumun doğru olup olmadığını kontrol etmektir, biz buna "basit yeniden yürütme kanıtı" diyoruz.

Bloklar büyükse bu oldukça pahalı olabilir. Ancak burada güzel bir gözlem yapabiliriz: İşlem beklenen durumda sonuçlanmazsa, o zaman bir noktada talimat yanlış yürütülür. "Etkileşimli Dolandırıcılık Kanıtı" komutunu bulmanız yeterlidir. Etkileşimli dolandırıcılık kanıtları oluşturmak için doğrulayıcı, kullanıcılar ve operatörler arasında bir dizi sorgulama aracılığıyla ikili bir arama gerçekleştirir ve arama alanını her adımda ikiye böler. Doğrulayıcı, yanlış yürütülen ilk talimatı işaret ettiğinde, akıllı sözleşme onu yeniden yürütür ve doğru şekilde yürütülüp yürütülmediğini görür. Bu düzgün teknik, Arbitrum'un diseksiyon olarak adlandırdığı, esasen tanıttığımız tekrar ispatının bir uzantısı olan tekniktir.

Ancak, bu önemli bir soruyu gündeme getiriyor: Zincir üstü yürütmenin zincir dışı yürütme ile tam olarak aynı şekilde davranmasını nasıl sağlayacağız? **

3. Tekrar ispatının zorluğu

Basit yeniden oynatma provalarının ve etkileşimli provaların temel kısıtlaması, talimatların temel katmanda ve toplama katmanında aynı şekilde yürütülebilmesi gerektiğidir. ****Başka bir deyişle, her iki uygulamanın da aynı sanal makineyi (VM) kullanması ve davranış eşleşmesini sağlaması gerekir. **

**İyimserlik söz konusu olduğunda, önceki uygulamaları, Geth tabanlı İyimserlik Sanal Makinesi (OVM) olarak adlandırdıkları, biraz değiştirilmiş bir Ethereum Sanal Makinesi idi. **Kısa bir süre önce, Minigeth yorumlayıcısını çalıştırmak için Solidity'de bir zincir üstü MIPS talimat simülatörü geliştirdiler ve EVM durum geçişlerini simüle etmelerini ve doğrulamalarını sağladılar. Arbitrum, WAVM adını verdikleri WASM'nin değiştirilmiş bir sürümünü kullanır. Bu tasarım, Optimism ve Arbitrum'un sırasıyla MIPS ve WASM'yi hedefleyen herhangi bir dili destekleyebileceği anlamına gelir.

Bununla birlikte, Optimism ve Arbitrum için bu, Ethereum'un onu taklit etmesi için ilgili sanal makinelerinin Solidity'de uygulanması gerektiği anlamına geliyordu. Sadece bu da değil, her uygulamanın tamamen aynı davranışa sahip olması gerekir. Bloktaki her işlemi yeniden oynatmamız gerektiğinden, etkileşimli olmayan ispatlarda (örn. İyimserlik) gaz maliyeti de önemli ölçüde daha yüksektir.

4. RISC Zero'yu Girin

Zincirdeki tüm işlemleri yeniden oynatmamız gerekmez, ancak durum geçişinin yanlış olduğuna dair kanıt sağlamamız gerekir. Bu, genel amaçlı sıfır bilgili bir sanal makine olan RISC Zero zkVM'nin devreye girdiği yerdir**. **

RISC Zero ile herhangi bir doğrulayıcı, belirli bir bloğa karşılık gelen doğru DA işlemini alıp başlangıç durumuna uyguladığına dair kısa ve öz kanıtlar üretebilir. **RISC Zero bunu, N katmanlı bir yürütme ortamını zkVM'sine taşıyarak ve güvenilir bir şekilde doğru yürütme için alındılar oluşturarak başarır. ****Bir anlaşmazlık durumunda, doğrulayıcı bu kanıtı Ethereum'daki bir Katman N akıllı sözleşmesine gönderir ve ardından kanıtın geçerli olup olmadığını kontrol eder. **İspat geçerliyse ve ispatın iddia edilen çıktı durumu L1'de yayınlanan çıktı durumuyla eşleşmiyorsa, sahtekarlık vardır ve bloğu geri yüklememiz gerekir.

WASM veya EVM kullanmak yerine, yaygın bir derleme hedefi olan ve dolayısıyla birçok programlama dili tarafından desteklenen RISC-V komut setini hedefleyerek RISC Zero'dan yararlanıyoruz. Bu, gelecekteki N katmanlı VM'lerin şekli ve uyumluluğu için daha geniş bir olasılık yelpazesi açar.

Son olarak, sıfır bilgi tekniklerinin bu faydalarına rağmen, tam sıfır bilgi özetleri şu anda yavaş prova süreleri ve pahalı hesaplamalar ile sınırlıdır. **Katman N'nin hibrit bir yaklaşım benimsemesinin nedeni budur - kanıtların oluşturulması yalnızca dolandırıcılık olasılığı olduğunda gereklidir. Bu yaklaşımı Sıfır Bilgi Dolandırıcılık Kanıtları (ZKFP) olarak adlandırıyoruz. **

5. OP Toplamasının Ötesinde

Kullanıcılara dolandırıcılığı fark etmeleri ve dolandırıcılık kanıtı sunmaları için yeterli süre verme gerekliliği, mevcut OP Özetlerinde uzun para çekme süreleri (genellikle yaklaşık 7 gün) getirir: şekillendirilebilir finansal ürünler için yetersiz gereksinimler. **ZKFP'ler bu sorunu tamamen çözmese de, "tek seferlik" yaklaşımları sayesinde para çekme sürelerini önemli ölçüde azaltabilirler. ETH üzerinde uzun bir gidiş-dönüş ikili protokolü yerine ZKFP, dolandırıcılığı kanıtlamak/çürütmek için tek bir gidiş-dönüş işlemine izin verir. **

İleriye dönük olarak, Layer N, Rollup ekosisteminde en son teknolojiyi kullanmaya kendini adamıştır. Örneğin, RISC Zero'nun evrensel sıfır bilgi kanıtlı ağı Bonsai ile, Layer N, ZK toplamaya tamamen geçebilecek, bu da yüksek performansı korurken kriptografik güvenlik garantileri ve anında para çekme işlemleri sağlamak anlamına geliyor. Bonsai, herhangi bir zincirin, protokolün veya uygulamanın kanıt ağına girmesine izin verdiğinden, çeşitli kullanım durumları için güvenli bir zincir dışı yürütme ve hesaplama katmanı olarak hareket edebilir.

Özet olarak, Layer N, RISC Zero ile ortaklaşa, daha az tavizle ölçeklendirmeye yönelik yeni bir yaklaşıma öncülük edebilir. Sonuç olarak, gerçekten kullanılabilir yeni nesil finansal ürünler ve protokoller oluşturabiliyoruz.

6. N katmanı hakkında

Layer N, Ethereum üzerinde hiper ölçekli merkezi olmayan finansmanı etkinleştirmek için tasarlanmış yeni bir katman 2 ağıdır. Layer N, modern finansal ağlara benzer, ancak tamamen zincir üzerinde ve merkezi olmayan performans ve kullanıcı deneyimi sağlamayı amaçlar. Geliştiriciler, yüksek performanslı finansal uygulamalar oluşturmak için paylaşılan likiditeden ve sorunsuz şekillendirilebilirlikten yararlanabilir. Katman N, küresel finansal sistemi Ethereum'a getiriyor.