TL;DR – Tóm tắt
Optimistic Rollup giả định giao dịch hợp lệ, dùng fraud proof để phát hiện gian lận trong cửa sổ 7 ngày — đơn giản hơn nhưng finality chậm. ZK Rollup tạo validity proof cryptographic cho mỗi batch — finality nhanh hơn nhưng proof generation tốn kém và phức tạp hơn về kỹ thuật. Cả hai đều kế thừa bảo mật từ Ethereum L1.
IRollup là gì
Rollup là kiến trúc Layer 2 thực hiện execution (tính toán giao dịch) bên ngoài Ethereum L1, sau đó đẩy dữ liệu đã nén và bằng chứng tính đúng đắn lên L1 để đảm bảo bảo mật.
Thuật ngữ "rollup" xuất từ hành động "cuộn lại" (roll up) nhiều giao dịch thành một batch để đẩy lên L1. Kết quả: người dùng trả phí thấp hơn vì chi phí calldata trên L1 được chia sẻ giữa nhiều giao dịch trong cùng batch.
Thành phần cơ bản của một rollup
- Sequencer: node nhận giao dịch từ người dùng, sắp xếp thứ tự và thực thi
- Batcher: đóng gói giao dịch thành batch và đăng lên L1
- Smart contract trên L1: lưu trạng thái rollup, xác minh proof, xử lý deposit/withdrawal
- Prover (chỉ ZK): tạo validity proof cho mỗi batch
- Challenger (chỉ Optimistic): giám sát và submit fraud proof khi phát hiện gian lận
IIOptimistic Rollup
Optimistic Rollup dựa trên nguyên lý "giả định lạc quan" (optimistic assumption): mọi giao dịch đều hợp lệ trừ khi có bằng chứng ngược lại. L1 contract chấp nhận state root mới mà không yêu cầu bằng chứng ngay lập tức.
Fraud Proof — Cơ chế bảo mật
Trong cửa sổ challenge (thường 7 ngày), bất kỳ ai cũng có thể submit fraud proof nếu phát hiện sequencer thực thi sai:
- Challenger chỉ ra bước thực thi cụ thể bị cho là sai
- Quy trình bisection chia nhỏ tranh chấp đến instruction đơn lẻ
- L1 contract thực thi lại một instruction đó để phán quyết
- Nếu fraud được xác nhận: state root bị revert, sequencer bị slash
⚡ Ưu điểm Optimistic
- EVM tương thích cao (EVM-equivalent)
- Chi phí sequencer thấp (không cần generate proof)
- Dễ deploy smart contract từ Ethereum
- Đã battle-tested: Arbitrum, Optimism từ 2021
⚠️ Giới hạn Optimistic
- Withdrawal chậm: 7 ngày challenge period
- Phụ thuộc ít nhất 1 honest watcher on-chain
- Fraud proof phức tạp với các opcode đặc biệt
- Liveness: cần watcher liên tục giám sát
Các dự án Optimistic Rollup lớn
| Dự án | Fraud Proof | TVL (2024) | Đặc điểm |
|---|---|---|---|
| Arbitrum One | BOLD (multi-round interactive) | ~$18B | Largest L2 by TVL |
| OP Mainnet | Cannon (single-round) | ~$7B | OP Stack ecosystem |
| Base | OP Stack (Cannon) | ~$10B | Coinbase's L2 |
| Blast | OP Stack | ~$2B | Native yield |
IIIZK Rollup
ZK Rollup tạo validity proof (bằng chứng cryptographic) cho mỗi batch giao dịch. L1 contract xác minh proof này — nếu proof hợp lệ, state root mới được chấp nhận ngay lập tức, không cần cửa sổ challenge.
Validity Proof — ZK-SNARK vs ZK-STARK
Hai công nghệ chính để tạo validity proof cho rollup:
| Thuộc tính | ZK-SNARK | ZK-STARK |
|---|---|---|
| Proof size | Nhỏ (~200 bytes) | Lớn hơn (~50KB+) |
| Trusted setup | Cần (rủi ro) | Không cần |
| Quantum-resistant | Không | Có |
| Verify cost (gas) | Thấp | Cao hơn |
| Prove time | Nhanh hơn | Chậm hơn |
| Dùng bởi | zkSync Era, Scroll, Polygon zkEVM | Starknet (STARK-based) |
⚡ Ưu điểm ZK Rollup
- Finality nhanh: không cần 7 ngày challenge
- Không cần watcher on-chain liên tục
- Bảo mật cryptographic, không phụ thuộc game theory
- Privacy có thể tích hợp nếu muốn
⚠️ Giới hạn ZK Rollup
- Proof generation tốn nhiều tài nguyên
- EVM compatibility khó hơn (ZK-EVM)
- Công nghệ còn mới, ít battle-tested hơn
- Prover centralization là rủi ro thực tế
ZK-EVM — Thách thức tương thích
Ethereum EVM không được thiết kế cho ZK proving. Các loại ZK-EVM có mức độ tương thích khác nhau:
| Loại | Mô tả | Ví dụ |
|---|---|---|
| Type 1 | Fully EVM-equivalent (prove L1 Ethereum blocks) | Taiko |
| Type 2 | EVM-equivalent nhưng không hoàn toàn Ethereum-equivalent | Scroll, Polygon zkEVM |
| Type 3 | Almost EVM-equivalent, vài precompile khác | zkSync Era (early) |
| Type 4 | Compile Solidity sang circuit riêng (không EVM bytecode) | zkSync Era, Starknet |
IVSo Sánh Trực Tiếp
| Tiêu chí | Optimistic Rollup | ZK Rollup |
|---|---|---|
| Cơ chế an toàn | Fraud proof (game theory) | Validity proof (cryptography) |
| Finality trên L1 | 7 ngày (challenge period) | Vài phút–giờ (sau verify) |
| Giả định bảo mật | ≥1 honest watcher | Soundness của ZK proof system |
| EVM tương thích | Cao (EVM-equivalent) | Phức tạp (ZK-EVM) |
| Chi phí sequencer | Thấp | Cao (proof generation) |
| Chi phí verify L1 | Thấp (không verify khi bình thường) | Cao (~300K gas/batch) |
| Prover yêu cầu | Không cần | Hardware chuyên dụng |
| Fast withdrawal | Cần LP bridge (7 ngày nếu không) | Native (sau verify) |
| Maturity | Cao (mainnet từ 2021) | Trung bình (mainnet từ 2023) |
VFinality và Withdrawal
Đây là điểm khác biệt thực tế quan trọng nhất với người dùng cuối:
Optimistic Rollup — 7 ngày withdrawal
Khi rút tiền từ Optimistic Rollup về L1, người dùng phải chờ 7 ngày (challenge period). Lý do: cần đảm bảo không có fraud proof nào được submit trong thời gian này.
Giải pháp thực tế: LP bridge (Across, Hop Protocol, Stargate) cho phép rút nhanh bằng cách bridge provider ứng trước tiền và nhận lại sau khi challenge period kết thúc — đổi lại phí bridge 0.05%–0.3%.
ZK Rollup — Nhanh hơn nhưng không tức thì
ZK Rollup không cần 7 ngày nhưng cũng không hoàn toàn tức thì. Người dùng cần chờ:
- Sequencer xử lý giao dịch (~vài giây–phút)
- Batch được gửi lên L1 (~vài phút)
- Proof được generate và verify trên L1 (~vài phút đến vài giờ tùy prover)
Thực tế zkSync Era: withdrawal thường mất 1–4 giờ. Starknet: 4–12 giờ. Vẫn nhanh hơn nhiều so với 7 ngày.
VIChi Phí và Throughput
Cấu trúc chi phí một rollup transaction
Phí người dùng trả = L2 execution fee + L1 data fee (calldata/blob) + overhead
- L1 data fee: chiếm 80–95% tổng phí trước EIP-4844
- EIP-4844 (blob transactions): giảm L1 data cost ~10–100x từ tháng 3/2024
- Sau blob: phí Arbitrum/OP/Base giảm xuống $0.001–$0.01/tx
So sánh phí thực tế (sau EIP-4844)
| Chain | Loại | Phí swap (~2024) | TPS thực tế |
|---|---|---|---|
| Arbitrum One | Optimistic | $0.01–$0.05 | ~40 TPS |
| OP Mainnet | Optimistic | $0.005–$0.03 | ~25 TPS |
| Base | Optimistic | $0.005–$0.02 | ~30 TPS |
| zkSync Era | ZK | $0.02–$0.10 | ~15 TPS |
| Starknet | ZK | $0.05–$0.20 | ~10 TPS |
| Scroll | ZK | $0.02–$0.08 | ~10 TPS |
ZK Rollup hiện có chi phí cao hơn Optimistic do proof generation overhead. Tuy nhiên, cải tiến hardware prover và proof system mới (Boojum, Cairo v2) đang giảm khoảng cách này.
VIISequencer Centralization — Rủi ro chung
Cả Optimistic và ZK Rollup đều đang vận hành với sequencer tập trung (single sequencer). Đây là rủi ro thực tế quan trọng mà cả hai loại đều chưa giải quyết triệt để:
- Censorship: sequencer có thể từ chối giao dịch của người dùng cụ thể
- MEV extraction: sequencer kiểm soát thứ tự giao dịch trong batch
- Single point of failure: nếu sequencer down, L2 dừng hoạt động
- Forced inclusion: hầu hết L2 có cơ chế escape hatch để bypass sequencer (thường chậm 24h+)
Decentralized sequencer là mục tiêu dài hạn. Espresso Systems, Astria, và các dự án khác đang xây dựng shared sequencer layer. Arbitrum và Optimism đều có roadmap decentralize sequencer nhưng chưa có timeline cụ thể.
VIIIUse Case Phù Hợp
| Use case | Phù hợp với | Lý do |
|---|---|---|
| DeFi trading, AMM | Optimistic (Arbitrum, Base) | EVM-equivalent, ecosystem lớn, phí thấp |
| Bridge cross-chain thường xuyên | ZK Rollup | Finality nhanh, không cần 7 ngày |
| Game/NFT với nhiều giao dịch nhỏ | ZK (Starknet, Immutable X) | ZK proof hiệu quả với pattern giao dịch lặp lại |
| Payments, stablecoin transfers | Cả hai (tùy ưu tiên) | OP nếu ưu tiên ecosystem; ZK nếu ưu tiên finality |
| Compliance / enterprise | ZK Rollup | ZK có thể tích hợp privacy hoặc identity proof |
| Smart contract cũ từ Ethereum | Optimistic | EVM bytecode compatibility cao hơn |
IXKết luận
Optimistic và ZK Rollup là hai hướng tiếp cận kỹ thuật khác nhau để giải quyết cùng một bài toán: mở rộng Ethereum mà không từ bỏ bảo mật L1.
- Optimistic: đơn giản hơn, EVM-compatible cao, ecosystem lớn, nhưng withdrawal chậm
- ZK: finality nhanh hơn, bảo mật cryptographic thuần túy, nhưng phức tạp kỹ thuật và chi phí prove cao hơn
- Cả hai đều có vấn đề sequencer centralization chưa giải quyết
- Xu hướng dài hạn: ZK technology đang cải thiện nhanh — khoảng cách chi phí và compatibility đang thu hẹp
XRoadmap Phát Triển 2025 — Khoảng Cách Đang Thu Hẹp
Năm 2024–2025 là giai đoạn ZK Rollup bắt đầu thu hẹp khoảng cách với Optimistic Rollup về chi phí và EVM compatibility:
Optimistic Rollup 2025
- BOLD (Arbitrum): hệ thống fraud proof mới giảm thời gian giải quyết tranh chấp từ 7 ngày xuống ~6 giờ trong điều kiện tốt
- Superchain (OP Stack): Base, OP Mainnet, Zora và hàng chục chain chia sẻ cùng sequencer infrastructure — giảm chi phí vận hành
- Fault proof permissionless: OP Mainnet đã bật permissionless fault proof tháng 6/2024 — ai cũng có thể challenge state root
ZK Rollup 2025
- Boojum (zkSync): prover mới dùng GPU thay CPU, giảm proving cost ~10x
- Type 2 ZK-EVM (Scroll, Polygon zkEVM): đạt EVM bytecode equivalent — smart contract Ethereum deploy trực tiếp không cần sửa
- Proving time: từ 30–60 phút (2022) xuống còn 2–5 phút (2024) với circuit optimization
- Based rollup: hướng mới dùng Ethereum L1 validator làm sequencer — loại bỏ centralized sequencer
XIChecklist Chọn Rollup — Cho Developer và Protocol
| Câu hỏi | Optimistic | ZK Rollup |
|---|---|---|
| Cần deploy Solidity không sửa code? | ✅ Tốt nhất | ⚠ Cần test compat |
| Cần withdrawal nhanh về L1? | ❌ 7 ngày (hoặc bridge) | ✅ Vài giờ |
| Cần ecosystem DeFi lớn sẵn? | ✅ Arbitrum, Base lớn nhất | ⚠ Đang phát triển |
| Cần phí thấp nhất hiện tại? | ✅ Thấp hơn ZK | ⚠ Cao hơn do proving |
| Cần bảo mật cryptographic thuần túy? | ❌ Game theory | ✅ Cryptographic proof |
| Dự án game / nhiều micro-tx lặp lại? | ⚠ OK | ✅ ZK hiệu quả hơn |
| Cần privacy tích hợp? | ❌ Không hỗ trợ native | ✅ Có thể tích hợp |
Quyết định Optimistic vs ZK không phải lựa chọn kỹ thuật thuần túy — mà còn phụ thuộc vào tốc độ go-to-market, đội ngũ kỹ thuật và liquidity hiện có trong ecosystem mục tiêu.
❓Câu Hỏi Thường Gặp
Đây là fraud proof window — thời gian bất kỳ ai cũng có thể challenge state root sai. Nếu không có challenge sau 7 ngày, state được finalize. Có thể bypass bằng liquidity bridge (Hop, Across) với chi phí thêm ~0.1-0.3%.
Finality nhanh hơn (~vài giờ vs 7 ngày), bảo mật cryptographic thuần túy (không phụ thuộc game theory), và có thể tích hợp privacy. Nhược điểm: proving cost cao hơn và EVM compatibility phức tạp hơn để implement.
Tùy use case: Arbitrum có TVL lớn hơn, ecosystem DeFi trưởng thành hơn, phí thường thấp hơn — phù hợp DeFi. zkSync (ZK Rollup) có withdrawal nhanh hơn và security model mạnh hơn — phù hợp dự án cần ZK proof hoặc privacy.
📚Tài liệu tham khảo
- Buterin, V. (2021). An Incomplete Guide to Rollups. vitalik.ca
- Buterin, V. (2022). The different types of ZK-EVMs. vitalik.ca
- Thibault, L. T. et al. (2022). Blockchain Scaling Using Rollups. IEEE Access.
- Arbitrum Foundation (2023). How Arbitrum works. docs.arbitrum.io
- Optimism (2023). OP Stack documentation. stack.optimism.io
- zkSync (2023). zkSync Era documentation. docs.zksync.io
- Ethereum Foundation (2024). EIP-4844: Shard Blob Transactions. eips.ethereum.org