Apa itu Zk Rollup? Keuntungan dan keterbatasan Zk Rollup dan proyek yang luar biasa

Apa itu Zk Rollup? Apa perbedaan antara Zk Rollup dibandingkan dengan Layer 2 lainnya? Proyek Zk Rollup apa yang ada di pasaran saat ini? Cari tahu di sini.

Rollup adalah solusi Layer 2 yang sangat diapresiasi oleh masyarakat, di mana ada dua model utama, Optimis dan Zk Rollup. Pada artikel sebelumnya, saya telah berbagi cukup banyak tentang Optimis Rollup dan proyek-proyek luar biasa di dalamnya. Anda dapat merujuk kembali ke sini .

Dalam artikel hari ini, saya akan berbagi dengan semua orang gambaran umum tentang Zk Rollup, kelebihannya, keterbatasannya, dan beberapa proyek Zk Rollup yang luar biasa.

Apa itu Zk Rollup?

Zk Rollup adalah ekstensi untuk Ethereum layer 1 menggunakan teknologi zero knowledge proof. 

Zk Rollup memungkinkan untuk menggabungkan sejumlah besar transaksi ke dalam blok Rollup dan menghasilkan bukti ringkas dari blok off-chain. Kemudian, kontrak pintar pada Ethereum layer 1 hanya perlu memverifikasi Bukti itu tanpa mengeksekusi ulang transaksi. Hal ini dapat menghemat banyak biaya gas karena verifikasi Bukti jauh lebih murah daripada melakukan perhitungan lagi.

Mengapa Zk rollup lebih baik daripada solusi Layer 2 lainnya?

Dalam pandangan Vitalik, pada dasarnya ada 5 strategi penskalaan untuk Ethereum:

• Beberapa rantai terpisah (Cara Polkadot, Cosmos lakukan).
• Blok super besar.
• Perbaikan meningkatkan kinerja operasional tetapi tidak mengubah model keamanan.
• Lapisan 2 (saluran, plasma, rollup).
• pecahan.

Tabel perbandingan beberapa keuntungan dan kerugian dari solusi lapisan 2

Di segmen Layer 2 , dapat dikatakan bahwa Rollup adalah solusi terdepan. Rollup diklasifikasikan menjadi dua jenis utama: Rollup Optimis dan Rollup Zk. Secara umum, semua keuntungan yang dapat diberikan Optimis Rollup di masa depan juga dapat diberikan oleh Zk Rollup.

Poin utama untuk membuat Zk Rollup dinilai lebih tinggi daripada Rollup Optimis adalah bahwa waktu penyelesaian Zk Rollup (validasi transaksi - proses verifikasi) adalah yang tercepat.

Rollup Optimis diamankan melalui bukti penipuan, sebuah pendekatan yang memaparkan mereka pada "permainan tantangan". Sementara ZK Rollups diamankan melalui matematika (buktikan kepada orang lain bahwa Anda tahu jawabannya tanpa memberi tahu orang lain jawabannya), Anda akan dengan jelas melihat perbedaan di antara keduanya melalui dompet. Contoh sederhana di bawah ini:

Zk Rollup dan Optimistic Rollup masuk ke Bar dewasa, Bar ini hanya bisa dimasuki oleh orang yang berusia di atas 18 tahun. Security bertanya: "Boleh saya lihat KTP Anda?".

• ZK Rollup mengatakan: "Saya dapat membuktikan kepada Anda bahwa saya berusia di atas 18 tahun, tetapi saya tidak akan menunjukkan ID saya".
• Rollup Optimis mengatakan: "Jika tidak ada yang bisa membuktikan saya di bawah 18 dalam 7 hari, itu berarti saya di atas 18."

Dari perspektif pengguna ritel, “Permainan Tantangan” diwakili oleh waktu tunggu untuk penarikan pada platform seperti Optimism atau Arbitrum . Jika waktu penarikan berkurang, pengguna akan memiliki pengalaman pengguna yang lebih baik, sebagai imbalannya, keamanan akan lebih sedikit karena biaya serangan jaringan akan lebih sedikit.

Solusi Zk Rollup tidak mengalami hal ini, seiring waktu, seiring berkembangnya teknologi tanpa bukti pengetahuan, Zk Rollup hanya menjadi lebih baik dan lebih baik, proses verifikasi - memvalidasi blok Rollup akan menyesuaikan dengan cepat dan lebih murah.

Itulah sebabnya Zk Rollup diakui sebagai solusi penskalaan terkemuka untuk Ethereum dalam jangka menengah dan panjang (sebenarnya teknologi Zk Rollup saat ini masih terbatas, kami akan menemukan batasannya) di bagian berikut).

Perbedaan mendasar antara proyek Zk Rollup

Di pasar saat ini, ada banyak proyek yang mengerjakan Zk Rollup, setiap pendekatan yang berbeda memiliki pro dan kontra sendiri, memahami pro dan kontra tersebut akan membantu kami memiliki pandangan yang lebih objektif, mendukung proses menganalisis & mengevaluasi potensi proyek tersebut untuk menemukan peluang investasi yang baik.

Secara pribadi, kami dapat mengklasifikasikan proyek Zk Rollup berdasarkan 2 faktor:

• Bagaimana Data disimpan (on-chain atau off-chain).
• Skema bukti tanpa pengetahuan digunakan.

Memilih untuk menyimpan data on-chain atau off-chain (alias validium) membawa pro dan kontra sendiri, tidak ada pilihan yang optimal dalam semua kasus, ini adalah trade-off antara desentralisasi & kecepatan pemrosesan, biaya operasi, tergantung pada arah pengembangan proyek, mereka akan membuat pilihan yang tepat.

Zk Rollup & Validium

Poin kedua yang perlu diperhatikan adalah bahwa teknologi bukti tanpa pengetahuan yang digunakan, mirip dengan kasus di atas, tidak ada solusi terbaik dalam semua kasus, ini adalah keseimbangan antara ukuran bukti dan asumsi keamanan. Anda dapat melihat hubungan di antara mereka melalui gambar di bawah ini.

Hubungan antara ukuran bukti & asumsi keamanan

Batasan umum proyek Zk Rollup saat ini

Secara pribadi, saya menemukan ada 2 batasan penting dari proyek Zk Rollup, poin pertama adalah batasan umum Rollup, poin lainnya adalah batasan spesifik Zk Rollup.

Yang pertama adalah masalah biaya transaksi , sebagian besar platform Rollup memiliki biaya transaksi yang lebih mahal daripada EVM Sidechains Ethereum. Ini karena setiap blok rollup pada akhirnya harus diposting ke Ethereum, yang mengikat biaya mereka dengan biaya Ethereum (Zk Rollup lebih hemat biaya karena mereka hanya memposting Bukti), sehingga setiap platform Rollup hanya dapat menskalakan Ethereum dengan persentase tertentu.

Selanjutnya, saat ini, zk-Rollup tidak ramah pengembang , skenario aplikasi dan fungsionalitasnya cukup terbatas:

• Aplikasi Zk Rollup saat ini terbatas pada pembayaran dan transaksi sederhana.
• Selain itu, Zk Rollup saat ini tidak mendukung compositing, aplikasi Zk Rollup yang berbeda tidak dapat berinteraksi satu sama lain di Layer 2 yang sama.
• Jika Anda ingin mengembangkan DApps di Zk-Rollup, Anda perlu menulis semua logika kontrak cerdas Anda dalam bahasa khusus, yang tidak hanya rumit oleh sintaks bahasa yang diminta (karena ini adalah bahasa baru), tetapi juga membutuhkan pengetahuan khusus di bidang bukti pengetahuan nol.

Proyek Zk Rollup yang luar biasa di pasar

Berikut adalah beberapa proyek Zk Rollup terkemuka di pasar;

StarkEX & StarkNET oleh Starkware

Starkware (alias Starkware Industries) adalah perusahaan yang didirikan pada Januari 2018 oleh Eli Ben Sasson - Pendiri STARK & ZCash. StarkWare membantu meningkatkan skalabilitas dan privasi blockchain dengan menggunakan teknologi STARK untuk menyebarkan dan memverifikasi bukti pengetahuan nol.

Produk pertama yang diluncurkan StarkWare adalah StarkEX, yang dapat dianggap sebagai L2 Spesifik, aplikasi StarkEX terbatas pada transaksi & pembayaran sederhana seperti: AMM, Perdagangan Spot, Pembayaran, pencetakan & perdagangan NFT. StarkEX memungkinkan Dapps untuk digunakan dalam 3 mode sebagai berikut:

• Mode ZK Rollup: Data disimpan di antara on-chain.
• Mode validium: Data disimpan di luar rantai.
• Mode Volition: Gabungkan keduanya.

StarkNET adalah versi Zk Rollup General & Permissionless dari StarkEX, diprediksi akan diluncurkan secara penuh pada Q1 - Q2/2022. Ini bertindak sebagai L2 Umum lain di atas Ethereum, memungkinkan Dapp apa pun untuk membangunnya tanpa mengorbankan agregasi dan keamanan.

Peta jalan StarkNET

StarkEX & StarkNET memiliki bahasa pemrograman mereka sendiri dan mesin virtual yang dapat dieksekusi, mereka tidak kompatibel dengan Ethereum EVM. Oleh karena itu, pengembang yang ingin membangun Dapps di StarkNET di masa depan, mereka perlu mempelajari bahasa pemrograman baru yaitu Kairo, bahasa kontrak pintar asli untuk StarkEX & StarkNET.

Matter Labs zkSync (v1), zkPorter (v2), ZkEVM (v3) oleh Matter Labs

Berbicara tentang Zk Rollup, selain Starkware, perusahaan lain yang juga tak kalah terkenal adalah Matter Labs. Produk Zk Rollup yang ditawarkan Matter Labs menggunakan PLONK untuk menyebarkan dan memverifikasi bukti pengetahuan nol.

Versi pertama bernama zkSync (v1), versi kedua bernama ZkPorter (v2). Perbedaan utama di antara mereka adalah apakah data disimpan secara on-chain atau off-chain. Pada dasarnya:

• Jika Anda ingin aman, gunakan V1.
• Jika Anda ingin lebih murah (tetapi kurang aman) gunakan V2.

Penggunaan umum kedua versi ini juga hanya melayani pembayaran, tidak beragam seperti StarkEX.

ZkEVM dikembangkan oleh Matter Labs

Pada saat yang sama, Matter Labs juga bekerja untuk meluncurkan versi Zk Rollup (ZkEVM) yang kompatibel dengan EVM, yang diharapkan akan diluncurkan sepenuhnya pada Q1/2021. Bahasa kontrak pintar asli pada versi ini adalah Zinc dan versi ini juga memiliki executable sendiri, yang akan memiliki banyak kompatibilitas dengan EVM.

Loopring

Loopring diluncurkan pada akhir 2019, menggunakan serangkaian algoritma yang disebut SNARK untuk menyebarkan dan memvalidasi bukti pengetahuan nol.

Loopring telah mengalami beberapa peningkatan, yang pertama hanya mendukung perdagangan DEX (orderbook). Kemudian pada versi kedua, Loopring mendukung pembayaran & transfer. Pada versi ketiga, Loopring mendukung AMM Swaps. Versi ke-4 dirilis pada September 2021, mendukung penambangan, transfer, dan perdagangan NFT.

Loopring

Pada saat yang sama, Loopring juga sedang mengerjakan versi Zk Rollup (ZkEVM) yang kompatibel dengan EVM, tetapi versi pertama kemungkinan akan memakan waktu sekitar satu tahun lagi untuk diluncurkan.

Arah pengembangan umum proyek Zk Rollup

Tesis sederhana tentang arah pengembangan Zk Rollup “dalam jangka panjang, apa pun yang dapat dilakukan oleh blockchain L1, Zk Rollup dapat melakukannya secara signifikan lebih baik”.

Mengikuti garis pemikiran ini, saya pikir solusi yang Zk Rollup ingin menjadi pemenang utama harus mempertahankan semua fitur yang menonjol dari L1, dalam hal ini Ethereum seperti:

• Memungkinkan membangun aplikasi sewenang-wenang → platform kontrak pintar tujuan umum.
• Tanpa izin, aman, dan tentu saja biaya lebih rendah daripada rantai dasar (Ethereum).

Jadi saya melihat StarkNET & ZkEVM sebagai pendekatan yang menjanjikan. ZkEVM akan memiliki keuntungan lebih besar ketika masih mempertahankan pengalaman dev yang sama di Ethereum L1.

Untuk zkEVM, ide desain saat ini benar-benar terbagi dalam dua kategori:

• Platform Zk Rollup dengan bahasa dan mesin virtual mereka sendiri seperti StarkNET Starkware, ZkEVM Matter Labs, Polygon ZkEVM Polygon akan mengambil pendekatan berbasis compiler untuk menerjemahkan bahasa asli mereka ke dalam bahasa yang dapat dieksekusi di mesin virtual ZkEVM. Solusi ini memiliki batasan tidak mencapai kompatibilitas 100%.
• Pendekatan lain adalah bahwa ZkEVM sepenuhnya kompatibel tanpa terjemahan apa pun, kode soliditas dapat langsung dieksekusi. Pendekatan ini lebih optimal tetapi juga lebih sulit untuk diterapkan.

ringkasan

Di atas adalah beberapa pemikiran saya tentang pro & kontra dan arahan umum proyek Zk Rollup. Jika Anda memiliki pertanyaan lain terkait topik di atas, silakan beri komentar di bawah agar Coin98 segera mendukung!

Penafian : Semua informasi dalam artikel ini hanya untuk berbagi pengalaman pasar dan tidak boleh dianggap sebagai saran investasi. Investasi kripto adalah bentuk investasi yang berisiko dan hanya boleh dimasuki dengan modal yang bisa hilang.