Penulis: Ac-Core, peneliti YBB Capital; Penerjemah: Golden Finance xiaozou

Arah narasi utama ETH telah bergeser dari L1 ke L2. Jika kita juga menafsirkannya sebagai narasi ERC-20 tentang "penerbitan token sekali klik", sebaiknya kita sedikit memperbesar polanya dan membayangkan masa depan yang gila dari ETH. "rantai penerbitan sekali klik"! Arbitrum didasarkan pada kenyataan bahwa tidak ada orang lain yang bisa melakukannya! Arbitrum telah memimpin lanskap kompetitif L2 dengan ekosistemnya yang tak tertandingi dan TVL yang tinggi, namun bisakah kemenangan sementara ini bertahan lama? Berbeda dengan Arbitrum Orbit, solusi L3 lainnya, OP Stack adalah "rantai super" yang dapat membuat L2 dengan satu klik. Artikel ini akan menggunakan tiga bagian untuk melakukan analisis komprehensif terhadap masalah keamanan OP Stack, elemen ZK di OP, dan Rollup.

1. OP Stack membuka "dunia Superchain"

Di manakah narasi pasar bullish berikutnya akan dimulai? Apakah ini dimulai dengan L1 berkinerja tinggi, lapisan jaringan L3, L2 dalam sistem ZK, atau OP Stack Superchain? Ini adalah pertanyaan yang sangat menarik dan menggugah pikiran. Gelar Ether Killer selalu menjadi tujuan yang tidak dapat diatasi untuk semua rantai publik, namun ada banyak superkernel yang tersembunyi di dalamnya, dan OP Stack adalah salah satunya.

(1) Apa itu OP Stack?

  • OP Stack dapat dipahami sebagai sekumpulan komponen perangkat lunak sumber terbuka yang memungkinkan siapa pun membangun blockchain L2 mereka sendiri di Ethereum menggunakan Optimisitc Rollup. OP Stack terdiri dari empat komponen utama:

  • Mainnet: OP Mainnet adalah jaringan Ethernet L2 berbiaya rendah dan cepat yang kompatibel dengan Ethereum Virtual Machine EVM.

  • Kontrak: kontrak pintar yang mengimplementasikan logika inti dan fungsi OP Stack. Kontrak OP mencakup State Transition System (STS); Fraud Proof (FP); State Commitment Chain (SCC); dan Canonical Transaction Chain (CTC).

  • Layanan: Layanan yang menyediakan ketersediaan data, sinkronisasi, dan komunikasi antara L1 dan L2.

  • Alat: Alat yang digunakan untuk memfasilitasi pengembangan, pengujian, penerapan, pemantauan, dan debugging blockchain berbasis OP Stack.

(2) Keterbukaan kelas satu

OP Stack akan dibangun sebagai infrastruktur blockchain yang dapat di-fork, modular, dan dapat diskalakan. Untuk mewujudkan visi ini, semua jenis L2 perlu diintegrasikan ke dalam superchain tunggal, mengintegrasikan L2 terpisah ke dalam sistem gabungan yang dapat dioperasikan, dan peluncuran L2 akan semudah menerapkan kontrak pintar di Ethereum saat ini. Hal ini dapat mengubah narasi "penerbitan token sekali klik" menjadi narasi "penerbitan rantai satu klik". Pada dasarnya, Hyperchain adalah jaringan blockchain yang dapat diskalakan secara horizontal yang berbagi keamanan eter, serta lapisan komunikasi dan alat pengembangan.

OP Stack akan menjadi tumpukan pengembangan modular terpadu di balik hyperchain dan banyak blockchain yang saling berhubungan dan berkomunikasi. OP Stack dikembangkan dan dikelola oleh Optimism Collective dan mendukung sistem sumber terbuka bersama untuk penerapan jaringan konvergensi baru. Pada saat yang sama, ini juga merupakan seperangkat modul sumber terbuka standar. Ini terdengar seperti Cosmos yang sepenuhnya didasarkan pada keamanan Ethereum, tetapi sekarang OP Stack telah menjadi Cosmos Killer, dan saling melengkapi antara ETH dan ATOM dikenal luas. Selanjutnya mari kita lihat secara spesifik definisi OP Stack:

Modul adalah potongan data yang dapat dimasukkan oleh pengembang mana pun ke OP Stack. "Standarisasi" Superchain berarti ada konsensus mengenai standar modul, dan setiap orang dapat menerapkan standar tersebut. Ini juga sepenuhnya open source, artinya siapa pun dapat mengembangkan iterasi dan mengirim permintaan penarikan secara gratis. Pengembang dapat mengganti modul antara lapisan eksekusi, konsensus, penyelesaian, dan ketersediaan data yang berbeda dalam rantai tersebut.

Sama seperti dYdX yang memilih untuk meninggalkan Ethereum dan pindah ke rantai aplikasi Cosmos, alasan mendasarnya adalah mereka menginginkan tingkat modularitas yang lebih tinggi di lapisan konsensus rantai mereka, yang menurut saya merupakan awal yang baik untuk memungkinkan dapps yang lebih independen. mengembangkan rantai publik, yang paling terkenal adalah Luna, meskipun karena beberapa alasan akhirnya gagal. Untungnya, OP Stack memecahkan masalah ini dengan merancang kode bercabang dengan cara yang lebih sederhana, memungkinkan pengembang dengan mudah mengekstrak berbagai komponen blockchain dan memodifikasinya dengan memasukkan modul yang berbeda.

(3) Prinsip desain OP Stack

  • Efisiensi: Anda dapat menggunakan OPStack untuk membangun apa pun dan mempublikasikan blockchain hanya dengan satu klik;

  • Kesederhanaan: Memanfaatkan kode yang dapat digunakan kembali dan alat pengembangan siap pakai untuk meningkatkan keamanan dan mengurangi kompleksitas pemeliharaan, sehingga mengurangi hambatan secara keseluruhan;

  • Skalabilitas: Optimisme Kolektif akan sepenuhnya membuka kode utama OPStack.

Dari segi arsitektur, OPStack dapat dibagi menjadi enam lapisan dari bawah ke atas, yaitu: lapisan DA (ketersediaan data), lapisan pengurutan, lapisan derivasi, lapisan eksekusi, lapisan penyelesaian, dan lapisan tata kelola. Setiap lapisan OP Stack adalah API modular yang dapat digabungkan dan dipisahkan sesuka hati. Yang paling penting adalah lapisan DA, lapisan eksekusi, dan lapisan penyelesaian, yang merupakan alur kerja utama OP Stack.

  • Lapisan DA: Lapisan ketersediaan data adalah sumber data asli dari OP Stack. Modul ketersediaan data tunggal atau ganda dapat digunakan untuk mendapatkan data masukan. Saat ini, lapisan DA yang paling penting adalah Ethereum, tetapi akan ada lebih banyak rantai di masa mendatang.

  • Lapisan eksekusi: Struktur status di OP Stack memberikan kemungkinan untuk EVM atau menggunakan VM lain, menambahkan dukungan untuk transaksi L2 yang dimulai pada Ethereum, sekaligus meningkatkan keseluruhan biaya penerbitan transaksi ke Ethereum per transaksi.

  • Lapisan penyelesaian: Lapisan ini mengumpulkan data transaksi L2 di OP Stack dan mengirimkan informasi ke rantai target setelah L2 mengonfirmasi informasi untuk menyelesaikan penyelesaian. Di masa depan, diharapkan juga memiliki akses terhadap ZK dan mekanisme bukti validitas lainnya untuk menjembatani kesenjangan antara rantai yang berbeda dan bahkan menghubungkan pulau-pulau silo antara sistem OP L2 dan sistem ZK L2.

Dilihat dari beberapa proyek dengan elemen ZK yang ditemukan oleh OP baru-baru ini, kita dapat dengan berani membayangkan, misalnya, jika rollup Optimis ingin diubah menjadi rollup ZK, tidak masalah! Cukup ganti modul bukti penipuannya dengan modul bukti validitas lapisan penyelesaian. Jika suatu rantai ingin menggunakan Celestia sebagai lapisan ketersediaan datanya, tidak masalah! Ganti Ethereum dengan Celestia. Jika Anda ingin mengganti EVM di lapisan eksekusi dengan jenis mesin virtual yang berbeda, sayangnya ini hanya kemungkinan teknis dengan OP Stack. Dalam skenario mega-rantai ini, sebuah tren hangat lahir - "Poligon: Saya ingin menjadi Kosmos ZK L2! Optimisme: Saya ingin menjadi Kosmos OP L2! Kosmos: Lalu siapakah saya?"

（4）Hukum Tumpukan OP

Ruang blok Ethereum yang tidak terbatas merupakan langkah penting menuju adopsi massal, namun hal ini juga membawa masalah fragmentasi dan penerapan tanpa izin menciptakan tantangan baru. Saat ini, setiap rantai OP Stack baru berlayar di orbitnya sendiri tanpa ada cara langsung untuk berbagi standar dan peningkatan. Pengguna dan pembangun juga menghadapi tantangan besar: mengevaluasi secara individual berbagai rantai berdasarkan keamanan, kualitas, dan netralitas. Untuk mewujudkan superchain, OP Stack perlu bertransformasi dari ruang blok yang independen dan terdesentralisasi menjadi rantai kolektif yang terpadu, bekerja sama dalam ruang blok yang terbuka dan terdesentralisasi. Hukum Rantai menetapkan prinsip-prinsip panduan untuk tata kelola Optimis dan Superchain. Tata kelola yang optimis beralih dari pengelolaan satu rantai ke pengelolaan standar umum di beberapa rantai, sehingga menentukan properti yang diperlukan untuk menjadi bagian dari superchain sambil memprioritaskan perlindungan pengguna yang bertransaksi di superchain. Pada dasarnya, Law of Chains adalah kontrak sosial (bukan kontrak hukum), sehingga diskusi komunitas yang aktif sangatlah penting. ” Law of Chains akan memungkinkan Superchain menjamin properti berikut:

  • Pastikan ruang blok tetap homogen, netral, dan terbuka: komitmen terhadap hukum rantai adalah komitmen untuk melindungi pengguna rantai, pengembang, dan pemangku kepentingan lainnya. Sebagai bagian dari superchain, rantai dengan ukuran berapa pun dapat didukung oleh tata kelola yang Optimis, yang secara kredibel menunjukkan homogenitas, netralitas, dan keterbukaan ruang bloknya.

  • Manfaat dari perbaikan terus-menerus: Peningkatan bersama berarti Hyperlink selalu memiliki akses ke teknologi terbaik tanpa harus khawatir untuk memeliharanya sendiri.

  • Menyediakan infrastruktur yang lebih baik dan lebih mudah diakses: Karena semua rantai dalam hyperchain berkomitmen terhadap suatu standar, mereka dapat bekerja sama untuk memastikan ketersediaan dan keterjangkauan layanan utama seperti pengindeksan dan pengurutan.

(5) Bisakah OP Stack memberikan kembali ke OP?

Apa gunanya token OP? Jika mereka mengikuti metode rantai Dasar dan mereka akan mengembalikan sebagian pendapatannya ke Optimism Collective, maka sumber pendapatan "perbendaharaan" akan bergantung pada "nilainya" sendiri, dengan mengandalkan penciptaan lebih banyak. narasi dan pada akhirnya memberikan umpan balik ke Harga mata uang membuat logika kinerja OP di pasar sekunder mirip dengan ATOM, tetapi situasi ini mungkin merupakan situasi yang paling ideal saat ini. Optimism Collective pada akhirnya akan mendapatkan keuntungan dari umpan balik dari lebih banyak rantai, dengan mengambil Basechain sebagai contoh. Perasaan ini mengingatkan kita pada UNI, keduanya memiliki program yang kuat, namun token itu sendiri tidak memiliki nilai guna selain voting dan tata kelola. Berbeda dengan masalah pemesanan terpusat yang dihadapi L2 saat ini, meskipun token L2 hanya digunakan untuk beberapa bentuk pemilihan pemimpin (bukan pemungutan suara konsensus), nilai kekuatan pemesanan masih menjadi milik token Rullop.

Pada saat yang sama, tim OP merilis proposal Law of Chain pada tanggal 25 Juli. Semua rantai yang menggunakan OP Stack memulai model tata kelola dan sequencer bersama, dengan harapan dapat menstandardisasi model "umpan balik keuntungan" dan memberikan lebih banyak pendapatan ke seluruh sistem OP (sebagai di atas Seperti yang dijelaskan dalam artikel Hukum OP Stack), ini setara dengan model keamanan bersama Cosmos.

(6) Perbedaan antara OP Stack dan ZK Stack

OP Stack: Pilihan tunggal multi-rantai

Sangat mudah untuk melihat dari penjelasan di atas bahwa OP Stack mengadopsi model multi-rantai yang mirip dengan Cosmos, tetapi hanya ada satu pilihan, karena yang dilakukan OP Stack adalah setiap rantai perlu memverifikasi transaksi rantai lain, jika tidak maka perlu menunggu beberapa detik di L1. Hasilnya datang kemudian, jadi satu pemesanan bersama, distribusi MEV terpusat, dan perlindungan dari hukum dan tata kelola adalah satu-satunya hal yang memungkinkan rollup Optimis dapat beroperasi secara mulus antar rantai yang berbeda. Rollup yang optimis adalah satu-satunya cara untuk mencapai interoperabilitas yang lancar antar rantai yang berbeda.

Tumpukan ZK: banyak rantai dan banyak pilihan

Berbeda dengan OP Stack, ZK Stack juga dapat merangkai banyak thread, namun memiliki banyak opsi, dapat memilih sequencernya sendiri, melakukan MEV dengan caranya sendiri, dan dilindungi oleh matematika dan kode (catatan: OP Stack dilindungi oleh mata uang fiat dan perlindungan tata kelola ). Hal ini karena jika ZK menggunakan thread bersama yang ditentukan atau sekumpulan thread yang sangat kecil, maka mereka dapat mempercayai satu sama lain berdasarkan matematika saja, sehingga membuat bukti tanpa pengetahuan menjadi tidak berharga.

2. Elemen ZK dari OP Stack

OP Stack adalah arsitektur yang sepenuhnya terbuka, yang memungkinkan adanya zkvm, zkmips, zkwasm, dan zkevm dalam ekosistem, tetapi dibandingkan dengan "ZK ortodoks", OP Stack juga memiliki beberapa elemen ZK yang berbeda. Kami berpikir bahwa mungkin ada hubungan yang luar biasa antara OP rollup dan ZK rollup dalam waktu dekat.

(1) Menerapkan pembuktian tanpa pengetahuan (ZKP) untuk OP

Menurut status pengembangan terbaru, tim Mina berencana menggunakan sistem plonk mereka sendiri + komitmen kzg + algoritma lipat nova untuk mengimplementasikan zkmips vm di OP Stack. Meski ini baru usulan baru dan masih banyak aspek yang belum matang, namun hal ini patut untuk ditelusuri. Misi tim proyek adalah untuk mencapai komunikasi lintas rantai yang aman dan berlatensi rendah antara rantai L2, L1, dan OP melalui bukti indeks nol. Ini adalah zero-knowledge proof (ZKP) dengan arsitektur set instruksi (ISA) yang didukung dengan baik yang membuktikan perilaku program toleransi kesalahan Optimisme, meletakkan dasar untuk mampu membuktikan sistem blockchain apa pun berdasarkan OP Stack.

Menyelesaikan tugas ini menyiratkan penerapan sistem zero-knowledge proof (ZKP) yang dapat membuktikan program anti kesalahan OP menggunakan arsitektur set instruksi (ISA) yang didukung oleh kompiler golang, seperti MIPS, RISC-V atau WASM. Selain itu, sistem pembuktian harus membuktikan transisi keadaan antara dua blok konfigurasi standar rantai OP Stack, sehingga membuktikan bahwa hal tersebut layak dalam praktiknya. Selain mensertifikasi jejak eksekusi standar ISA, dukungan untuk proses anti-kesalahan memperkenalkan persyaratan lain.

Secara khusus, program Fault Proof memperkenalkan konsep Oracle yang telah dipetakan sebelumnya, yang menggunakan panggilan sistem khusus untuk memuat data eksternal ke dalam program. Setiap VM yang tahan kesalahan bertanggung jawab untuk menerapkan mekanisme di mana hash dari beberapa data disimpan di lokasi tertentu dalam memori dan dieksekusi oleh panggilan sistem, dan kemudian gambar awal dari hash tersebut dimuat ke dalam memori untuk penggunaan program. Oracle yang telah dipetakan sebelumnya juga digunakan untuk input awal ke bootloader.

(2) Upaya penyortir yang terdesentralisasi

Espresso Systems secara resmi mengumumkan di Twitter pada tanggal 21 Juli 2023 bahwa proposal untuk membentuk verifikasi penyortiran terdesentralisasi untuk pemilihan pemimpin OP Stack telah diterima dan telah menjadi kontribusi untuk OP Stack dan Superchain. Salah satu protokol utama proyek, HotShot, adalah protokol konsensus berkecepatan tinggi yang dapat digunakan untuk menggadaikan ulang, memungkinkan validator Ethereum untuk berpartisipasi dalam protokol, yang bertujuan untuk mencapai skala yang sama dengan set validator Ethereum. Proyek ini juga mengembangkan Espresso Sequencer, yang mengintegrasikan zk-rollup berfitur lengkap, khususnya cabang Polygon zkEVM.

Apa itu pemilihan pemimpin?

Pemilihan pemimpin mengacu pada kemampuan dalam sistem terdistribusi untuk menggunakan pemimpin berbeda yang bertanggung jawab untuk menciptakan transisi negara kanonik berikutnya. Dalam blockchain, pemilihan pemimpin memungkinkan produsen blok yang berbeda untuk menghasilkan blok pada waktu yang berbeda, dan algoritme pemilihan pemimpin dapat bersifat kompetitif atau non-kompetitif.

Dalam kasus proof-of-work, algoritme pemilihan pemimpin kompetitif mengacu pada algoritme di mana banyak unit potensial bersaing untuk menjadi pemimpin pada saat yang bersamaan. Algoritme pemilihan pemimpin non-kompetitif berarti hanya ada satu pemimpin yang diketahui pada suatu waktu tertentu. Dalam kasus Ether Gasper, algoritma pemilihan pemimpin non-kompetitif berarti hanya ada satu pemimpin yang diketahui pada suatu waktu tertentu. . unit yang diketahui, dan tidak ada cara lain bagi unit potensial lain untuk menjadi pemimpin pada saat itu.

Dalam kasus pemisahan jaringan pengusul dari jaringan pembangun (yaitu, jaringan pembuat blok hanya bertanggung jawab untuk memilih urutan transaksi, dan jaringan pengusul hanya bertanggung jawab untuk menandatangani blok). Ini akan mengubah entitas tunggal yang bertanggung jawab untuk menghasilkan blok pada saat tertentu menjadi banyak entitas yang mungkin dan memungkinkan mereka bersaing untuk mendapatkan blok potensial yang paling menguntungkan di jaringan pembangun pada saat itu.

Sulit bagi kita untuk memahami berbagai dampak sekunder dari mekanisme pemilihan pemimpin di antara berbagai rantai op-stack. Saat ini, mekanisme pemilihan pemimpin merupakan mekanisme yang paling populer karena memungkinkan terjadinya tatanan yang lebih terdesentralisasi. Perhatikan bahwa hal ini juga tidak menjamin bahwa penyortir benar-benar terdesentralisasi, jadi kehati-hatian harus diambil ketika mempertimbangkan masalah penyortir yang terdesentralisasi.

3. Apakah Rollup benar-benar aman?

(1) Prinsip kerja jaringan Ethereum

Prinsip jaringan Ethereum adalah setiap node menyimpan dan mengeksekusi setiap transaksi yang dikirimkan oleh pengguna. Metode keamanan tingkat tinggi ini juga membuat seluruh jaringan menjadi sangat mahal, sehingga perlu untuk memperluas kapasitas seluruh jaringan dan mengadopsi a. Solusi gulung. Sederhananya, Rollup = sekumpulan kontrak di L1 + node jaringannya sendiri di L2, yaitu kontrak pintar on-chain + agregator off-chain, yang mengandalkan Ethereum untuk penyelesaian, konsensus, dan ketersediaan data, dan hanya bertanggung jawab atas Rollup eksekusi sendiri.

  • Kontrak pintar pada rantai menunjukkan bahwa model kepercayaannya adalah kontrak pintar di Ethereum, meminjam keamanan Ethereum.

  • Agregator off-chain berarti ia akan mengeksekusi dan mengagregasi transaksi off-chain, memampatkan sejumlah besar transaksi dan pada akhirnya menempatkannya di mainnet Ethereum, mencapai tujuan biaya yang lebih cepat dan lebih rendah.

Node jaringan L2 memiliki banyak komponen, di antaranya komponen sequencer adalah yang paling penting. Ia bertanggung jawab untuk menerima permintaan transaksi di L2, menentukan perintah eksekusinya, dan mengelompokkan urutan transaksi untuk dikirimkan ke kontrak proyek Rollup di L1. Penting untuk dicatat bahwa semua pemesan rollup L2 di Ethereum saat ini terpusat, seperti yang ditunjukkan pada gambar di bawah.

(2) Masalah penyortir terpusat

Node penuh L2 dapat memperoleh urutan transaksi dengan dua cara: langsung dari sequencer, atau dengan membaca paket transaksi (Batch) yang dikirim ke L1 oleh sequencer, tetapi yang terakhir lebih tidak dapat dimodifikasi. Karena eksekusi transaksi mengubah status buku besar blockchain, untuk memastikan konsistensi, selain mendapatkan urutan transaksi, node penuh L2 juga harus menyinkronkan status buku besar dengan sequencer. Oleh karena itu, tugas sequencer tidak hanya mengirimkan paket transaksi ke kontrak Rollup L1, tetapi juga mengirimkan hasil pembaruan status Stateroot/Statediff setelah eksekusi transaksi ke L1. Secara umum, tugas sequencer adalah memproses transaksi dan menambahkan urutan transaksi ke blok di blockchain. Ia bertanggung jawab untuk mengelompokkan transaksi dan menerbitkan transaksi ke kontrak pintar L1.

Untuk node penuh L2, selama urutan transaksi dan Stateroot awal Rollup di L1 diperoleh, buku besar blockchain L2 dapat dipulihkan dan Stateroot terbaru dapat dihitung. Sebaliknya, jika Stateroot yang dihitung oleh full node L2 sendiri tidak sesuai dengan Stateroot yang dipublikasikan oleh penyortir ke L1, berarti penyortir tersebut telah melakukan penipuan. Oleh karena itu, L1 lebih terdesentralisasi, tidak dapat dipercaya, dan lebih aman dibandingkan jaringan L2 sendiri.

（3） PADA tumpukan

Jadi pertanyaannya adalah, apakah L2 mampu memalsukan beberapa transaksi yang tidak ada atau salah, seperti mentransfer aset token dari L2 ke alamat runner sequencer, dan kemudian mentransfer aset token tersebut ke L1 untuk mencuri aset pengguna? Jawabannya adalah: jika seseorang ingin melakukannya, hal itu sepenuhnya mungkin. Oleh karena itu, dalam menghadapi kemungkinan risiko penipuan dalam penyortir, berbagai jenis rollup mengadopsi metode respons yang berbeda.

Mari kita ambil Optimistic Rollup sebagai contoh, yang memungkinkan node penuh L2 memberikan bukti penipuan yang membuktikan bahwa data yang dipublikasikan oleh sequencer di L1 salah. Namun untuk Optimisme tanpa bukti penipuan, jika seseorang memang ingin mencuri aset pengguna L2 melalui sequencer, maka ia hanya perlu membiarkan sequencer runner memalsukan perintah transaksi dan mentransfer aset orang lain di L2 ke alamatnya sendiri, dan terakhir mentransfer aset tersebut. token yang dicuri ke L1 melalui kontrak jembatan rollup.

Untuk mengatasi kemungkinan masalah ini, solusi saat ini adalah mengandalkan anggota komunitas dan media sosial untuk mencapai apa yang disebut "konsensus", dan mengandalkan OP sebagai dukungan kredit resmi. Oleh karena itu, untuk meringkas, keamanan OP Rollup setidaknya bergantung pada memiliki node L2 yang jujur, yang dapat mengeluarkan bukti penipuan untuk memastikan bahwa OP Stack adalah multi-rantai yang dipilih tunggal, seperti yang ditunjukkan pada "Perbedaan antara OP Stack dan OP Stack" di atas. ZK Stack" ” bagian dari konten.

(4) Tumpukan ZK

Mari kita jelajahi ZK Stack. Di jaringan ZK Rollup, terdapat node Prover, yang menerbitkan paket transaksi khusus untuk sequencer dan menghasilkan sertifikat validitas. Bukti validitas ini telah mendedikasikan kontrak verifikasi pada L1. Setelah paket transaksi dan bukti Stateroot/Statediff yang terkait diverifikasi oleh kontrak validator, transaksi selesai. Bedanya dengan OP Stack adalah selain mengandalkan L2 full node, ZK Rollup juga menggunakan bukti validitas untuk menyelesaikan masalah penipuan sequencer. Jembatan resmi ZK Rollup juga hanya mengizinkan eksekusi transaksi penarikan yang diverifikasi oleh sertifikat validitas, yang jelas jauh lebih dapat diandalkan daripada Optimisme, yaitu ZK Stack adalah multi-rantai dan banyak pilihan, seperti yang ditunjukkan pada "Perbedaan antara OP Stack dan ZK Stack" bagian di atas sebagaimana tercantum dalam konten.

Secara teoritis, keamanan ZK Rollup dijamin oleh kontrak verifikator di L1, atau konfirmasi akhir transaksi diselesaikan oleh node L1. Dibandingkan dengan keamanan OP Rollup, yang setidaknya mengandalkan node L2 yang jujur ​​untuk dapat mengeluarkan bukti penipuan, keduanya mewarisi keamanan L1 (ETH), tapi itu mungkin tidak terjadi dalam arti yang paling ketat, tapi itu untuk saat ini. solusinya, dan dibandingkan dengan rantai publik lainnya, Ethereum telah mengalami pengembangan selama bertahun-tahun, dan keamanannya tidak diragukan lagi adalah yang paling dapat dipercaya. Dibandingkan dengan rantai publik lainnya, Ethereum tidak diragukan lagi merupakan rantai yang paling tepercaya dan aman.

Sama seperti segitiga blockchain, dalam keseluruhan pengalaman pengguna "produk", tampaknya ada segitiga keamanan, kesederhanaan dan efisiensi, dan ZK Stack lebih percaya daripada OP Stack bahwa mengandalkan matematika dan kode dapat meningkatkan keamanan secara keseluruhan, sehingga sangat meningkatkan kompleksitas keseluruhan. Jadi ada juga beberapa klise tentang ZK:

  • Masalah latensi: ZK Rollup juga perlu menyelesaikan masalah penundaan node L2 yang menerbitkan data ke L1. Sama seperti kotak yang perlu disiapkan untuk pengiriman ekspres, ada biaya tetap setiap kali sequencer atau proofer mengirimkan data ke L1. Untuk mengurangi biaya, penyortir dan pembuktian akan mencoba mengurangi jumlah seringnya rilis data di L1, tetapi menunggu hingga sejumlah besar data muncul pada saat yang sama, lalu mengemasnya bersama untuk dirilis.

  • Masalah kecepatan: ZK Rollup menghadapi tantangan lambatnya menghasilkan bukti validitas. Meskipun sequencer dapat mengeksekusi ribuan transaksi dalam 1 detik, menghasilkan bukti validitas untuk transaksi ini dapat memakan waktu berjam-jam. Untuk mengatasi masalah ini, jaringan ZK Rollup arus utama mengadopsi metode inovatif: menguraikan tugas pembuatan bukti menjadi beberapa tugas kecil, yang diproses secara paralel oleh node pembuktian yang berbeda, yang sangat meningkatkan kecepatan pembuatan bukti.

  • Masalah biaya: Untuk mengurangi biaya keseluruhan, banyak solusi ZK Rollup mengadopsi strategi "menggabungkan banyak bukti dan mengirimkannya ke L1 sekaligus". Artinya, pembukti tidak akan mengirimkan bukti ke L1 segera setelah dibuat, namun akan menunggu beberapa bukti dihasilkan dan menggabungkannya untuk mengirimkannya ke kontrak verifikator di L1. Melalui agregasi ini, sebuah bukti dapat memuat dan memverifikasi langkah-langkah komputasi yang dihasilkan oleh beberapa bukti, sehingga semakin mengurangi biaya data secara keseluruhan.

  • Masalah volume transaksi: Jika transaksi yang dimulai tidak mencukupi, sequencer mungkin menunda penerbitan data ke L1. Misalnya, selama periode aktivitas pasar rendah, beberapa jaringan Rollup hanya mengirimkan sejumlah transaksi ke L1 setiap setengah jam. Namun, masalah ini dapat diselesaikan secara efektif di beberapa skema Rollup lainnya, seperti Starknet, yang mengurangi biaya data dengan mengurangi frekuensi rilis Statediff.

Mengenai pertanyaan tentang solusi penyortir terdesentralisasi yang lebih cocok, modularitas mungkin merupakan solusi terbaik karena modularitas berarti kemampuan penyesuaian yang lebih besar. Ada lima alat desentralisasi utama yang tersedia saat ini:

  • Penyortir tunggal & POA

  • Rollup berbasis

  • DVT x sequencer

  • Penyortir bersama

  • Bootstrap set penyortir baru

Kami percaya bahwa tidak hanya di masa depan, banyak permasalahan di atas dapat diselesaikan melalui teknologi. Misalnya, untuk mengurangi waktu pembuatan bukti validitas, Optimisme berjanji untuk merilis sistem bukti penipuan dalam waktu dekat, dan rencana Danksharding Ethereum juga akan secara signifikan mengurangi biaya rollup data, dan masalah penyortir terdesentralisasi juga akan diatasi. . Bersama-sama mereka akan memberikan solusi efektif terhadap permasalahan di atas.

4. Bagaimana narasinya akan berkembang?

Hyperchain dan super extension selalu menjadi arah ekspansi yang diperhatikan semua orang. Meskipun proyek-proyek ini masih dalam tahap awal pengembangan, semuanya membawa narasi yang lebih kuat ke Ethereum. Sekarang kita dapat melihat bahwa OP Stack telah menerima lebih banyak adopsi, dan banyak rantai publik bintang telah bergabung dengan OP Stack, seperti Coinbase, opBNB, Zora, Worldcoin dan banyak rantai publik lainnya telah memberikan dukungan merek yang baik untuk OP Stack. Termasuk baru-baru ini pada malam tanggal 26 Juni, zkSync mengumumkan peluncuran ZK Stack, kerangka kerja sumber terbuka modular untuk membuat rollup ZK khusus. Ini juga dianggap oleh banyak orang sebagai aplikasi pembunuh yang digunakan oleh tim zkSync untuk menangani nomor satu OP Tumpukan. Di satu sisi adalah OP Stack yang memiliki keunggulan first-mover, dan di sisi lain adalah ZK Stack yang memiliki keunggulan matematis. Singkatnya, nilai L2 dapat diakumulasikan menjadi token rollup dimulai. Apa pendapat Anda tentang perang tanpa bubuk mesiu ini?