Delphi Digital: Menjelajahi Shared, Wilayah Baru Modularitas

Asli oleh Delphi Digital

Kompilasi asli: Luffy, Foresight News

Teori modular umumnya dianggap terdiri dari empat lapisan: DA (Data Availability), Konsensus, Execution, dan Pembayaran. Namun, lapisan baru, pepatah bersama, dapat diintegrasikan ke dalam teori modular.

Mungkinkah itu bagian yang hilang dari validasi yang efisien dan terukur? Pembuktian bersama, agregasi bukti, dan pasar prover mengubah lanskap zk-SNARKs. Anda dapat mempelajari semua yang perlu Anda ketahui dalam laporan terbaru kami.

Di bawah ini adalah ringkasan 👇 takeaways utama dari laporan

Ulasan singkat tentang zk Rollup

Solusi zk Rollup dapat menskalakan ukuran transaksi Ethereum, memindahkan transaksi, off-chain untuk pemrosesan yang lebih cepat, sekaligus memungkinkan determinisme keras di atas Ethereum dan memverifikasi dengan zk proofs (zk-SNARKs).

Bukti ZK: Verifikasi Cepat, Generasi Lambat

Meskipun bukti zk sangat kuat dalam hal privasi dan penskalaan, membuat bukti tentang Ethereum bisa mahal dan lambat.

Tingginya biaya attestation membatasi aplikasi zk. Pendekatan baru seperti agregasi attestation dan pasar prover bertujuan untuk mengatasi keterbatasan ini.

Protender Rantai Pasokan

Sequencer bersama memberikan throughput tinggi untuk transaksi di seluruh Blockchain. Namun, mereka sebenarnya tidak membuktikan apa-apa. Mereka dapat diintegrasikan dengan jaringan prover bersama di masa depan untuk mendelegasikan tugas ini.

Saat ini, rollups menghadapi tantangan pengiriman zk-SNARKs terpisah yang mahal.

Jaringan Bukti memberikan solusi: pasar terpadu di mana berbagai aplikasi ZK dapat mengalihdayakan pembuatan bukti ke penyedia layanan attestation khusus, meningkatkan biaya dan efisiensi.

Shared attestators dapat sangat meningkatkan situasi untuk aplikasi yang memerlukan zk-proof dukungan tetapi tidak memiliki zkVM internal atau sumber daya pengembangan sirkuit.

Saat ini, Rollup mengirimkan bukti zk terpisah, menghasilkan biaya gas yang tinggi selama jam sibuk.

Tujuan dari jaringan prover sekarang adalah untuk mengalihdayakan pembuatan bukti ke penyedia perangkat keras khusus di pesanan untuk meningkatkan efisiensi.

Dalam jaringan dengan rollups terpanjang dan terhubung ke jaringan prover, siklus hidup transaksi bekerja sebagai berikut:

• Rollup mengirimkan permintaan attestation.
• Mekanisme sesuai memilih prover.
• Pemberi sertifikasi memenuhi permintaan.
• Bukti agregat.
• Prover menyerahkan attestation akhir ke L1 untuk verifikasi.

Alokasikan biaya validasi

Bukti Singularitas mengacu pada berbagai teknik yang dirancang untuk Drop on-chain proof of validarion biaya.

Agregasi bukti adalah salah satu teknik ini, yang memampatkan bukti valid terpanjang menjadi satu bukti yang memverifikasi semua bukti.

"Validasi batch" ini dapat Drop gas biaya dibandingkan dengan memverifikasi setiap bukti secara individual.

Biaya Prover Aplikasi zk

Biaya verifikasi yang tinggi dan waktu bukti aplikasi ZK pada akhirnya diteruskan ke pengguna.

Selama beberapa tahun terakhir, aplikasi zk (kebanyakan Rollups) telah menghabiskan hampir $ 30 juta dalam gas untuk memvalidasi dan menerbitkan bukti di on-chain.

Agregasi bukti protokol profil

UPA Nebra

Nebra UPA memungkinkan aplikasi zk menggabungkan long bukti untuk Drop biaya verifikasi, dan mereka mengklaim dukungan sekitar 10 bukti per detik pada Testnet. Pemberi sertifikasi mereka saat ini terpusat, tetapi berencana untuk menerapkannya nanti tanpa perlu bukti izin.

Mereka memiliki mekanisme inklusi paksa yang mirip dengan pod pelarian L2 yang ada. Jika prover meninjau atau latensi bukti, aplikasi zk dapat melewati prover dan menegakkan penyelesaian bukti pada L1.

Lapisan Sejajar

Aligned Layer adalah lapisan verifikasi zk universal Ethereum yang diamankan oleh EigenLayer AVS. Restakers memberi pengguna finalitas lunak melalui agregasi bukti dan komitmen Ethereum tunggal. DA default adalah EigenDA, tetapi Anda juga dapat memilih lapisan DA lainnya, seperti Celestia atau Avail.

AggLayer

AggLayer Polygon adalah infrastruktur netral untuk interoperativitas cross-chain yang aman. Ini bertujuan untuk menyatukan jaringan Blockchain independen di bawah satu cross-chain bridge, memfasilitasi interoperabilitas tanpa mengorbankan kedaulatan Blockchain.

Sistem ini dirancang untuk mengumpulkan bukti di semua rollups yang terhubung dan kemudian mengirimkan bukti unik yang berisi pohon Merkle untuk setiap bukti individu yang diajukan.

• Tidak memerlukan Virtual Machine atau lingkungan eksekusi tertentu
• Blockchain bebas memilih sendiri gas Token
• Tidak perlu tunduk pada co-governance.

Di bawah tenda, infrastruktur yang menyatukan semua ini adalah LxLy cross-chain bridges, yang menstandarisasi protokol pesan cross-chain umum sehingga Rollup dapat berkomunikasi satu sama lain dan dengan Ethereum sambil mempertahankan kedaulatan.

Penjelasan 👇 singkat tentang cara kerja LxLy

• Setiap rantai melacak transfer penarikan di pohon Merkle (pohon keluar).
• Semua pohon keluar digabung menjadi pohon keluar global, yang dibagi cross-chain
• Pohon lokal dan global yang diperbarui untuk memungkinkan validasi dan perhitungan penarikan bersih.

Selain itu, Agglayer memiliki cross-chain bridge bersama antara rollups yang terhubung, menyederhanakan aliran aset antara L1 dan L2. Aset dijamin dalam kontrak L1 tanpa membungkus atau mengunci / pencetakan.

Secara tradisional, kerangka kerja mengandalkan satu pembuktian internal, mempertaruhkan masalah sensor dan kehidupan. Jaringan provers dapat dimulai secara terpusat dan secara bertahap Desentralisasi dari waktu ke waktu.

Desentralisasi pasar prover masih merupakan pertanyaan terbuka, tetapi beberapa pendekatan sedang dieksplorasi:

• Kompetisi Bukti: Prover tercepat menang, meningkatkan efisiensi tetapi membuang-buang perhitungan (biaya diteruskan ke pengguna).
• Bukti Penambangan: Mirip dengan PoW Penambangan, angka acak digunakan untuk mencegah pemenang-ambil-semua (limbah komputasi masih ada). Akselerasi perangkat keras di SNARK ASIC diharapkan dapat Drop biaya.