Menafsirkan ide baru ZKP bridging: gunakan model pemisahan pemohon-prover ZKP untuk membuat jembatan lintas rantai terdesentralisasi yang lebih aman

PANews

2023-11-04 03:33:36

原文标题:Model Pemisahan Pemohon-Prover ZKP untuk mendukung ZK Penuh dan ZK Optimis

Penulis asli: 0x3d18, ZKPool

Kompiler: Qianwen, ChainCatcher

Ada banyak kasus penggunaan untuk bukti tanpa pengetahuan, termasuk rollup, bridge, dan oracle. Hal ini menyebabkan pengembangan proyek-proyek seperti ZK-Rollup, ZK-bridge, dan ZK-oracle.

Desain hybrid dan optimis baru-baru ini diterapkan pada teknologi ZKP. Misalnya, Orbiter Finance telah mengusulkan protokol bridging ZK Optimistic, sementara Taiko telah mengusulkan solusi rollup hybrid progresif.

ZK yang optimis mengasumsikan bahwa semua transisi negara benar dan tidak memerlukan bukti validitas segera. Tetapi ini menetapkan jendela tantangan yang telah ditentukan di mana setiap peserta dapat membantah aktivitas penipuan dengan mengirimkan bukti validitas atau bukti penipuan.

Desain ini mengurangi total biaya pembuktian untuk proyek ZKP sambil memastikan keamanan dengan memberi insentif pada sistem pemantauan penantang yang terdesentralisasi dan menantang penipuan.

Protokol Bridging ZK Optimis

Orbiter Finance adalah salah satu proyek cross-rollup yang lebih terkenal. Ini mengusulkan “Protokol Cross-Rollup Pengorbit: Optimis Tentang Mayoritas yang Patuh, Arbitrase Sulit untuk Minoritas Jahat”.

! [Menafsirkan ide baru ZKP bridging: menggunakan model pemisahan pemohon-prover ZKP untuk membuat jembatan lintas rantai terdesentralisasi yang lebih aman] (https://cdn-img.panewslab.com//panews/2022/11/3/images/840b113311223b1c65f29c4e385c0f81.png)

Proses Perdagangan Silang Rollup Optimis (dari Orbiter Finance)

Ini mendefinisikan desain cross-rollup yang terdesentralisasi, aman, dan hemat biaya, didukung oleh teknologi ZKP.

Desain terdesentralisasi Orbiter

Ada beberapa faktor penting yang perlu dipertimbangkan untuk desain semacam itu:

Pertama-tama, proyek jembatan di masa lalu telah mengalami beberapa masalah keamanan, yang telah menyebabkan kerugian signifikan bagi pengguna. Sentralisasi juga membawa risiko keamanan. Oleh karena itu, desentralisasi sangat penting untuk menjembatani.

Kedua, perlu ada mekanisme untuk memastikan akurasi alur transaksi antara sumber/rollup dan rantai tujuan/rollup.

Selain itu, penting untuk menemukan cara yang hemat biaya untuk menghasilkan bukti tersebut. Dibandingkan dengan pohon Merkle on-chain, ZKP adalah pilihan yang layak dengan biaya gas yang lebih sedikit.

Secara khusus, untuk jembatan cross-rollup, biaya adalah pertimbangan utama, dan tujuan dari keseluruhan desain adalah untuk meminimalkan biaya. Ini berarti bahwa sangat penting untuk mengurangi transaksi on-chain dan meminimalkan jumlah gas per transaksi on-chain.

Dalam desain Orbiter, selain skema bridging payment, ada skema lain yang membutuhkan ZKP. Dalam skenario ini, peran yang disebut “pengirim” mengumpulkan informasi transaksi lintas agregat dan mengirimkannya ke L1 untuk memastikan bahwa dealer yang terdesentralisasi menerima imbalan yang akurat.

Desain committer terdesentralisasi Orbiter

Protokol Orbiter mengasumsikan bahwa mayoritas peserta sempurna dan secara optimis menangani peristiwa cross-rollup untuk memastikan eksekusi tepat waktu. Jika bukti diperlukan untuk setiap transaksi cross-rollup, maka pelaksanaan seluruh transaksi bridging akan lambat. Akibatnya, tidak perlu menghasilkan bukti tanpa adanya perilaku jahat, menghemat biaya. Namun, jika perilaku jahat terdeteksi oleh pembuat atau pengirim, penantang dapat menghasilkan bukti, dan pengirim yang ditantang juga harus menyerahkan bukti.

Orbiter Optimis desain jembatan zk

Model Pemisahan Prover Pemohon ZKPool

Ketika datang untuk menggunakan teknologi ZKP, ada berbagai mode yang tersedia:

Zk penuh: Dalam mode ini, satu ZKP diperlukan untuk setiap konversi. Ini dapat dicapai melalui proyek-proyek seperti ZK-bridge (misalnya Polyhedra) atau ZK-Rollup (misalnya Scroll).
Zk optimis: Dalam mode ini, ZKP hanya diperlukan ketika konversi ditantang. Taiko dan Orbiter adalah contoh dari pola ini.

Zk penuh dan zk optimis

Ketika mendefinisikan model abstrak, jelas bahwa ZK-bridge dan ZK-Rollup memiliki beberapa kesamaan. Secara khusus, perbedaan ini tercermin dalam hubungan antara pemohon ZKP dan pemroses ZKP, seperti yang ditunjukkan pada diagram berikut. Di sini, pemohon ZKP mereferensikan modul yang memiliki kebutuhan untuk menghasilkan ZKP.

Skenarionya adalah sebagai berikut:

Dalam proyek ZK-Rollup:

Dalam mode zk penuh, sequencer berfungsi sebagai pemohon ZKP.
Dalam mode zk Optimis, penantang bertindak sebagai pemohon ZKP.

Dalam proyek ZK-bridge:

Dalam mode all-zk, pembuat bertindak sebagai pemohon ZKP.
Dalam mode zk Optimis, penantang bertindak sebagai pemohon ZKP.

Pemohon ZKP dan Prover ZKP

Seperti disebutkan sebelumnya, dalam zk yang optimis, mungkin tidak selalu ada tugas pembuktian. Akibatnya, jika pemohon ZKP dan prover ZKP digabungkan ke dalam modul yang sama, prover mungkin menganggur dan daya komputasinya mungkin tidak sepenuhnya digunakan.

Jika kita merancang model pemisahan pemohon-prover dan menjadikan prover sebagai kumpulan bersama, kita dapat meningkatkan pemanfaatan prover. Ketika skenario optimis tidak ditantang, prover dapat mengambil tugas pembuktian dari proyek ZKP lainnya. Ini berarti bahwa ZKPool memainkan peran penting dalam proyek zk-bridge, terutama ketika menggabungkan Optimis dengan yang lain.

ZKPool berbagi peran prover ZKP di antara pemohon ZKP

Model pemisahan supplicant-prover ZKP berlaku tidak hanya untuk rollup dan bridge, tetapi juga untuk oracle dan semua proyek ZKP lainnya.

Ringkasan

Berdasarkan informasi yang diberikan, kita dapat menarik kesimpulan berikut:

Teknologi ZKP sangat penting untuk proyek ZKP, termasuk rollup, bridge, oracle, dan proyek terkait lainnya.
ZKPool memungkinkan kami untuk memperlakukan pencipta / pengirim ZK-bridge dan sequencer ZK-Rollup sebagai peran yang sama, secara kolektif disebut sebagai pemohon ZKP
Dengan menggunakan model pemisahan pemohon-prover ZKPool ZKP, Anda dapat meningkatkan tingkat pemanfaatan prover Anda. Model ini juga mempromosikan desentralisasi semua proyek ZKP.

Lihat Asli

Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.

1 Suka