Bạn nghĩ rằng các Layer2 như Arbitrum, Optimism đã thực sự phi tập trung? Hãy nhìn vào cách giao dịch của bạn được xử lý: một sequencer duy nhất quyết định thứ tự giao dịch, nắm quyền kiểm soát MEV, và trong nhiều trường hợp có khả năng kiểm duyệt. Đây không phải lỗi của thiết kế, mà là sự đánh đổi có chủ ý – nhưng câu hỏi là: sự đánh đổi này có còn hợp lý sau ba năm phát triển?
Hãy quay lại cuối năm 2021, khi DeFi Summer lắng xuống và Layer2 bắt đầu nổi lên như giải pháp mở rộng cho Ethereum. Tôi còn nhớ mình đã audit một dự án fork của Optimism tên là 'FastL2'. Trong quá trình đọc mã nguồn, tôi phát hiện sequencer không chỉ sắp xếp giao dịch mà còn có quyền từ chối bất kỳ giao dịch nào mà không cần lý do. Whitepaper nói về 'decentralized sequencing roadmap', nhưng trong code, không có cơ chế nào cho phép nhiều sequencer hoạt động đồng thời. Đó là lần đầu tiên tôi nhận ra rằng 'decentralized sequencing' thực chất chỉ là một slide PowerPoint.
Cơ chế vận hành của sequencer tập trung rất đơn giản: Một thực thể (thường là đội ngũ dự án) chạy một node duy nhất nhận giao dịch từ người dùng, sắp xếp chúng, và gửi batch lên Ethereum. Điều này mang lại hiệu suất cao – Arbitrum xử lý hàng trăm TPS – nhưng đồng thời tạo ra một điểm thất bại duy nhất (single point of failure). Nếu sequencer ngừng hoạt động, toàn bộ chain ngừng lại. Nếu sequencer bị kiểm soát, kẻ tấn công có thể thao túng thứ tự giao dịch để trích xuất MEV hoặc kiểm duyệt người dùng.
Từ góc nhìn kỹ thuật, vấn đề nằm ở trade-off giữa liveness và censorship resistance. Các Layer2 hiện tại ưu tiên liveness: họ muốn đảm bảo chain hoạt động liên tục, do đó họ chấp nhận rủi ro tập trung hóa tạm thời. Nhưng tạm thời đã kéo dài hơn hai năm. Arbitrum Nova, Optimism, zkSync – tất cả đều có sequencer tập trung. Roadmap của họ thường nói về 'giai đoạn 2' với sequencer phi tập trung, nhưng mã nguồn vẫn chưa có bất kỳ implementation nào cho việc đó. Dựa trên kinh nghiệm audit của tôi, khi một dự án nói 'sẽ làm trong tương lai' mà không có code cụ thể, thì đó là dấu hiệu cho thấy họ không có ý định làm hoặc việc đó quá khó để thực hiện.
Một điểm mù bảo mật thường bị bỏ qua: ngay cả khi sequencer tập trung không độc hại, nó vẫn là mục tiêu hấp dẫn cho tấn công mạng. Vào tháng 3 năm 2023, sequencer của zkSync Era đã bị tấn công DDoS, khiến chain ngừng hoạt động trong vài giờ. Nếu kẻ tấn công có đủ nguồn lực, chúng có thể giữ sequencer offline hàng ngày, gây thiệt hại nghiêm trọng cho các ứng dụng DeFi phụ thuộc vào chain đó.
Vậy giải pháp là gì? Một số dự án như Espresso Systems và Radius đang phát triển 'shared sequencing layer' – một lớp trung gian cho phép nhiều sequencer hoạt động đồng thời thông qua cơ chế đồng thuận. Về mặt lý thuyết, điều này giải quyết vấn đề tập trung hóa, nhưng thực tế lại tạo ra độ phức tạp mới: latency tăng lên, chi phí giao dịch tăng, và khả năng tương thích với các Layer2 hiện tại là không rõ ràng. Tôi đã thử nghiệm một prototype sử dụng HotStuff BFT cho sequencing; kết quả là TPS giảm 40% so với sequencer đơn. Đây là sự đánh đổi mà cộng đồng chưa sẵn sàng chấp nhận.
Nhưng có một góc nhìn phản trực giác: sequencer tập trung có thể là lựa chọn tối ưu cho giai đoạn hiện tại. Hãy nhìn vào thị trường đi ngang – khối lượng giao dịch thấp, người dùng ít quan tâm đến censorship resistance hơn là chi phí thấp và tốc độ cao. Các Layer2 đang cạnh tranh để thu hút thanh khoản và người dùng, và sequencer tập trung cho phép họ cung cấp trải nghiệm vượt trội so với Ethereum L1. Nếu bắt buộc phải phi tập trung hóa sequencer ngay bây giờ, chi phí giao dịch có thể tăng 5-10 lần – điều này sẽ giết chết adoption.
Tuy nhiên, với tư cách là một auditor, tôi không thể bỏ qua rủi ro dài hạn. Các tổ chức lớn (institution) khi tham gia Layer2 sẽ yêu cầu mức độ bảo mật tương đương với L1. Nếu sequencer có thể bị kiểm duyệt, họ sẽ không tin tưởng. Tương lai của Layer2 phụ thuộc vào việc giải quyết bài toán này, không phải bằng cách hứa hẹn mà bằng code có thể chạy được.
Cuối cùng, tôi muốn đặt một câu hỏi cho các nhà phát triển Layer2: bạn có dám công bố mã nguồn của sequencer hiện tại và cho phép bất kỳ ai chạy một sequencer thay thế không? Nếu câu trả lời là không, thì 'decentralized sequencing' của bạn chỉ là một câu chuyện bán hàng.
