zk-rollup adalah sistem penskalaan yang mengeksekusi transaksi di luar blockchain dasar, mengelompokkan hasil, dan mengirim bukti validitas kriptografis untuk diverifikasi pada lapisan dasar. Verifikator memeriksa apakah transisi status yang diusulkan mengikuti aturan rollup yang dikodekan. Membagi biaya publikasi dan verifikasi dalam satu batch dapat menurunkan biaya per transaksi.
Bukti dan data memiliki tugas berbeda
Pembukti menghasilkan bukti yang menghubungkan status sebelumnya, operasi yang diproses, dan usulan status baru. Kontrak penyelesaian memverifikasinya sebelum menerima pembaruan. Pengguna dapat menerima konfirmasi operator lebih awal, tetapi itu berbeda dari penyelesaian final di rantai dasar.
Rollup juga memublikasikan cukup data pada lapisan dasar untuk merekonstruksi statusnya, misalnya melalui calldata atau blob Ethereum. Validium menyimpan data tersebut di luar lapisan itu, sehingga membawa asumsi ketersediaan berbeda. Bukti validitas saja tidak menyediakan data status yang hilang.
Hal yang tidak dijamin namanya
«ZK» tidak berarti semua detail transaksi bersifat privat. Banyak sistem terutama memakai teknologi pembuktian untuk memverifikasi komputasi.
Model ini tidak memiliki periode sanggahan optimistis bawaan, tetapi pembuatan bukti, publikasi, dan penyelesaian masih dapat menunda penarikan. Sirkuit pembuktian yang salah, kontrak rentan, kendali pembaruan, dan gangguan operator tetap menjadi risiko. Kompatibilitas aplikasi dan biaya transaksi juga berbeda menurut implementasi.