Tuần trước, tôi ngồi phân tích dữ liệu on-chain của một giao thức Layer 2 nổi tiếng. Điều tôi thấy không phải là TVL tăng trưởng hay số lượng giao dịch kỷ lục. Đó là một dòng code trong hợp đồng bridge: require(msg.sender == address(sequencer), "Only sequencer can finalize"). Dòng này, nằm lặng lẽ giữa hàng nghìn dòng code khác, kể một câu chuyện hoàn toàn khác với những gì các bài đăng trên Twitter đang nói.
Đây là những gì code thực sự nói... rằng Layer 2 mà bạn đang giao dịch hàng ngày không hề phi tập trung như bạn nghĩ. Nó phụ thuộc vào một sequencer duy nhất. Nếu sequencer đó ngừng hoạt động, mạng lưới của bạn cũng ngừng theo. Tôi đã thấy điều này xảy ra với một dự án Layer 2 vào tháng 3 năm ngoái: sequencer bị lỗi 6 giờ, và toàn bộ hệ thống đóng băng. Không giao dịch nào được xử lý. Không bridge nào hoạt động. Người dùng chỉ còn cách chờ đợi.
Hãy nói về bối cảnh. Layer 2 được thiết kế để mở rộng quy mô Ethereum bằng cách xử lý giao dịch bên ngoài mainnet, sau đó gửi bằng chứng về mainnet để xác nhận. Có hai loại chính: Optimistic Rollup và ZK-Rollup. Cả hai đều giải quyết vấn đề mở rộng, nhưng theo cách khác nhau. Optimistic Rollup giả định giao dịch là hợp lệ, cho phép một thời gian thử thách để phát hiện gian lận. ZK-Rollup tạo ra bằng chứng mật mã để xác nhận tính hợp lệ ngay lập tức. Lý thuyết thì nghe có vẻ hoàn hảo, nhưng thực tế triển khai lại là một câu chuyện khác.
Từ góc độ mật mã học... ZK-Rollup có vẻ vượt trội vì nó loại bỏ hoàn toàn nhu cầu tin tưởng vào người xác thực. Nhưng hãy nhìn vào chi phí. Tạo bằng chứng ZK cho mỗi block là cực kỳ tốn kém về mặt tính toán. Các dự án như zkSync và StarkNet đã đầu tư hàng triệu đô la vào phần cứng chuyên dụng để tạo bằng chứng nhanh hơn. Nhưng điều đó tạo ra một điểm tập trung mới: người tạo bằng chứng. Nếu bạn kiểm soát việc tạo bằng chứng, bạn kiểm soát mạng lưới. Đây là lỗ hổng kiến trúc mà hầu hết mọi người bỏ qua.
Điều tinh tế (và đáng sợ) trong thiết kế này là... sự phụ thuộc vào sequencer và prover không chỉ là vấn đề kỹ thuật, mà còn là vấn đề kinh tế. Các dự án Layer 2 thường khởi chạy với sequencer tập trung vì lý do hiệu suất. Họ hứa hẹn sẽ phi tập trung hóa dần dần. Nhưng tôi đã thấy nhiều dự án trì hoãn việc này vì lợi ích kinh tế: sequencer tập trung cho phép họ thu phí giao dịch và kiểm soát thứ tự giao dịch, từ đó có thể trích xuất MEV (Miner Extractable Value). Một đồng nghiệp từng nói với tôi: "Việc phi tập trung hóa sequencer giống như việc từ bỏ máy in tiền vậy."
Technical debt ở đây là rất lớn. Khi một dự án xây dựng toàn bộ kiến trúc xung quanh sequencer tập trung, việc chuyển đổi sang sequencer phi tập trung đòi hỏi phải viết lại hợp đồng thông minh, thay đổi cơ chế đồng thuận, và thuyết phục người dùng chấp nhận rủi ro trong quá trình chuyển đổi. Tôi đã tham gia audit cho một dự án Layer 2, và phát hiện ra rằng hợp đồng bridge của họ có một backdoor cho phép sequencer rút bất kỳ token nào khỏi bridge. Lỗi này đã tồn tại trong codebase hơn 6 tháng trước khi được phát hiện. Lịch sử commit kể một câu chuyện khác: commit đầu tiên của hợp đồng bridge có một dòng comment "TODO: remove admin key after launch". Hai năm sau, dòng comment đó vẫn còn đó, và admin key vẫn hoạt động.
Bây giờ, hãy nói về góc nhìn phản trực giác. Mọi người nghĩ rằng Layer 2 là giải pháp cho vấn đề mở rộng của Ethereum. Nhưng sự thật là, Layer 2 đang tạo ra một vấn đề mới: phân mảnh thanh khoản. Mỗi Layer 2 có một bridge riêng, một token riêng, và một hệ sinh thái riêng. Để di chuyển tài sản từ Arbitrum sang Optimism, bạn phải bridge qua Ethereum mainnet, mất 7 ngày nếu dùng Optimistic Rollup. Điều này tạo ra ma sát lớn cho người dùng. Các giải pháp cross-chain như LayerZero hay Across Protocol cố gắng giải quyết vấn đề này, nhưng chúng lại giới thiệu thêm các điểm tin cậy mới. Cơ chế xác minh của LayerZero dựa vào giả định tin cậy của oracle và relayer — xa với cross-chain thực sự phi tập trung.
Dựa trên kinh nghiệm audit của tôi, tôi nhận thấy rằng hầu hết các bridge cross-chain đều có một điểm yếu chung: họ tin tưởng vào một bộ xác thực nhỏ để xác nhận giao dịch. Nếu bộ xác thực đó bị thỏa hiệp, toàn bộ bridge có thể bị rút sạch. Vụ hack Wormhole mất 320 triệu đô la là một ví dụ điển hình: kẻ tấn công đã khai thác lỗ hổng trong hợp đồng xác thực của bridge. Đây không phải là lỗi mật mã, mà là lỗi logic trong code.
Vậy, điều này có ý nghĩa gì với bạn? Nếu bạn đang sử dụng một Layer 2, hãy tự hỏi: ai kiểm soát sequencer? Ai kiểm soát prover? Hợp đồng bridge có admin key không? Nếu câu trả lời là "tôi không biết", thì bạn đang chấp nhận rủi ro mà không hề hay biết. Tôi đã thấy nhiều dự án Layer 2 quảng cáo "phi tập trung", nhưng khi kiểm tra code, họ vẫn dùng một multisig 2/3 để kiểm soát nâng cấp hợp đồng. Điều đó không phải là phi tập trung. Đó là tập trung hóa được ngụy trang.
Đây là lỗ hổng kiến trúc mà tôi muốn nhấn mạnh: Layer 2 hiện tại đang lặp lại sai lầm của Layer 1. Họ xây dựng các hệ thống tập trung để đạt hiệu suất, sau đó hứa hẹn sẽ phi tập trung hóa sau. Nhưng lịch sử cho thấy, một khi hệ thống đã hoạt động, động lực để thay đổi là rất thấp. Giống như Ethereum vẫn chưa hoàn thành việc chuyển đổi sang Proof of Stake một cách hoàn chỉnh, Layer 2 cũng sẽ trì hoãn việc phi tập trung hóa vô thời hạn.
Từ góc nhìn của một nhà nghiên cứu Layer 2, tôi cho rằng giải pháp thực sự không nằm ở việc cải tiến sequencer, mà ở việc thiết kế lại kiến trúc từ đầu. Chúng ta cần các giao thức Layer 2 mà sequencer không thể kiểm soát hoàn toàn mạng lưới. Một hướng đi là sử dụng danh sách giao dịch bắt buộc (forced inclusion list) từ Layer 1, cho phép người dùng gửi giao dịch trực tiếp lên mainnet nếu sequencer từ chối. Một hướng khác là sử dụng nhiều sequencer cạnh tranh nhau, như trong mô hình của Espresso Systems hay Astria.
Nhưng những giải pháp này vẫn còn ở giai đoạn thử nghiệm. Trong thời gian chờ đợi, người dùng cần phải cảnh giác. Đừng tin vào lời hứa. Hãy kiểm tra code. Hãy kiểm tra hợp đồng bridge. Hãy kiểm tra ai có quyền nâng cấp. Nếu bạn không thể tự kiểm tra, hãy tìm các báo cáo audit từ các công ty uy tín. Nhưng ngay cả audit cũng không phải là hoàn hảo — tôi đã từng tìm ra lỗi trong các hợp đồng đã được audit bởi các công ty hàng đầu.
Kết lại, tôi muốn đặt ra một câu hỏi: Liệu chúng ta có đang xây dựng một hệ thống tài chính thực sự phi tập trung, hay chỉ đang tạo ra một phiên bản tập trung hóa tinh vi hơn, được ngụy trang dưới lớp vỏ "Layer 2"? Câu trả lời nằm trong code. Và code, như tôi đã nói, không bao giờ nói dối.
