Zk-rollup và optimistic rollup

Mục lục

1. Điểm chung: cả hai đều đăng dữ liệu lên Ethereum
2. Cơ chế khác nhau thế nào?
3. Rút tiền và tính cuối cùng: khác biệt người dùng thấy rõ nhất
4. Bảng so sánh nhiều tiêu chí
5. Tương thích EVM: ZK-rollup đã theo kịp đến đâu?
6. Nhãn “ZK” hay “optimistic” chưa quyết định độ an toàn
7. Sequencer và dữ liệu: phần cả hai họ cùng gặp
8. Khi nào chọn họ nào?
9. Ưu và nhược điểm tóm tắt
10. Hai họ có đang tiến lại gần nhau không?
11. Câu hỏi thường gặp

Bài này dành cho người đã nghe khái niệm Layer 2 và muốn biết hai họ rollup khác nhau ở đâu để đánh giá một dự án hoặc một mạng cụ thể. Nếu bạn chưa nắm nền tảng, hãy đọc trước phần rollup là gì và bài về Layer 1 và Layer 2. Bài này không đưa ra khuyến nghị đầu tư hay gợi ý mạng nào để gửi tiền.

Điểm chung: cả hai đều đăng dữ liệu lên Ethereum

Cả hai họ chạy giao dịch ở ngoài L1, nén thành lô (batch) rồi đăng lên Ethereum hai thứ: dữ liệu giao dịch và gốc trạng thái mới (state root). Nhờ có dữ liệu trên L1, ai cũng có thể dựng lại trạng thái Layer 2 và thoát tiền ra khi bộ vận hành biến mất. Một bài nghiên cứu trên arXiv (2025) cũng nhấn mạnh rằng zk-rollup vẫn phải công bố dữ liệu giao dịch đã thực thi lên L1 để bảo đảm khả năng truy cập dữ liệu.

Điểm khác nằm ở một câu hỏi: làm sao hợp đồng trên L1 tin rằng gốc trạng thái mới là kết quả đúng của các giao dịch trong lô? Hai họ trả lời bằng hai cơ chế khác nhau, và mọi khác biệt về phí, thời gian rút, độ phức tạp đều xuất phát từ đó.

Cơ chế khác nhau thế nào?

Optimistic rollup: tin trước, kiểm sau

Sequencer gom giao dịch và đăng lô lên L1. Hợp đồng trên L1 chưa kiểm tra nội dung mà chấp nhận lô ở trạng thái chờ. Optimistic rollup giả định giao dịch hợp lệ và dựa vào cửa sổ bằng chứng gian lận khoảng 7 ngày để bắt lỗi. Trong thời gian đó, bất kỳ bên nào chạy nút xác thực đều có thể tính lại lô. Nếu kết quả khác, họ nộp bằng chứng gian lận. Lô sai bị loại, còn bên đăng sai thường bị phạt tiền đặt cọc tuỳ thiết kế từng mạng.

Có hai cách làm bằng chứng gian lận. Cách tương tác chia nhỏ tranh chấp qua nhiều vòng cho đến khi chỉ còn một bước tính toán để L1 chạy lại. Cách còn lại chạy lại toàn bộ giao dịch tranh chấp trên L1. Arbitrum dùng cơ chế tương tác (nâng cấp BOLD cho việc xác thực), còn OP Stack gọi hệ thống của mình là fault proof.

ZK-rollup: chứng minh trước, chấp nhận sau

Bộ chứng minh (prover) thực thi lô, rồi sinh một bằng chứng ngắn gọn bằng chứng minh không tiết lộ tri thức, thực chất là chứng minh tính toán đúng chứ không nhất thiết che giấu dữ liệu. ZK-rollup đính kèm validity proof cho từng lô, nên L1 xác minh được tính đúng đắn ngay, không cần giai đoạn chờ. Hợp đồng xác minh trên L1 chỉ chạy một phép kiểm tra cố định, bất kể lô có hàng nghìn giao dịch.

Hai họ bằng chứng phổ biến là SNARK và STARK. SNARK cho proof rất nhỏ nhưng nhiều hệ cần thiết lập ban đầu đáng tin (trusted setup) hoặc dựa trên đường cong elliptic. STARK không cần trusted setup và dựa trên hàm băm, đổi lại proof lớn hơn. Starknet dùng STARK, còn zkSync Era và Scroll dùng họ SNARK, theo phân loại trong các bảng so sánh năm 2026.

Rút tiền và tính cuối cùng: khác biệt người dùng thấy rõ nhất

Người dùng thường không để ý cơ chế cho đến khi rút tài sản về Ethereum. Với cầu gốc (canonical bridge) của optimistic rollup, yêu cầu rút chỉ hoàn tất sau khi cửa sổ thử thách đóng mà không có bằng chứng gian lận nào thành công. Với ZK-rollup, thời gian chờ là thời gian tạo proof, đăng lên L1 và được xác minh. Một số tổng hợp năm 2026 cho rằng rút về L1 có thể hoàn tất trong dưới một giờ sau khi proof được đăng, nhưng con số này tuỳ từng mạng và từng thời điểm, nên hãy xem tài liệu của chính mạng đó.

Trên thực tế, người dùng optimistic rollup thường né cửa sổ chờ bằng cầu nhanh của bên thứ ba. Các bên này ứng tiền trước, tính phí và gánh rủi ro thanh khoản, đồng thời đưa thêm một lớp hợp đồng thông minh vào đường đi của tiền. Phần rủi ro này nằm ở chủ đề cầu nối chuỗi chéo.

Lưu ý quan trọng: tính cuối cùng trên L1 khác với trải nghiệm trong mạng. Trong cả hai họ, giao dịch được sequencer xác nhận mềm trong vài giây. Chỉ khi cần chuyển tài sản ngược về L1 hoặc cho hệ thống khác dựa vào trạng thái L1 thì khoảng chờ mới quan trọng.

Bảng so sánh nhiều tiêu chí

Tiêu chí	Optimistic rollup	ZK-rollup
Cách L1 tin kết quả	Giả định đúng, chấp nhận tố cáo trong cửa sổ thử thách	Xác minh validity proof cho mỗi lô
Rút về L1 bằng cầu gốc	Chờ khoảng 7 ngày	Chờ tạo và xác minh proof
Chi phí tính toán off-chain	Thấp, chỉ cần nút thực thi và nút xác thực	Cao hơn do phải sinh proof, cần phần cứng mạnh
Chi phí đăng lên L1	Chủ yếu là dữ liệu giao dịch	Dữ liệu cộng chi phí xác minh proof, được chia cho nhiều giao dịch trong lô
Giả định an ninh	Có ít nhất một bên trung thực theo dõi và kịp tố cáo	Tính đúng của mạch chứng minh và mã xác minh
Tương thích EVM	Gần như nguyên bản, ví và công cụ dev dùng được	Tiến bộ nhanh nhưng mức tương thích khác nhau giữa các mạng
Độ phức tạp xây dựng	Thấp hơn, ra mắt nhanh hơn	Cao hơn, cần chuyên môn mật mã
Rủi ro đặc thù	Bằng chứng gian lận chưa chạy hoặc bị hạn chế quyền	Lỗi mạch hoặc prover tập trung

Về phí, đừng kết luận chung. Một so sánh năm 2026 cho thấy phí trung vị cho giao dịch chuyển stablecoin ở các mạng lớn của hai họ nằm cùng khoảng vài xu Mỹ, nên chênh lệch giữa hai họ nhỏ hơn chênh lệch giữa các mạng cụ thể. Sau nâng cấp EIP-4844 của Ethereum (dữ liệu dạng blob), chi phí đăng dữ liệu lên L1 giảm mạnh cho cả hai. Muốn hiểu thành phần phí, đọc thêm bài về phí gas.

Tương thích EVM: ZK-rollup đã theo kịp đến đâu?

Chạy mã EVM trong mạch chứng minh khó vì EVM không được thiết kế để dễ chứng minh: nó dùng nhiều hàm băm Keccak, kiểu dữ liệu 256 bit và các opcode phức tạp. Vì vậy mỗi zkEVM chọn một điểm cân bằng khác nhau. Có mạng cố bám sát bytecode Ethereum để ví và công cụ chạy y nguyên. Có mạng dịch Solidity sang bộ lệnh riêng để chứng minh hiệu quả hơn, nhưng đổi lại một số công cụ gỡ lỗi hoặc kiểm toán phải điều chỉnh. Starknet đi xa hơn khi dùng ngôn ngữ Cairo riêng, phù hợp với việc chứng minh nhưng đòi hỏi đội kỹ thuật học thêm.

Optimistic rollup có lợi thế vì chỉ cần chạy lại đúng EVM khi có tranh chấp, nên hợp đồng viết bằng Solidity thường triển khai không phải sửa. Hãy kiểm tra thực tế: opcode nào khác, precompile nào thiếu, và chương trình kiểm toán hiện có có phủ mạng đó không.

Nhãn “ZK” hay “optimistic” chưa quyết định độ an toàn

Đây là điểm các bài so sánh cơ chế hay bỏ sót. Bằng chứng chỉ bảo vệ bạn nếu nó thật sự chạy và không bị vô hiệu bởi quyền quản trị. Tổ chức L2BEAT phân loại rollup theo giai đoạn (Stage 0, 1, 2). Theo các tổng hợp năm 2026, Stage 1 nghĩa là fraud proof hoặc validity proof đã chạy thật và việc nâng cấp phải qua hội đồng bảo mật có ràng buộc. Stage 0 nghĩa là người dùng phải tin vào đội vận hành nhiều hơn.

Khoảng cách này có thật ở cả hai họ. Theo The Block (bản triển vọng Layer 2 năm 2026), Arbitrum, OP Mainnet và Base có hệ thống fraud proof hoạt động, không cần xin phép, còn nhiều optimistic rollup nhỏ hơn vẫn chưa có fraud proof. Với ZK-rollup, việc sinh proof đòi hỏi kỹ thuật cao nên đa số mạng dựa vào một prover duy nhất hoặc một nhóm nhỏ do đội vận hành kiểm soát. Nghĩa là một mạng gắn mác ZK vẫn có thể có khoá nâng cấp tập trung.

Ba câu hỏi nên đặt cho bất kỳ rollup nào, bất kể họ nào:

• Ai giữ khoá nâng cấp hợp đồng, và có độ trễ (time lock) cho người dùng kịp rút tiền trước khi nâng cấp có hiệu lực không?
• Nếu sequencer ngừng hoặc kiểm duyệt giao dịch, bạn có đường gửi giao dịch trực tiếp qua hộp thư L1 (forced inclusion) để thoát tiền không?
• Ai được phép nộp bằng chứng, và hệ thống đã chạy trên mạng chính hay mới ở môi trường thử, xem thêm khác biệt tại mainnet và testnet?

Sequencer và dữ liệu: phần cả hai họ cùng gặp

Ở hầu hết rollup lớn, sequencer vẫn do một đơn vị vận hành. Họ quyết định thứ tự giao dịch, nên có thể trì hoãn hoặc sắp xếp theo hướng có lợi cho mình dù bằng chứng vẫn đúng. Bằng chứng, dù fraud proof hay validity proof, chỉ nói rằng trạng thái mới là kết quả hợp lệ của dãy giao dịch đã chọn, không nói dãy đó công bằng. Đây cũng là lý do bài toán phân quyền sequencer tách khỏi cuộc tranh luận ZK và optimistic.

Về dữ liệu, cả hai đều phụ thuộc việc dữ liệu giao dịch được đăng lên Ethereum. Mạng chọn lưu dữ liệu ngoài L1 (thường gọi là validium hoặc optimium) đổi lấy phí thấp hơn nhưng chấp nhận thêm giả định tin cậy vào uỷ ban dữ liệu. Khi đọc thông số một mạng, hãy phân biệt rollup đúng nghĩa với mô hình lưu dữ liệu ngoài chuỗi.

Khi nào chọn họ nào?

Hình trên đặt trục “rút nhanh” ở cột. Cột trái là ít quan trọng, cột phải là rất quan trọng (nhãn cột phải bị gộp theo thiết kế ô, bạn đọc theo ô bên phải). Các tình huống minh hoạ dưới đây là ví dụ giả định.

• Ví dụ minh hoạ 1: một đội phát triển có sẵn bộ hợp đồng Solidity đã kiểm toán, người dùng chủ yếu nạp tiền một lần rồi giao dịch lâu dài. Khoảng chờ rút 7 ngày ít ảnh hưởng, còn chi phí kiểm toán lại rất đáng kể. Optimistic rollup là điểm xuất phát tự nhiên.
• Ví dụ minh hoạ 2: một ứng dụng thanh toán cần chuyển số dư về L1 hằng ngày để đối soát, hoặc một hệ thống khác cần đọc trạng thái L1 đã chốt nhanh. ZK-rollup làm khoảng chờ ngắn hơn đáng kể, dù đội phải chấp nhận công cụ khác biệt hơn.
• Ví dụ minh hoạ 3: một ứng dụng cần chứng minh một điều kiện mà không lộ dữ liệu, như tư cách hợp lệ của người dùng. Lưu ý rằng nhiều zk-rollup chỉ dùng ZK để nén bằng chứng tính toán, không mặc định che giao dịch. Quyền riêng tư cần mạng hoặc giao thức được thiết kế riêng cho mục đích đó. Với ứng dụng định danh, bạn có thể đọc thêm định danh phi tập trung.

Ưu và nhược điểm tóm tắt

Optimistic rollup

Ưu điểm: công nghệ chín hơn, tương thích EVM gần nguyên bản, hệ sinh thái ứng dụng và thanh khoản lớn, chi phí vận hành thấp. Nhược điểm: khoảng chờ rút của cầu gốc, phụ thuộc vào việc có người thật sự theo dõi và tố cáo, và rủi ro rõ nhất ở các mạng chưa bật bằng chứng gian lận.

ZK-rollup

Ưu điểm: tính cuối cùng nhanh hơn trên L1, không cần giả định có bên giám sát kịp thời, phù hợp hướng nén dữ liệu và mở rộng ứng dụng đặc thù. Nhược điểm: chi phí và độ phức tạp của việc sinh proof, rủi ro lỗi trong mạch hoặc trình xác minh, prover thường tập trung, và công cụ phát triển chưa đồng đều.

Hai họ có đang tiến lại gần nhau không?

Có. Phía optimistic, một số dự án thử nghiệm dùng bằng chứng ZK để thay cho fraud proof hoặc để rút ngắn thời gian tranh chấp. Phía ZK, chi phí chứng minh giảm dần nhờ thuật toán và phần cứng chuyên dụng. Vì tình hình thay đổi nhanh, đừng coi so sánh trong bài là kết luận vĩnh viễn: các mạng có thể nâng Stage, đổi cơ chế hoặc đổi quyền nâng cấp chỉ trong vài tháng.

Ngoài hai họ này, Ethereum còn nhiều hướng mở rộng khác như chia nhỏ dữ liệu, bạn có thể so với sharding. Còn nếu muốn biết vì sao mở rộng quy mô luôn phải đánh đổi, hãy xem bài toán tam giác blockchain.

Câu hỏi thường gặp

ZK-rollup có luôn an toàn hơn optimistic rollup không?

Không. Về lý thuyết, validity proof loại bỏ giả định có người tố cáo kịp lúc. Nhưng an toàn thực tế còn phụ thuộc mạch chứng minh có lỗi hay không, ai giữ khoá nâng cấp và sequencer có thể làm gì. Một optimistic rollup có fraud proof hoạt động và độ trễ nâng cấp tốt có thể an toàn hơn một ZK-rollup mới còn nhiều quyền quản trị tập trung.

Vì sao optimistic rollup phải chờ khoảng 7 ngày?

Cửa sổ này cho người xác thực thời gian phát hiện lô sai, soạn bằng chứng và nộp lên L1, kể cả khi có tắc nghẽn hoặc bị cản trở. Con số 7 ngày là mức phổ biến ở các mạng lớn, nhưng mỗi mạng có thể cấu hình khác nhau.

Cầu nhanh của bên thứ ba có xoá được khoảng chờ không?

Nó chỉ chuyển khoảng chờ sang cho nhà cung cấp thanh khoản. Bạn nhận tiền sớm nhưng trả phí và thêm rủi ro hợp đồng cầu, thanh khoản cạn hoặc lỗi bảo mật của cầu. Chi tiết xem thêm ở bài về cầu nối chuỗi chéo ở trên.

ZK-rollup có che giấu giao dịch không?

Thông thường không. Phần “zero-knowledge” trong nhiều zk-rollup chủ yếu dùng để chứng minh tính toán đúng gọn nhẹ. Dữ liệu giao dịch vẫn được đăng công khai lên L1. Quyền riêng tư là tính năng riêng mà chỉ một số mạng và giao thức hỗ trợ.

Doanh nghiệp cần phát triển ứng dụng nên bắt đầu từ họ nào?

Phụ thuộc vào ba thứ có thể kiểm tra: hợp đồng hiện có chạy được trên mạng đó mà không sửa hay không, đường rút tiền bằng cầu gốc mất bao lâu so với nhu cầu đối soát, và trang L2BEAT của mạng ghi quyền nâng cấp ra sao. Chạy thử trên mạng thử nghiệm trước khi đưa tài sản thật vào.

Bài này có phải lời khuyên đầu tư vào mạng Layer 2 nào không?

Không. Nội dung chỉ giải thích kỹ thuật và rủi ro. Các số liệu về giá trị khoá, phí hay xếp hạng thay đổi liên tục, nên hãy tự đối chiếu nguồn gốc trước khi dùng cho bất kỳ quyết định tài chính nào. Rollup cũng là chủ đề có rủi ro lỗi hợp đồng thông minh, bạn có thể tìm hiểu nền tảng ở bài hợp đồng thông minh.