Rollup ZK

Ringkasan

Rollup ZK adalah rollup yang menggunakan bukti zero-knowledge untuk memvalidasi transaksi off-chain, menawarkan finalitas cepat dan jaminan keamanan kuat. Alih-alih mengandalkan periode tantangan seperti rollup optimis, rollup ZK menghasilkan bukti validitas kriptografi bahwa setiap batch transaksi dieksekusi dengan benar, dan rantai utama memverifikasi bukti itu. Proyek seperti zkSync dan Starknet adalah rollup ZK terkemuka.

Cara Kerja

Sequencer mengumpulkan transaksi, mengeksekusinya, dan menghasilkan bukti ringkas, biasanya STARK atau SNARK, yang menegaskan bahwa transisi state yang dihasilkan benar. Bukti, bersama data state terkompresi, diposting ke Ethereum, di mana kontrak verifikator memeriksanya. Karena bukti secara matematis mensertifikasi kebenaran, dana tidak dapat dicuri oleh operator tidak jujur, dan penarikan tersedia setelah bukti diselesaikan, tanpa jendela bukti penipuan panjang.

Mengapa Penting

Rollup ZK menggabungkan throughput eksekusi off-chain dengan penyelesaian segera dan meminimalkan kepercayaan. Namun, sistem buktinya mahal secara komputasi untuk dihasilkan, yang menaikkan biaya operator dan, secara historis, biaya per pengguna. Saat teknologi pembuktian membaik, rollup ZK semakin dilihat sebagai endgame untuk penskalaan sambil menjaga keamanan.

Konsep Terkait

Rollup ZK adalah pasangan bukti validitas dari Rollup Optimis, dan mengandalkan Bukti Zero-Knowledge sebagai inti kriptografinya. Mereka masuk dalam keluarga Rollup penskalaan Layer 2 dan berinteraksi dengan Bridge untuk pergerakan aset.