TÓM TẮT
ZK Rollup batch transaction off-chain và dùng ZK validity proof để đảm bảo tính đúng đắn — không cần challenge period như Optimistic Rollup. Finality nhanh hơn, security mạnh hơn nhưng proving cost cao hơn. zkSync Era, Scroll, Polygon zkEVM là những project dẫn đầu.
IZK Rollup là gì?
ZK Rollup là giải pháp Layer 2 batch nhiều transaction off-chain, tạo ZK validity proof chứng minh tất cả hợp lệ, rồi submit proof cùng state root lên L1. L1 verify proof (milliseconds) thay vì re-execute toàn bộ transaction. Tên "Rollup" vì nhiều transaction được "roll up" vào một proof.
ZK Rollup inherits full security của Ethereum L1 — không có trust assumption về operator honesty. Nếu proof verify được, state transition chắc chắn đúng về mặt toán học.
IICơ chế hoạt động chi tiết
1. Sequencer nhận transaction
User submit transaction đến Sequencer (hoặc mempool của L2). Sequencer sắp xếp và batch transaction. Hiện tại hầu hết ZK Rollup dùng centralized sequencer — đây là điểm tập trung hóa tạm thời.
2. Prover tạo ZK proof
Prover nhận batch, thực thi tất cả transaction, tạo ZK proof (SNARK hoặc STARK) chứng minh execution đúng. Bước này tốn nhất — vài giây đến vài phút tùy proving system và batch size.
3. Submit lên L1
State root mới + ZK proof được submit lên Ethereum smart contract. Contract verify proof. Nếu verify pass, state root được update. Proof verification là on-chain — trustless hoàn toàn.
4. Finality
Khi proof được verify và accept on-chain, transaction đạt finality. Không có challenge period như Optimistic Rollup — finality ngay khi proof verify.
IIIZK Rollup vs Optimistic Rollup
| Tiêu chí | ZK Rollup | Optimistic Rollup |
|---|---|---|
| Validity proof | ZK proof (immediate) | Fraud proof (on dispute) |
| Finality | Nhanh (~phút khi proof xong) | Chậm (7 ngày withdrawal) |
| Trust assumption | Không — proof đảm bảo | Cần ít nhất 1 honest verifier |
| EVM compatibility | Phức tạp hơn (zkEVM) | Đơn giản hơn (EVM native) |
| Proving cost | Cao (compute intensive) | Thấp (chỉ prove khi dispute) |
| Example | zkSync Era, Scroll, Linea | Arbitrum, Optimism, Base |
Xem phân tích đầy đủ tại Optimistic vs ZK Rollup.
IVCác ZK Rollup lớn hiện nay
zkSync Era (Matter Labs)
Dùng SNARK-based proof (Boojum — FRI-based). EVM compatible Type 4 — Solidity support. TVL >$500M (2024). Hệ sinh thái DeFi đang phát triển nhanh.
Scroll
zkEVM Type 2 — hướng đến Ethereum-equivalent. Open source hoàn toàn. Dùng Plonky2 và KZG commitment. Mainnet 2023.
Polygon zkEVM
zkEVM Type 3/2, dùng SNARK + recursive proving. Tích hợp với hệ sinh thái Polygon lớn. Mainnet 2023.
Linea (ConsenSys)
zkEVM từ ConsenSys (đội làm MetaMask, Infura). Tích hợp sẵn với MetaMask. Mainnet 2023.
StarkNet
STARK-based, không cần trusted setup. Dùng Cairo VM — không phải EVM-compatible nhưng có transpiler. Throughput cao nhất trong các ZK Rollup.
VƯu điểm nổi bật
- Finality nhanh: Không có 7-ngày withdrawal period. Funds có thể bridge về L1 ngay khi proof finalized.
- Security tối đa: Inherits Ethereum security hoàn toàn. Proof là mathematical guarantee — không phải economic assumption.
- Không cần fraud proof verifier: Optimistic Rollup cần ít nhất 1 honest party chạy verifier. ZK Rollup không cần — proof tự nói lên tất cả.
- Privacy tiềm năng: ZK proof có thể ẩn transaction details trong khi vẫn chứng minh hợp lệ — nền tảng cho privacy-preserving Rollup trong tương lai.
VIThách thức hiện tại
EVM Compatibility
Ethereum EVM có nhiều precompile và opcode khó prove bằng ZK circuit. Đặc biệt, keccak256 và EC operations rất tốn circuit. Type 1 zkEVM chưa sẵn sàng production.
Proving Time và Cost
Proving time còn vài phút — chấp nhận được nhưng chưa phải real-time. Cost proving đang giảm nhưng vẫn cao hơn Optimistic Rollup. Đây là lý do Optimistic Rollup hiện có TVL lớn hơn ZK Rollup.
Centralized Sequencer
Hầu hết ZK Rollup hiện có centralized sequencer — single point of failure và censorship risk. Decentralized sequencer là roadmap quan trọng. Xem Sequencer là gì.
VIIData Availability của ZK Rollup
ZK Rollup cần đăng transaction data lên L1 để đảm bảo user có thể reconstruct state và exit nếu operator ngừng hoạt động. Sau EIP-4844 (blob transaction), chi phí này giảm 80-90%.
Một số ZK Rollup đang experiment với alternative DA:
- ZK Rollup + EigenDA: Data trên EigenDA, proof trên Ethereum.
- ZK Rollup + Celestia: Sovereign ZK Rollup không cần Ethereum cho DA.
Các giải pháp này giảm cost hơn nữa nhưng thay đổi trust model. Xem EIP-4844 là gì.
VIIIZK Rollup và Tương lai Ethereum
Vitalik đã nhiều lần nói ZK Rollup là "endgame" của Ethereum scaling trong medium term. Lý do:
- Security bằng Ethereum L1 — không có economic assumption
- Khi proving cost giảm đủ, ZK Rollup sẽ cheaper và faster hơn Optimistic Rollup
- Type 1 zkEVM cho phép Ethereum clients verify execution qua proof thay vì re-execute — scalability breakthrough cho L1
Trong Ethereum Roadmap (The Surge), ZK Rollup là backbone scaling strategy. Xem Ethereum Roadmap để hiểu toàn cảnh.
❓Câu Hỏi Thường Gặp
ZK Rollup batch nhiều transaction off-chain, tạo ZK validity proof chứng minh tất cả hợp lệ, submit proof lên Ethereum. L1 verify proof thay vì re-execute — tiết kiệm 10-100x gas. Finality nhanh hơn Optimistic Rollup, security bằng Ethereum L1.
Finality nhanh hơn (không cần 7 ngày withdrawal), security mạnh hơn (mathematical proof, không phải economic assumption), và không cần honest verifier. Nhược điểm: proving cost cao hơn, EVM compatibility phức tạp hơn.
zkSync Era (TVL lớn nhất), Scroll (open source, EVM-equivalent), StarkNet (throughput cao nhất, Cairo VM), Polygon zkEVM, Linea (MetaMask integration). Tất cả mainnet từ 2022-2023.
Optimistic Rollup (Arbitrum, Optimism, Base) ra mainnet sớm hơn 2-3 năm, hệ sinh thái DeFi đã sâu. ZK Rollup phức tạp hơn để build, proving cost cao hơn, EVM compatibility còn hạn chế. Khoảng cách đang thu hẹp.
📚Tài liệu tham khảo
- Ethereum Foundation. ZK-Rollups. ethereum.org/en/developers/docs/scaling/zk-rollups/
- Buterin, V. (2021). An Incomplete Guide to Rollups. vitalik.ca
- zkSync. Documentation. docs.zksync.io
- Scroll. Technical Documentation. docs.scroll.io