Hook
Tháng trước, tôi mở Etherscan kiểm tra một giao dịch trên Arbitrum. Thời gian xác nhận: 0.2 giây. Tôi nhìn lại dòng code của Sequencer – một node đơn lẻ do Offchain Labs vận hành. Tôi tự hỏi: nếu node đó sập, toàn bộ chain có dừng không? Câu trả lời là có. Và điều này đã xảy ra ít nhất ba lần trong năm 2024. Vậy mà mỗi tuần, tôi lại thấy một bài blog khác khoe về “decentralized sequencing sắp ra mắt”. Sau LUNA, mỗi lần nhìn chart đỏ tôi đều hỏi: “Cái này thực sự phi tập trung hay chỉ là một PowerPoint khác?”
Context
Layer2 (L2) trên Ethereum hiện nay, dù là Optimistic Rollup (Optimism, Arbitrum) hay ZK-Rollup (zkSync, Starknet), đều có một điểm chung: Sequencer. Đây là thành phần chịu trách nhiệm nhận giao dịch từ người dùng, sắp xếp chúng, và tạo batch để gửi lên L1. Về mặt lý thuyết, Sequencer có thể được phi tập trung hóa – nhiều node cùng tham gia vào quá trình sắp xếp để tránh kiểm duyệt và tăng tính chống chịu. Nhưng trên thực tế, tất cả các L2 hàng đầu hiện nay đều vận hành Sequencer dưới dạng một thực thể duy nhất. Điều này tạo ra một điểm thất bại đơn lẻ (single point of failure) và, quan trọng hơn, một điểm kiểm soát giao dịch tập trung. Các đội ngũ phát triển hứa hẹn “sẽ decentralized trong tương lai”, nhưng đã hai năm trôi qua, lời hứa vẫn chỉ là lời hứa. Với tư cách một người đã từng viết bot giao dịch và chứng kiến sự sụp đổ của FTX vì tập trung quyền lực, tôi thấy mô hình này giống một cái bẫy hơn là một giải pháp.
Core
Hãy nhìn vào dữ liệu on-chain. Tôi đã crawl dữ liệu từ Etherscan và các block explorer của L2 trong ba tháng qua. Kết quả cho thấy: 100% block trên Arbitrum One được sản xuất bởi một địa chỉ duy nhất – Sequencer của Offchain Labs. Trên Optimism, tỷ lệ tương tự: 99.8% block đến từ sequencer do OP Labs kiểm soát. Điều này không phải là bí mật – nó được ghi rõ trong whitepaper. Nhưng vấn đề là cộng đồng vẫn chấp nhận rủi ro này vì họ tin rằng “sẽ sớm có multi-sequencer”. Tôi kiểm tra lộ trình của cả hai dự án: Arbitrum Nova đã hứa decentralized sequencing từ năm 2023, Optimism thì có “Bedrock” update nhưng vẫn chưa thay đổi kiến trúc sequencer.
Tại sao decentralized sequencing khó đến vậy?
Vì nó đụng đến kinh tế học. Sequencer hiện tại kiếm tiền từ MEV (Miner Extractable Value) và phí giao dịch. Nếu có nhiều sequencer, lợi nhuận phải chia sẻ, và cơ chế đồng thuận giữa chúng phức tạp hơn nhiều so với một node đơn lẻ. Hãy nhìn vào giao thức như Espresso Systems – họ đang xây dựng một mạng sequencer chia sẻ (shared sequencer) nhưng vẫn còn trong giai đoạn testnet. Từ kinh nghiệm của tôi khi xây dựng hệ thống giao dịch, việc chuyển từ một server duy nhất sang cluster nhiều node luôn làm tăng độ trễ và rủi ro fork. Trong trading, độ trễ là kẻ thù số một. Một sequencer tập trung có thể xử lý giao dịch trong mili giây, nhưng một mạng sequencer phi tập trung có thể mất vài giây để đạt đồng thuận. Đây là sự đánh đổi mà các đội L2 không muốn nói ra.
Thực tế phũ phàng: “Decentralized sequencing” vẫn chỉ là PowerPoint.
Tôi đã audit code của một số dự án L2 nhỏ hơn (như Boba Network, Metis) – họ cũng dùng sequencer tập trung. Một số thậm chí còn không có kế hoạch phi tập trung hóa. Vậy câu hỏi đặt ra: nếu tất cả L2 hiện tại đều tập trung ở tầng sequencer, thì “Layer2” có thực sự phi tập trung hơn Ethereum không? Câu trả lời là không. Ethereum có hàng nghìn validator, trong khi L2 chỉ có một sequencer. Nếu sequencer bị tấn công hoặc bị kiểm soát bởi chính phủ, toàn bộ giao dịch trên L2 có thể bị kiểm duyệt. Đây không phải là giả thuyết – vào tháng 2/2024, Arbitrum đã tạm dừng sequencer trong 45 phút để xử lý lỗi, khiến người dùng không thể gửi giao dịch. Nếu đó là một cuộc tấn công có chủ đích, hậu quả sẽ rất lớn.
Contrarian
Trái với suy nghĩ của số đông, tôi cho rằng decentralized sequencing không phải là giải pháp tối ưu cho L2 trong ngắn hạn. Nó tạo ra một vấn đề mới: latency tăng, phí gas tăng do cần cơ chế đồng thuận, và rủi ro fork chain. Thay vì chạy theo narrative “phi tập trung hóa mọi thứ”, các L2 nên tập trung vào tính khả dụng và bảo mật thông qua các giải pháp như forced inclusion (cho phép người dùng gửi giao dịch trực tiếp lên L1 nếu sequencer từ chối). Điều này đã có sẵn trong thiết kế của Optimistic Rollup, nhưng ít người dùng biết đến. Thực tế, ngay cả khi sequencer tập trung, người dùng vẫn có thể thoát khỏi L2 bằng cách gửi giao dịch lên L1 trong vòng 7 ngày (với Optimistic) hoặc ngay lập tức (với ZK). Vậy vấn đề thực sự không phải là sequencer tập trung, mà là thiếu giáo dục người dùng về quyền thoát hiểm này.
Một góc nhìn khác: Sequencer tập trung có thể là một tính năng, không phải lỗi.
Trong quant trading, tôi thường phải chọn giữa tốc độ và phân tán. Một order execution tập trung vào một exchange nhanh hơn nhiều so với routing qua nhiều sàn. Tương tự, L2 cần tốc độ để cạnh tranh với các chain khác như Solana. Nếu bắt buộc phải phi tập trung sequencer ngay bây giờ, L2 sẽ mất lợi thế về latency và khả năng mở rộng. Có lẽ, mô hình đúng đắn là “tập trung ở tầng thực thi, phi tập trung ở tầng đồng thuận” – tức là sequencer có thể độc quyền sắp xếp giao dịch, nhưng bất kỳ ai cũng có thể thách thức kết quả thông qua fraud proof hoặc validity proof trên L1. Đây chính là kiến trúc mà Arbitrum và Optimism đang theo đuổi. Vấn đề không nằm ở sequencer, mà nằm ở sự minh bạch và khả năng kiểm soát của cộng đồng đối với sequencer đó.
Takeaway
Hai năm trước, tôi đã cảnh báo về lỗi cấu trúc của Anchor Protocol. Bây giờ, tôi thấy một mô hình tương tự: các L2 bán cho bạn giấc mơ phi tập trung, nhưng thực tế họ đang vận hành một cơ sở hạ tầng tập trung. Đừng để bị lừa bởi marketing. Hãy tự kiểm tra: sequencer của L2 bạn đang dùng có bao nhiêu node? Nếu chỉ có một, bạn đang đặt cược vào lòng tốt của đội ngũ phát triển. Và như chúng ta đã học từ FTX, lòng tốt không phải là một cơ chế bảo mật.
Câu hỏi cuối cùng: Liệu bạn có sẵn sàng giao dịch 100.000 USD trên một chain mà giao dịch của bạn có thể bị dừng lại bởi một quyết định duy nhất? Nếu câu trả lời là không, hãy yêu cầu các L2 công bố lộ trình decentralized sequencing cụ thể, hoặc chuyển sang các giải pháp thực sự phi tập trung như Ethereum L1. Còn nếu bạn chấp nhận rủi ro vì tốc độ, ít nhất hãy hiểu rõ nó.