TL;DR – Tóm tắt
Rollup là giải pháp Layer 2 xử lý transaction off-chain và định kỳ gửi batch dữ liệu lên Ethereum L1. Có hai loại: Optimistic Rollup (Arbitrum, Optimism, Base) dùng fraud proof với window 7 ngày, và ZK Rollup (zkSync, Starknet, Polygon zkEVM) dùng validity proof cho finality nhanh hơn. Cả hai kế thừa bảo mật từ Ethereum L1 miễn là dùng Ethereum DA.
IVấn đề Rollup Giải quyết
Ethereum L1 xử lý ~15–30 TPS với block time 12 giây. Trong giai đoạn tắc nghẽn (DeFi summer 2020, NFT boom 2021), gas fee tăng lên hàng trăm USD cho một transaction đơn giản. Blockchain trilemma nói rõ: không thể đồng thời tối ưu cả ba — bảo mật, phân tán và khả năng mở rộng.
Ý tưởng của rollup: tách execution khỏi settlement — xử lý transaction ở lớp riêng (nhanh, rẻ), chỉ gửi bằng chứng và dữ liệu tóm tắt lên L1 (đảm bảo bảo mật).
IIRollup là gì?
Rollup là giải pháp Layer 2 hoạt động theo nguyên tắc: "roll up" hàng nghìn transaction thành một batch, gửi lên L1 cùng với bằng chứng tính hợp lệ hoặc cơ chế fraud proof.
Ba thành phần cốt lõi của rollup:
- Off-chain execution: transaction được xử lý bởi sequencer bên ngoài L1 — nhanh và rẻ
- On-chain data: dữ liệu đủ để reconstruct state rollup được publish lên L1 (DA)
- On-chain verification: cơ chế đảm bảo state root của rollup phản ánh đúng tất cả transaction đã xử lý
IIICơ chế Hoạt động Cơ bản
- Người dùng gửi transaction đến sequencer của rollup
- Sequencer order và execute transaction off-chain, cập nhật local state
- Định kỳ (mỗi vài phút đến vài giờ), sequencer tổng hợp nhiều transaction thành batch
- Batch data được post lên Ethereum L1 (calldata hoặc blob sau EIP-4844)
- State root mới (merkle root của toàn bộ rollup state) được submitted lên L1 contract
- Cơ chế verification (fraud proof hoặc validity proof) đảm bảo state root đúng
Bất kỳ ai cũng có thể reconstruct toàn bộ state rollup bằng cách replay batch data từ L1 — đây là nguồn gốc của "inherit L1 security".
IVOptimistic Rollup — Tin tưởng trước, Chứng minh sau
Optimistic Rollup giả định mọi batch đều hợp lệ ("optimistically"), chờ 7 ngày để ai đó thách thức nếu phát hiện gian lận.
Luồng hoạt động:
- Sequencer post batch lên L1 với state root mới
- 7-ngày challenge window bắt đầu — bất kỳ ai có thể submit fraud proof nếu phát hiện transaction sai
- Fraud proof: verifier chỉ ra transaction cụ thể nào sai → L1 re-execute để verify → nếu đúng, sequencer bị slash
- Sau 7 ngày không có thách thức, state root được finalized
Ví dụ: Arbitrum One, Optimism, Base, Blast đều là Optimistic Rollup. Thời gian rút tiền về L1 mất 7 ngày (trừ khi dùng fast bridge liquidity provider).
VZK Rollup — Chứng minh ngay, Finality tức thì
ZK Rollup tạo validity proof (ZK proof) cho mỗi batch — chứng minh cryptographic rằng tất cả transaction trong batch hợp lệ mà không cần reveal từng transaction.
Luồng hoạt động:
- Sequencer execute batch off-chain
- Prover tạo ZK proof (SNARK hoặc STARK) chứng minh tính đúng đắn của state transition
- Proof được submit lên L1 contract để verify on-chain
- L1 verify proof trong một transaction — nếu valid, state root được finalized ngay lập tức
Ví dụ: zkSync Era, Starknet, Polygon zkEVM, Scroll, Linea. Rút tiền về L1 chỉ mất ~1–4 giờ (thời gian generate proof + confirm trên L1).
VISo sánh Optimistic vs ZK Rollup
| Tiêu chí | Optimistic Rollup | ZK Rollup |
|---|---|---|
| Verification mechanism | Fraud proof (ex-post) | Validity proof (ex-ante) |
| Finality trên L1 | ~7 ngày | ~1–4 giờ |
| Chi phí sequencer | Thấp (không cần generate proof) | Cao (proof generation) |
| EVM compatibility | Cao (EVM bytecode native) | Thấp đến trung bình (cần zkEVM) |
| Security model | Cần ít nhất 1 honest watcher | Cryptographic — không cần watcher |
| Ví dụ | Arbitrum, Optimism, Base | zkSync, Starknet, Polygon zkEVM |
Xem so sánh chi tiết hơn tại bài Optimistic vs ZK Rollup.
VIISequencer — Điểm Tập trung Hiện tại
Sequencer là thành phần nhận và order transaction trong rollup. Hầu hết rollup lớn hiện tại (2024) có centralized sequencer — do team vận hành.
Rủi ro từ centralized sequencer:
- Censorship: sequencer có thể từ chối include transaction nhất định
- Ordering manipulation: sequencer kiểm soát thứ tự → có thể extract MEV
- Single point of failure: sequencer down → toàn bộ rollup không xử lý transaction
- Trust requirement: người dùng phải tin sequencer không censor hay manipulate
Hướng giải quyết: decentralized sequencer (nhiều sequencer cạnh tranh), based rollup (dùng Ethereum L1 proposer làm sequencer).
VIIIRollup Stack và Ecosystem 2024
Nhiều framework giúp team dễ dàng launch rollup riêng:
| Framework | Loại | Rollup đang dùng |
|---|---|---|
| OP Stack | Optimistic | Optimism, Base, Zora, Mode, Redstone |
| Arbitrum Orbit | Optimistic | Arbitrum One, Nova, nhiều L3 |
| ZK Stack (zkSync) | ZK | zkSync Era, nhiều hyperchain |
| Polygon CDK | ZK | Polygon zkEVM, Immutable zkEVM |
| Starknet stack | ZK (STARK) | Starknet, Madara-based chains |
Trend "app-specific rollup": mỗi ứng dụng lớn có rollup riêng (Base cho Coinbase, Zora cho NFT, Immutable cho gaming) — chi phí DA thấp sau EIP-4844 làm điều này khả thi hơn.
IXGiới hạn và Thách thức của Rollup
- Centralized sequencer: hầu hết rollup vẫn dùng single sequencer — chưa thực sự phi tập trung
- Interoperability: chuyển tài sản giữa các rollup vẫn phức tạp và tốn thời gian (7 ngày với Optimistic)
- Fragmented liquidity: mỗi rollup có liquidity pool riêng — tổng thanh khoản ecosystem bị chia nhỏ
- Proof generation cost: ZK Rollup cần infrastructure tốn kém để generate proof
- L3 complexity: rollup trên rollup tạo thêm tầng phức tạp và potential risk cascade
❓Câu Hỏi Thường Gặp
Sequencer bị hack không thể steal tiền người dùng trực tiếp — sequencer chỉ order transaction, không giữ private key của user. Tuy nhiên sequencer có thể censor hoặc front-run transaction. Trong trường hợp xấu nhất, người dùng dùng force inclusion để bypass sequencer qua L1 contract. Tiền vẫn an toàn nhờ state được verify bởi L1.
7 ngày là challenge window — thời gian bất kỳ ai cũng có thể submit fraud proof nếu phát hiện batch sai. Nếu không ai challenge trong 7 ngày, batch được finalized. Người dùng không muốn đợi có thể dùng bridge liquidity provider (như Across, Hop) nhận tiền ngay và liquidity provider chịu rủi ro 7 ngày — nhận phí bridge.
Base dùng OP Stack (Optimistic Rollup của Optimism), Arbitrum dùng Arbitrum Orbit technology. Cả hai đều là Optimistic Rollup — cùng loại fraud proof, cùng 7-ngày challenge window. Base là L2 của Coinbase, Arbitrum là độc lập. Về mặt kỹ thuật, fraud proof mechanism của Arbitrum (multi-round interactive) tinh vi hơn OP Stack (single-round).
Có — rollup trả phí để post batch data lên L1 (trước EIP-4844 là calldata gas, sau đó là blob gas). Đây là chi phí DA lớn nhất của rollup, được chia đều cho tất cả transaction trong batch. Chi phí này truyền xuống người dùng qua L2 fee. Sau EIP-4844, chi phí này giảm 80–95%, làm giảm phí người dùng đáng kể.
📚Tài liệu tham khảo
- Buterin, V. (2021). An Incomplete Guide to Rollups. vitalik.ca/general/2021/01/05/rollup.html
- Ethereum Foundation (2023). Rollups. ethereum.org/en/developers/docs/scaling/optimistic-rollups
- Arbitrum (2023). Inside Arbitrum Nitro. docs.arbitrum.io
- Optimism (2023). OP Stack documentation. docs.optimism.io
- zkSync Team (2023). ZK Stack Architecture. docs.zksync.io
- L2Beat (2024). Layer 2 Tracker. l2beat.com
- Thibault, L. et al. (2022). Blockchain Scaling Using Rollups: A Comprehensive Survey. IEEE Access.