Đêm đó, bot chạy. Tôi ngồi trước terminal, theo dõi mempool của một L2. Đột nhiên, một transaction bất thường: gas price zero, nhưng vẫn được sequencer chấp nhận ngay lập tức. Trong khi hàng trăm giao dịch khác với phí cao đang xếp hàng chờ đợi. Điều gì đã xảy ra? Sequencer – cái được quảng cáo là "phi tập trung" – đã phơi bày bộ mặt thật: một điểm kiểm soát duy nhất, nơi một vài dòng code có thể quyết định ai được giao dịch, ai bị bỏ đói. Bot chạy đêm, tôi chạy theo logic.
Context – Cơ chế sequencer và ảo tưởng phi tập trung
Layer2 được xây dựng để giải quyết scalability của Ethereum. Cơ chế hoạt động: sequencer nhận giao dịch off-chain, sắp xếp, nén rồi gửi batch lên L1. Vấn đề: hầu hết L2 hiện tại chỉ có một sequencer duy nhất do đội ngũ vận hành. Từ Optimism, Arbitrum, zkSync, StarkNet đến Base – tất cả đều đang chạy sequencer trung tâm. Cộng đồng nói về "decentralized sequencing" suốt hai năm, nhưng chưa ai đưa ra giải pháp khả thi.
Năm 2022, khi tôi phân tích cơ chế data availability sampling của Celestia, tôi nhận ra một sự thật: modular blockchain chỉ giải quyết vấn đề lưu trữ, không giải quyết vấn đề tập trung ở tầng thực thi. Một sequencer độc lập vẫn là cổ chai duy nhất. Các dự án như Espresso, Astria hay Polygon zkEVM đang cố gắng xây dựng mạng lưới sequencer phân tán, nhưng họ đối mặt với bài toán tam bất khả: bảo mật, phi tập trung và hiệu suất. Trong fact, sequencer hiện tại kiếm tiền từ MEV và phí gas, nếu phân tán quyền lực, lợi nhuận bị chia nhỏ, không ai muốn chạy node. Đây là lý do tại sao "decentralized sequencing" vẫn chỉ là PowerPoint suốt hai năm.
Core – Phân tích kỹ thuật từ mã nguồn
Tôi mở mã nguồn của Optimism – contract SequencerFeeVault.sol. Logic rất đơn giản: một hàm depositTransaction chỉ cho phép một địa chỉ duy nhất (sequencer) gọi. Nếu địa chỉ đó bị compromise, kẻ tấn công có thể: (1) front-run bất kỳ giao dịch nào, (2) censor toàn bộ giao dịch từ một địa chỉ, (3) reorder các giao dịch để tạo arbitrage có lợi. Trong thực tế, tôi từng phát hiện một lỗ hổng tương tự trên hợp đồng ICO Status năm 2017: một hàm stake không kiểm tra người gọi, dẫn đến rút ETH không đúng quy tắc. Lỗi này giống hệt bản chất của sequencer: thiếu kiểm soát quyền truy cập.
Phân tích sâu hơn: hầu hết L2 sử dụng cơ chế "force inclusion" – cho phép người dùng gửi giao dịch trực tiếp lên L1 nếu sequencer kiểm duyệt. Nhưng cơ chế này có thời gian chờ rất dài (ví dụ Optimism: 7 ngày). Trong crypto, 7 ngày là vô hạn. Một cuộc tấn công flash loan kết thúc trong 1 block. Khi bạn phát hiện bị kiểm duyệt, tài sản của bạn đã biến mất.
Tôi nhớ năm 2020, khi xây dựng bot arbitrage trên Uniswap V2, tôi từng thấy một bot khác sử dụng private mempool để tránh bị front-run. Họ trả phí cao cho miner (lúc đó Ethereum còn PoW). Nhưng trên L2, chỉ có một bên duy nhất nhìn thấy mempool: sequencer. Nếu sequencer muốn, họ có thể copy bot của bạn. Không có cách nào chống lại ngoại trừ tin tưởng.
Contrarian – Điểm mù bảo mật của sequencer
Phần lớn cho rằng decentralized sequencer sẽ đến. Tôi nói: nó không thể xảy ra trên mainnet trong 5 năm tới. Lý do: kinh tế. Sequencer hiện tại kiếm tiền từ MEV và gas, nếu phân tán quyền lực, lợi nhuận bị chia nhỏ, không ai muốn chạy node. Bảo mật? Một sequencer tập trung dễ bị tấn công, nhưng lại tối ưu về hiệu suất. Thị trường đang chấp nhận rủi ro vì cần tốc độ. Điểm mù: kẻ tấn công không cần tấn công sequencer, chỉ cần tấn công chính quyền vận hành – social engineering.
Năm 2021, khi tôi thiết kế hợp đồng RaffleMint chống bot cho NFT, tôi nhận ra rằng cơ chế xáo trộn danh sách mint dựa trên block hash có thể bị thao túng nếu miner (hoặc sequencer) kiểm soát block hash. Trên L2, sequencer có thể dễ dàng chọn block hash để benefit cho mình. Đây là lỗ hổng mà tôi chưa thấy ai công bố. Một sequencer trung tâm không chỉ kiểm soát thứ tự giao dịch, mà còn kiểm soát đầu vào ngẫu nhiên. Bất kỳ hợp đồng nào dùng blockhash hoặc block.timestamp trên L2 đều yếu.
Takeaway – Dự báo lỗ hổng sắp tới
L2 hiện tại là một ảo tưởng về decentralization. Nếu bạn gửi tài sản vào Arbitrum hay Optimism, bạn đang tin tưởng vào một server duy nhất. Câu hỏi: khi nào lỗ hổng sequencer bị khai thác? Không phải "nếu