Delphi Digital tarafından orijinal

Orijinal derleme: Luffy, Foresight News

Modüler teorinin genellikle dört katmandan oluştuğu kabul edilir: DA (Veri Kullanılabilirliği), Konsensüs, Yürütme ve Yerleşim. Bununla birlikte, yeni bir katman, paylaşılan kanıtlayıcı, modüler teoriye entegre edilebilir.

Verimli, ölçeklenebilir doğrulamanın eksik parçası olabilir mi? Paylaşılan kanıtlayıcı, kanıt toplama ve kanıtlayıcı pazarları, zk-SNARKs manzarasını değiştiriyor. Bilmeniz gereken her şeyi en son raporumuzda öğrenebilirsiniz.

Aşağıda, rapordan elde edilen önemli çıkarımların bir özeti 👇 bulunmaktadır

zk Rollup'ın kısa bir incelemesi

zk Rollup çözümü, Ethereum işlem boyutunu ölçeklendirebilir, işlemleri daha hızlı işleme için off-chain hareket ettirebilirken, Ethereum ve zk kanıtları (zk-SNARKs) ile doğrulamanın yanı sıra katı determinizm sağlar.

ZK kanıtı: hızlı doğrulama, yavaş oluşturma

Zk ispatları gizlilik ve ölçeklendirme açısından güçlü olsa da, Ethereum üzerinde ispat oluşturmak maliyetli ve yavaş olabilir.

Yüksek tasdik maliyeti zk uygulamalarını sınırlar. tasdik toplama ve kanıtlayıcı pazar yerleri gibi yeni yaklaşımlar bu sınırlamaları ele almayı amaçlamaktadır.

Protender Arz Ağı

Paylaşılan sıralayıcılar, Blok Zinciri genelinde işlemler için yüksek aktarım hızı sağlar. Ancak, aslında hiçbir şey kanıtlamıyorlar. Gelecekte bu görevi devretmek için paylaşılan bir kanıtlayıcı ağıyla entegre edilebilirler.

Bugün, rollups pahalı, ayrı zk-SNARKs gönderimlerinin zorluğuyla karşı karşıyadır.

Proof Network bir çözüm sunar: çeşitli ZK uygulamalarının prova üretimini özel tasdik hizmeti sağlayıcılarına yaptırarak maliyetleri ve verimliliği artırabileceği birleşik bir pazar yeri.

Paylaşılan doğrulayıcılar, zk korumalı destek gerektiren ancak şirket içi zkVM veya devre geliştirme kaynaklarına sahip olmayan uygulamalar için durumu büyük ölçüde iyileştirebilir.

Şu anda, Rollup'lar ayrı zk kanıtları gönderiyor ve bu da yoğun saatlerde yüksek gas maliyetlerine neden oluyor.

Kanıtlayıcı ağının amacı, verimliliği artırmak emir kanıtların oluşturulmasını uzman donanım sağlayıcılarına dış kaynak sağlamaktır.

En uzun rollups sahip ve bir kanıtlayıcı ağına bağlı bir ağda, işlem yaşam döngüsü aşağıdaki gibi çalışır:

• Rollup bir tasdik isteği gönderir.
• eşleştirme mekanizması bir kanıtlayıcı seçer.
• Onaylayıcı talebi karşılar.
• Toplu kanıtlar.
• Kanıtlayıcı, doğrulama için son tasdik L1'e gönderir.

Doğrulama maliyetini tahsis edin

Kanıt Tekilliği, maliyetleri düşüş on-chain doğrulama kanıtı için tasarlanmış çeşitli teknikleri ifade eder.

Kanıt toplama, en uzun geçerli kanıtları tüm kanıtları doğrulayan tek bir kanıtta sıkıştıran bu tekniklerden biridir.

Bu "toplu doğrulama", her bir kanıtın ayrı ayrı doğrulanmasına kıyasla maliyetlere düşüş gas olabilir.

zk Uygulama Kanıtlayıcı Maliyeti

ZK uygulamalarının yüksek doğrulama maliyeti ve kanıt süresi nihayetinde kullanıcıya aktarılır.

Son birkaç yılda, zk uygulamaları (çoğunlukla Rollup'lar), on-chain kanıtlarını doğrulamak ve yayınlamak için gas yaklaşık 30 milyon dolar harcadı.

Prova toplama protokol profili

Nebra UPA

Nebra UPA, zk uygulamalarının doğrulama maliyetini düşüş için long kanıtları bir araya getirmesine izin veriyor ve Testnet saniyede yaklaşık 10 kanıt destek iddia ediyorlar. Sertifikalandırıcıları şu anda merkezileştirilmiştir, ancak bunları daha sonra izin kanıtına ihtiyaç duymadan uygulamayı planlamaktadır.

Mevcut L2 kaçış bölmelerine benzer bir zorunlu dahil etme mekanizmasına sahiptirler. Kanıtlayıcı kanıtı inceler veya gecikme süresi ederse, zk uygulaması kanıtlayıcıyı atlayabilir ve kanıt anlaşmasını L1'de uygulayabilir.

Hizalanmış Katman

Hizalanmış Katman, Ethereum'in EigenLayer AVS tarafından güvence altına alınan evrensel zk doğrulama katmanıdır. Restakers, kullanıcılara kanıt toplama ve tek Ethereum taahhütleri yoluyla yumuşak bir kesinlik sağlar. Varsayılan DA, EigenDA'dır, ancak Celestia veya Aviil gibi diğer DA katmanlarını da seçebilirsiniz.

Agg Katmanı

Polygon'un AggLayer'ı, güvenli cross-chain birlikte çalışabilirlik için tarafsız bir altyapıdır. Bağımsız Blok Zinciri ağlarını tek bir cross-chain köprü altında birleştirmeyi, Blok Zinciri egemenliğinden ödün vermeden birlikte çalışabilirliği kolaylaştırmayı amaçlar.

Sistem, bağlı tüm rollups kanıtları toplamak ve ardından sunulan her bir kanıt için Merkle ağacını içeren benzersiz bir kanıt göndermek üzere tasarlanmıştır.

• Belirli bir Sanal Makine veya yürütme ortamı gerektirmez
• Blok Zinciri kendi gas Token seçmekte özgürdür
• Ortak yönetime tabi olması gerekmez.

Kaputun altında, tüm bunları bir araya getiren altyapı, Rollup'ların egemenliği korurken birbirleriyle ve Ethereum iletişim kurabilmeleri için ortak bir cross-chain mesajlaşma protokol standartlaştıran LxLy Cross chain köprüleri'dir.

LxLy'nin nasıl çalıştığına dair kısa bir açıklama 👇

• Her zincir, para çekme transferlerini bir Merkle ağacında (çıkış ağacı) izler.
• Tüm çıkış ağaçları, cross-chain paylaşılan küresel bir çıkış ağacında birleştirilir
• Doğrulama ve net para çekme hesaplamalarına izin vermek için yerel ve küresel ağaçlar güncellendi.

Ayrıca Agglayer, bağlı rollups arasında paylaşılan bir cross-chain köprü sahiptir ve L1 ile L2 arasındaki varlık akışını basitleştirir. Varlıklar, bir L1 sözleşmesinde sarma veya kilitleme/mintleme olmadan teminatlandırılır.

Geleneksel olarak, çerçeveler sansür ve canlılık sorunları riskiyle karşı karşıya kalan tek bir dahili kanıtlayıcıya dayanıyordu. Bir kanıtlayıcılar ağı merkezi bir şekilde başlayabilir ve zaman içinde kademeli olarak Merkeziyetsizlik.

Kanıtlayıcı pazarının Merkeziyetsizlik hala açık bir sorudur, ancak bazı yaklaşımlar araştırılmaktadır:

• Kanıt Yarışması: En hızlı kanıtlayıcı kazanır, verimliliği artırır ancak hesaplamayı boşa harcar (maliyetler kullanıcılara aktarılır).
• Kanıt Mining: PoW Mining'ye benzer şekilde, kazananın hepsini almasını önlemek için rastgele sayılar kullanılır (hesaplama israfı hala mevcuttur). SNARK ASIC'lerde donanım hızlandırmanın maliyetleri düşüş etmesi bekleniyor.