Yeni ZKP köprüleme fikrini yorumlayın: Daha güvenli bir merkezi olmayan zincirler arası köprü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanın
原文标题:Tam ZK ve İyimser ZK'yı desteklemek için ZKP İstekçi-Kanıtlayıcı Ayırma modeli
Orijinal yazar: 0x3d18, ZKPool
Derleyici: Qianwen, ChainCatcher
Toplamalar, köprüler ve oracle'lar dahil olmak üzere sıfır bilgi ispatları için birçok kullanım durumu vardır. Bu, ZK-Rollup, ZK-bridge ve ZK-oracle gibi projelerin geliştirilmesine yol açtı.
Hibrit ve iyimser tasarımlar son zamanlarda ZKP teknolojisine uygulandı. Örneğin, Orbiter Finance, Optimistic ZK köprüleme protokolünü önerirken, Taiko aşamalı bir hibrit toplama çözümü önerdi.
İyimser ZK, tüm durum geçişlerinin doğru olduğunu ve hemen geçerlilik kanıtı gerektirmediğini varsayar. Ancak, herhangi bir katılımcının bir geçerlilik kanıtı veya dolandırıcılık kanıtı sunarak dolandırıcılık faaliyetine itiraz edebileceği önceden belirlenmiş bir meydan okuma penceresi oluşturur.
Bu tasarım, ZKP projeleri için toplam kanıt maliyetini azaltırken, merkezi olmayan bir meydan okuyucu izleme sistemini teşvik ederek ve dolandırıcılığa meydan okuyarak güvenliği sağlar.
İyimser ZK Köprüleme Protokolü
Orbiter Finance, en iyi bilinen çapraz toplama projelerinden biridir. "Orbiter Cross-Rollup Protokolü: Uyumlu Çoğunluk Hakkında İyimser, Kötü Niyetli Azınlık için Sert Tahkim" önermektedir.
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/840b113311223b1c65f29c4e385c0f81.png)
İyimser Toplama Çapraz Ticaret Süreci (Orbiter Finance'ten)
ZKP teknolojisi tarafından desteklenen, merkezi olmayan, güvenli ve uygun maliyetli bir çapraz toplama tasarımı tanımlar.
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/e570d5bc7c7047baa06d05b54b30219b.png)
Orbiter'in merkezi olmayan tasarımı
Böyle bir tasarım için dikkate alınması gereken birkaç önemli faktör vardır:
Her şeyden önce, geçmişte köprü projesi, kullanıcılar için önemli kayıplara neden olan birden fazla güvenlik sorunu yaşadı. Merkezileşme aynı zamanda güvenlik risklerini de beraberinde getirir. Bu nedenle, köprüleme için ademi merkeziyetçilik esastır.
İkinci olarak, kaynak/toplama ile hedef zincir/toplama arasındaki işlem akışının doğruluğunu sağlayacak bir mekanizma olması gerekir.
Ek olarak, bu tür kanıtları oluşturmak için uygun maliyetli bir yol bulmak önemlidir. Zincir üstü Merkle ağaçlarıyla karşılaştırıldığında ZKP, daha az gaz ücreti ile uygun bir seçenektir.
Özellikle, çapraz rollup köprüler için maliyet birincil husustur ve tüm tasarımın amacı masrafları en aza indirmektir. Bu, zincir içi işlemleri azaltmanın ve zincir içi işlem başına gaz miktarını en aza indirmenin kritik olduğu anlamına gelir.
Orbiter'in tasarımında, köprü ödeme planına ek olarak, ZKP gerektiren başka bir plan daha var. Bu senaryoda, "gönderen" adı verilen bir rol, çapraz toplanmış işlem bilgilerini toplar ve merkezi olmayan satıcının doğru ödüller almasını sağlamak için L1'e gönderir.
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/8fceebbf48adb58194cbf12d5c4b2353.png)
Orbiter'in merkezi olmayan taahhüt tasarımı
Orbiter'in protokolü, katılımcıların çoğunluğunun yanılmaz olduğunu varsayar ve zamanında yürütülmesini sağlamak için çapraz toplama olaylarını iyimser bir şekilde ele alır. Her çapraz toplama işlemi için kanıtlar gerekli olsaydı, tüm köprüleme işleminin yürütülmesi yavaş olurdu. Sonuç olarak, kötü niyetli davranışların yokluğunda kanıt oluşturmaya gerek yoktur, bu da maliyet tasarrufu sağlar. Bununla birlikte, gönderen veya gönderen tarafından kötü niyetli bir davranış tespit edilirse, itiraz eden bir kanıt oluşturabilir ve itiraz edilen gönderen de kanıtı sunmalıdır.
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/bf6f51aaec292c901d7338d4c5f59363.png)
Orbiter İyimser zk köprü tasarımı
ZKPool Talep Eden Kanıtlayıcı Ayırma Modeli
ZKP teknolojisini kullanmak söz konusu olduğunda, farklı modlar mevcuttur:
Tam zk: Bu modda, her dönüştürme için bir ZKP gereklidir. Bu, ZK-bridge (ör. Polyhedra) veya ZK-Rollup (ör. Scroll) gibi projelerle elde edilebilir.
İyimser zk: Bu modda, ZKP yalnızca dönüşüme itiraz edildiğinde gereklidir. Taiko ve Orbiter bu modelin bir örneğidir.
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/c19a08c68ebbf3a141b9a208c0ce3570.png)
Tam zk ve İyimser zk
Soyut modelleri tanımlarken, ZK-bridge ve ZK-Rollup'ın bazı benzerlikleri paylaştığı açıktır. Özellikle, bu fark, aşağıdaki diyagramda gösterildiği gibi, ZKP talep eden ile ZKP kanıtlayıcı arasındaki ilişkide yansıtılmaktadır. Burada, ZKP talep eden kişi, bir ZKP oluşturma ihtiyacı olan bir modüle başvurur.
Senaryo aşağıdaki gibidir:
ZK-Rollup projesinde:
Tam zk modunda, sıralayıcı bir ZKP istek sahibi olarak çalışır.
İyimser zk modunda, meydan okuyan ZKP talep eden kişi olarak hareket eder.
ZK-bridge projesinde:
All-zk modunda, yapımcı ZKP talep eden kişi olarak hareket eder.
İyimser zk modunda, meydan okuyan bir ZKP talep eden olarak hareket eder.
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/44d8c7de5987ff81d07b07403ef421e0.png)
ZKP İstek Sahibi ve ZKP Kanıtlayıcı
Daha önce de belirtildiği gibi, iyimser bir zk'de her zaman bir ispat görevi olmayabilir. Sonuç olarak, ZKP talep edenler ve ZKP kanıtlayıcı aynı modülde birleştirilirse, kanıtlayıcı boşta kalabilir ve bilgi işlem gücü tam olarak kullanılamayabilir.
Bir talep eden-kanıtlayıcı ayırma modeli tasarlarsak ve kanıtlayıcıyı paylaşılan bir havuz yaparsak, kanıtlayıcının kullanımını artırabiliriz. İyimser senaryoya meydan okunmadığında, kanıtlayıcı diğer ZKP projelerinden kanıt görevini üstlenebilir. Bu, ZKPool'un zk-bridge projesinde, özellikle Optimistic'i diğerleriyle birleştirirken önemli bir rol oynadığı anlamına gelir.
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/3c792f2cf715a1b1288bf5b08229ff60.png)
ZKPool, ZKP talep edenler arasında ZKP kanıtlayıcısı rolünü paylaşıyor
ZKP talep eden-kanıtlayıcı ayırma modeli sadece rollup'lar ve köprüler için değil, aynı zamanda oracle'lar ve diğer tüm ZKP projeleri için de geçerlidir.
Özet
Verilen bilgilere dayanarak, aşağıdaki sonuçları çıkarabiliriz:
ZKP teknolojisi, rollup'lar, köprüler, oracle'lar ve diğer ilgili projeler dahil olmak üzere ZKP projesi için gereklidir.
ZKPool, ZK-bridge'in yaratıcısını/göndericisini ve ZK-Rollup'ın sıralayıcısını, topluca ZKP talep eden olarak adlandırılan aynı rol olarak ele almamızı sağlar
ZKPool'un ZKP talep eden-kanıtlayıcı ayırma modelini kullanarak, kanıtlayıcınızın kullanım oranını artırabilirsiniz. Bu model aynı zamanda tüm ZKP projelerinin ademi merkeziyetçiliğini de teşvik eder.
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Yeni ZKP köprüleme fikrini yorumlayın: Daha güvenli bir merkezi olmayan zincirler arası köprü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanın
原文标题:Tam ZK ve İyimser ZK'yı desteklemek için ZKP İstekçi-Kanıtlayıcı Ayırma modeli
Orijinal yazar: 0x3d18, ZKPool
Derleyici: Qianwen, ChainCatcher
Toplamalar, köprüler ve oracle'lar dahil olmak üzere sıfır bilgi ispatları için birçok kullanım durumu vardır. Bu, ZK-Rollup, ZK-bridge ve ZK-oracle gibi projelerin geliştirilmesine yol açtı.
Hibrit ve iyimser tasarımlar son zamanlarda ZKP teknolojisine uygulandı. Örneğin, Orbiter Finance, Optimistic ZK köprüleme protokolünü önerirken, Taiko aşamalı bir hibrit toplama çözümü önerdi.
İyimser ZK, tüm durum geçişlerinin doğru olduğunu ve hemen geçerlilik kanıtı gerektirmediğini varsayar. Ancak, herhangi bir katılımcının bir geçerlilik kanıtı veya dolandırıcılık kanıtı sunarak dolandırıcılık faaliyetine itiraz edebileceği önceden belirlenmiş bir meydan okuma penceresi oluşturur.
Bu tasarım, ZKP projeleri için toplam kanıt maliyetini azaltırken, merkezi olmayan bir meydan okuyucu izleme sistemini teşvik ederek ve dolandırıcılığa meydan okuyarak güvenliği sağlar.
İyimser ZK Köprüleme Protokolü
Orbiter Finance, en iyi bilinen çapraz toplama projelerinden biridir. "Orbiter Cross-Rollup Protokolü: Uyumlu Çoğunluk Hakkında İyimser, Kötü Niyetli Azınlık için Sert Tahkim" önermektedir.
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/840b113311223b1c65f29c4e385c0f81.png)
İyimser Toplama Çapraz Ticaret Süreci (Orbiter Finance'ten)
ZKP teknolojisi tarafından desteklenen, merkezi olmayan, güvenli ve uygun maliyetli bir çapraz toplama tasarımı tanımlar.
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/e570d5bc7c7047baa06d05b54b30219b.png)
Orbiter'in merkezi olmayan tasarımı
Böyle bir tasarım için dikkate alınması gereken birkaç önemli faktör vardır:
Her şeyden önce, geçmişte köprü projesi, kullanıcılar için önemli kayıplara neden olan birden fazla güvenlik sorunu yaşadı. Merkezileşme aynı zamanda güvenlik risklerini de beraberinde getirir. Bu nedenle, köprüleme için ademi merkeziyetçilik esastır.
İkinci olarak, kaynak/toplama ile hedef zincir/toplama arasındaki işlem akışının doğruluğunu sağlayacak bir mekanizma olması gerekir.
Ek olarak, bu tür kanıtları oluşturmak için uygun maliyetli bir yol bulmak önemlidir. Zincir üstü Merkle ağaçlarıyla karşılaştırıldığında ZKP, daha az gaz ücreti ile uygun bir seçenektir.
Özellikle, çapraz rollup köprüler için maliyet birincil husustur ve tüm tasarımın amacı masrafları en aza indirmektir. Bu, zincir içi işlemleri azaltmanın ve zincir içi işlem başına gaz miktarını en aza indirmenin kritik olduğu anlamına gelir.
Orbiter'in tasarımında, köprü ödeme planına ek olarak, ZKP gerektiren başka bir plan daha var. Bu senaryoda, "gönderen" adı verilen bir rol, çapraz toplanmış işlem bilgilerini toplar ve merkezi olmayan satıcının doğru ödüller almasını sağlamak için L1'e gönderir.
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/8fceebbf48adb58194cbf12d5c4b2353.png)
Orbiter'in merkezi olmayan taahhüt tasarımı
Orbiter'in protokolü, katılımcıların çoğunluğunun yanılmaz olduğunu varsayar ve zamanında yürütülmesini sağlamak için çapraz toplama olaylarını iyimser bir şekilde ele alır. Her çapraz toplama işlemi için kanıtlar gerekli olsaydı, tüm köprüleme işleminin yürütülmesi yavaş olurdu. Sonuç olarak, kötü niyetli davranışların yokluğunda kanıt oluşturmaya gerek yoktur, bu da maliyet tasarrufu sağlar. Bununla birlikte, gönderen veya gönderen tarafından kötü niyetli bir davranış tespit edilirse, itiraz eden bir kanıt oluşturabilir ve itiraz edilen gönderen de kanıtı sunmalıdır.
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/bf6f51aaec292c901d7338d4c5f59363.png)
Orbiter İyimser zk köprü tasarımı
ZKPool Talep Eden Kanıtlayıcı Ayırma Modeli
ZKP teknolojisini kullanmak söz konusu olduğunda, farklı modlar mevcuttur:
Tam zk: Bu modda, her dönüştürme için bir ZKP gereklidir. Bu, ZK-bridge (ör. Polyhedra) veya ZK-Rollup (ör. Scroll) gibi projelerle elde edilebilir.
İyimser zk: Bu modda, ZKP yalnızca dönüşüme itiraz edildiğinde gereklidir. Taiko ve Orbiter bu modelin bir örneğidir.
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/c19a08c68ebbf3a141b9a208c0ce3570.png)
Tam zk ve İyimser zk
Soyut modelleri tanımlarken, ZK-bridge ve ZK-Rollup'ın bazı benzerlikleri paylaştığı açıktır. Özellikle, bu fark, aşağıdaki diyagramda gösterildiği gibi, ZKP talep eden ile ZKP kanıtlayıcı arasındaki ilişkide yansıtılmaktadır. Burada, ZKP talep eden kişi, bir ZKP oluşturma ihtiyacı olan bir modüle başvurur.
Senaryo aşağıdaki gibidir:
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/44d8c7de5987ff81d07b07403ef421e0.png)
ZKP İstek Sahibi ve ZKP Kanıtlayıcı
Daha önce de belirtildiği gibi, iyimser bir zk'de her zaman bir ispat görevi olmayabilir. Sonuç olarak, ZKP talep edenler ve ZKP kanıtlayıcı aynı modülde birleştirilirse, kanıtlayıcı boşta kalabilir ve bilgi işlem gücü tam olarak kullanılamayabilir.
Bir talep eden-kanıtlayıcı ayırma modeli tasarlarsak ve kanıtlayıcıyı paylaşılan bir havuz yaparsak, kanıtlayıcının kullanımını artırabiliriz. İyimser senaryoya meydan okunmadığında, kanıtlayıcı diğer ZKP projelerinden kanıt görevini üstlenebilir. Bu, ZKPool'un zk-bridge projesinde, özellikle Optimistic'i diğerleriyle birleştirirken önemli bir rol oynadığı anlamına gelir.
! [Yeni ZKP köprüleme fikrini yorumlamak: daha güvenli bir merkezi olmayan çapraz zincir köprüsü oluşturmak için ZKP talep eden-kanıtlayıcı ayırma modelini kullanmak] (https://cdn-img.panewslab.com//panews/2022/11/3/images/3c792f2cf715a1b1288bf5b08229ff60.png)
ZKPool, ZKP talep edenler arasında ZKP kanıtlayıcısı rolünü paylaşıyor
ZKP talep eden-kanıtlayıcı ayırma modeli sadece rollup'lar ve köprüler için değil, aynı zamanda oracle'lar ve diğer tüm ZKP projeleri için de geçerlidir.
Özet
Verilen bilgilere dayanarak, aşağıdaki sonuçları çıkarabiliriz:
ZKP teknolojisi, rollup'lar, köprüler, oracle'lar ve diğer ilgili projeler dahil olmak üzere ZKP projesi için gereklidir.
ZKPool, ZK-bridge'in yaratıcısını/göndericisini ve ZK-Rollup'ın sıralayıcısını, topluca ZKP talep eden olarak adlandırılan aynı rol olarak ele almamızı sağlar
ZKPool'un ZKP talep eden-kanıtlayıcı ayırma modelini kullanarak, kanıtlayıcınızın kullanım oranını artırabilirsiniz. Bu model aynı zamanda tüm ZKP projelerinin ademi merkeziyetçiliğini de teşvik eder.