Sequencer phi tập trung: Lời hứa 2 năm và sự thật trần trụi

Tối thứ Ba, tôi nhận được một tin nhắn từ một người bạn đang chạy node cho một L2 mới nổi. 'Tụi tao vừa nâng cấp sequencer,' anh ấy nói, 'giờ nó chạy trên 3 máy chủ AWS ở 3 region khác nhau. Phi tập trung hơn rồi đúng không?' Tôi cười, nhưng nụ cười ấy mang vị chua chát của một kẻ đã từng tin vào những lời hứa tương tự. Ba máy chủ AWS không phải là phi tập trung. Đó chỉ là một cụm failover được dán nhãn 'distributed'. Và câu chuyện này, tiếc thay, là hiện thực của hầu hết các Layer 2 hiện nay. Context: Sequencer là trái tim của mọi Layer 2 – nó chịu trách nhiệm sắp xếp giao dịch, đóng batch và gửi lên Ethereum L1. Nếu sequencer bị kiểm soát, toàn bộ chuỗi L2 có thể bị kiểm duyệt, reorg, hoặc thậm chí đánh cắp tiền. Vitalik đã từng gọi sequencer là 'điểm tập trung duy nhất' trong thiết kế L2 hiện tại. Từ năm 2021, hàng loạt dự án đã hứa hẹn 'decentralized sequencing' – từ Optimism với ‘Bedrock’, Arbitrum với ‘Nitro’, đến zkSync với ‘zkPorter’. Nhưng đến năm 2024, không một sequencer nào trong số đó thực sự phi tập trung. Chúng vẫn là một node đơn lẻ (dù có thể chạy trên nhiều máy) do đội ngũ dự án kiểm soát. Theo dữ liệu từ L2Beat, 100% tổng TVL của các L2 (~12 tỷ USD) vẫn phụ thuộc vào sequencer tập trung. Con số này không thay đổi trong suốt 2 năm qua. Vậy tại sao lại có khoảng cách lớn giữa lời nói và hành động? Core: Hãy nhìn vào kiến trúc thực tế. Arbitrum Nitro sử dụng một sequencer duy nhất do Offchain Labs vận hành. Optimism Bedrock cũng tương tự – một sequencer tập trung, mặc dù có 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 từ chối. Nhưng ‘force inclusion’ không phải là giải pháp thay thế; nó chỉ là van an toàn trong trường hợp khẩn cấp. Về mặt kỹ thuật, để đạt được sequencer thực sự phi tập trung, các L2 cần triển khai một mạng đồng thuận giữa nhiều sequencer – về cơ bản là xây dựng một blockchain nhỏ bên trong L2. Điều này đặt ra bài toán về hiệu suất: một mạng sequencer phi tập trung có thể xử lý hàng nghìn TPS với độ trễ dưới giây không? Câu trả lời hiện tại là không. Các giải pháp như Espresso Systems hay Radius đang cố gắng, nhưng chúng vẫn ở giai đoạn testnet với hàng tá giới hạn. Tôi đã tham gia một buổi workshop của Espresso vào tháng trước. Họ demo một mạng sequencer với 10 node – nhưng throughput giảm 40% so với sequencer đơn, và độ trễ tăng từ 200ms lên 2 giây. Trong một thị trường nơi mỗi mili giây đều quyết định lợi nhuận của bot giao dịch, con số đó là thảm họa. Đội ngũ Espresso thừa nhận: 'Chúng tôi đang đánh đổi giữa phi tập trung và hiệu suất, và chưa có lời giải cho cả hai.' Contrarian: Nhưng có một góc nhìn khác: liệu sequencer phi tập trung có thực sự cần thiết? Nhiều người dùng cuối không quan tâm ai chạy sequencer, miễn là giao dịch của họ được xử lý nhanh và rẻ. Các dự án DeFi lớn như Uniswap hay Aave trên Arbitrum vẫn hoạt động tốt với sequencer tập trung. Họ có cơ chế kiểm tra chéo thông qua fraud proof (Optimistic rollup) hoặc validity proof (zk rollup) để đảm bảo tính toàn vẹn của dữ liệu. Thực tế, chính sự tập trung của sequencer đã cho phép các L2 đạt được hiệu suất cao và phí thấp như hiện nay. Nếu buộc phải phi tập trung ngay lập tức, chúng ta có thể phá hỏng lợi thế cạnh tranh lớn nhất của L2 so với L1. Vậy có phải chúng ta đang đặt mục tiêu 'phi tập trung' lên trên trải nghiệm người dùng? Tôi tin rằng đây là một cái bẫy tư duy. Phi tập trung không phải là đích đến tuyệt đối; nó là một phổ. Và trong giai đoạn hiện tại, sequencer tập trung có thể là cái giá phải trả để L2 tồn tại và phát triển. Nhưng điều nguy hiểm là sự thiếu minh bạch: người dùng không được thông báo rõ rằng họ đang tin tưởng vào một node duy nhất. Các L2 nên công khai mức độ tập trung của sequencer như một cảnh báo, thay vì che giấu dưới những thuật ngữ như 'single sequencer with fallback'. Cộng đồng là layer 2 của tất cả. Nếu cộng đồng không hiểu rủi ro, thì layer 2 đó đang phản bội chính triết lý của mình. Takeaway: Tôi không phản đối việc chậm trễ trong phi tập trung hóa sequencer. Tôi phản đối sự lừa dối. Các dự án L2 cần ngừng bán 'decentralized sequencing' như một tính năng đã hoàn thiện, và thay vào đó tập trung vào hai việc: (1) Xây dựng lộ trình rõ ràng với các mốc thời gian thực tế, (2) Cung cấp công cụ để người dùng tự kiểm tra mức độ tập trung của sequencer. Nếu không, tất cả những gì chúng ta có là một hệ thống tập trung được tô vẽ bằng những dòng code nguồn mở. Và khi thị trường đi ngang như hiện tại, đây chính là lúc để đặt câu hỏi: Liệu chúng ta đang xây dựng một nền tảng thực sự phi tập trung, hay chỉ đang tạo ra những 'AWS cluster' có gắn mác blockchain? Bài viết này được truyền cảm hứng từ những cuộc thảo luận trong nhóm Discord Ethereum Research, và từ kinh nghiệm cá nhân khi tôi audit một sequencer cho một dự án L2 vào đầu năm 2023. Tôi thấy code sạch sẽ, nhưng kiến trúc thì mong manh như một ngôi nhà bằng kính. Hãy nhìn vào sự thật, và xây dựng từ đó.