Bot chạy đêm, tôi ngồi trước năm màn hình log. Một dòng error từ L2 node: "sequencer unhealthy, fallback to centralized." Tôi nhấp cà phê, nghĩ về lời hứa "decentralized sequencing" từ 2021. Hôm nay, tháng 7 năm 2024, vẫn là PowerPoint.
Context đầu tiên: Layer2 rollup (Optimism, Arbitrum, zkSync, Base) về cơ bản là một sequencer duy nhất - một node tập trung đơn lẻ quyết định thứ tự giao dịch và gửi batch lên L1. Từ 2021, mọi đội ngũ đều nói "chúng tôi đang nghiên cứu decentralized sequencer". Ba năm sau, không một rollup nào có sequencer thực sự phi tập trung trong production. Thay vào đó, họ đưa ra "shared sequencer" (Espresso, Astria) hoặc "based sequencing" (Taiko). Nhưng sự thật là: mọi giao dịch trên Arbitrum hôm nay vẫn phụ thuộc vào một node Offchain Labs. Mọi giao dịch trên zkSync đều qua zkSync Era sequencer. Đây là single point of failure - cả về bảo mật và censorship resistance.
Hãy đi vào core: Tại sao decentralized sequencer khó đến vậy? Không phải vì consensus cơ bản. Chúng ta có Tendermint, có HotStuff, có sẵn. Vấn đề là MEV (Miner Extractable Value). Khi có nhiều sequencer, ai sẽ quyết định thứ tự giao dịch? Làm sao tránh việc sequencer A nhìn thấy giao dịch của sequencer B và chèn giao dịch của mình? DeFi Summer 2020 dạy tôi rằng mỗi block là một bãi chiến trường MEV. Bot arbitrage tôi viết hồi Uniswap V2 đã kiếm được 12 ETH chỉ bằng cách frontrun những người khác. Nếu sequencer phi tập trung, cuộc chiến đó sẽ leo thang lên cấp độ giao thức. Các giải pháp hiện tại: shared sequencer (Espresso, Astria) tạo ra một mạng sequencer riêng, nhưng lại phụ thuộc vào bộ sắp xếp giao dịch bên ngoài - đổi một trung tâm lấy một trung tâm khác. Based sequencing (Taiko) đẩy thứ tự giao dịch xuống L1 proposer, nghĩa là phụ thuộc vào Ethereum validators - về mặt lý thuyết phi tập trung, nhưng trên thực tế L1 proposer cũng chỉ là vài pool lớn như Lido, Coinbase. Và còn vấn đề latency: chờ 12 giây cho một block Ethereum để xác nhận giao dịch L2? Người dùng sẽ rời bỏ ngay.
Contrarian angle: Tôi nghĩ decentralized sequencer là bài toán sai. Cộng đồng đang hỏi "làm sao để sequencer phi tập trung" trong khi vấn đề thực sự là force inclusion và escape hatch. Người dùng không cần sequencer phi tập trung; họ cần khả năng thoát khỏi sequencer độc hại. Nếu rollup có cơ chế force-inclusion mạnh mẽ (gửi giao dịch trực tiếp lên L1 mà không qua sequencer), thì sequencer tập trung cũng không thể kiểm duyệt bạn. Arbitrum có cơ chế này nhưng phức tạp và chậm. zkSync thì không có trong thực tế. Điểm mù bảo mật: tất cả các rollup hiện tại, dù Optimistic hay ZK, đều có một "emergency mode" do đội ngũ kiểm soát - một admin key có thể nâng cấp contract và thay đổi mọi thứ. Đó là rủi ro lớn hơn sequencer tập trung gấp trăm lần. Năm 2022 tôi audit một rollup, phát hiện multisig admin có thể rút toàn bộ token khỏi bridge. Team đó bảo "đó là design decision". Tôi không mua.
Takeaway: Đừng chờ decentralized sequencer. Thay vào đó, hãy kiểm tra force-inclusion, admin key, và thời gian finality. Bot chạy đêm, tôi chạy theo logic. Logic bảo tôi: nếu admin key còn sống, sequencer tập trung cũng chẳng là vấn đề. Nếu không có force-inclusion, thì sequencer tập trung là cái chết. Ba năm PowerPoint, còn bao nhiêu đêm thức để nhận ra điều này?
