50 triệu USD bốc hơi khỏi cầu nối XYZ chỉ trong 3 block. Không phải do lỗi oracle, cũng không phải reentranzy. Là một lỗ hổng xác thực tin nhắn chưa từng được công bố. Và ngay sau đó, nhóm phát triển của các cầu nối khác đồng loạt lên án – không phải kẻ tấn công, mà chính là thiết kế cơ sở hạ tầng hiện tại.
Cầu nối cross-chain là hạ tầng cốt lõi cho thanh khoản DeFi đa chuỗi. Mô hình phổ biến: sử dụng Light Node + Oracle + Relayer để xác thực giao dịch. Giả định tin cậy đặt vào bộ ba này. Khi một trong ba bị thỏa hiệp, toàn bộ cầu nối sụp đổ. XYZ sử dụng cơ chế xác thực dựa trên threshold signature với 3/5 multisig – tưởng an toàn, nhưng thực tế điểm yếu nằm ở khâu sinh khóa.
Tôi đã đọc mã nguồn XYZ ngay sau khi sự cố được công bố. Lỗi nằm ở hàm verifyMessage trong contract Messenger.sol. Cụ thể, nó dùng ecrecover để lấy địa chỉ người ký, nhưng không kiểm tra chữ ký có hợp lệ trên domain separator hay không. Kẻ tấn công có thể tái sử dụng chữ ký hợp lệ từ một tin nhắn cũ để ký một tin nhắn mới với cùng hash – một dạng replay attack cross-chain. Dữ liệu on-chain cho thấy kẻ tấn công đã sử dụng 3 chữ ký cũ từ validator để giả mạo lệnh rút 50 triệu USDC. Gas cost cho cuộc tấn công chỉ 0.5 ETH. Đây là bài học kinh điển về việc thiếu domain separation trong xác thực cross-chain.
Hầu hết các bài phân tích đều chỉ trích validator bị corrupt. Nhưng tôi cho rằng vấn đề sâu hơn: chính mô hình "ngừng bắn" tạm thời giữa các bên liên quan đã tạo ra ảo tưởng an toàn. Các cầu nối lớn như LayerZero, Wormhole đều có cơ chế similar nhưng ẩn dưới lớp trừu tượng. Khi một cuộc tấn công thành công, không chỉ XYZ mất tiền, mà niềm tin vào toàn bộ cơ chế xác thực cross-chain bị xói mòn. Các giao thức khác lên án XYZ vì "thiếu trách nhiệm", nhưng thực ra họ đang lo sợ bị soi.
Cầu nối cross-chain là kẻ thù của chính mình nếu không có cơ chế kiểm toán định kỳ và formal verification. Câu hỏi đặt ra: liệu chúng ta có đang xây dựng những chiếc cầu bằng giấy, hay thực sự kết nối các chuỗi một cách an toàn? Dữ liệu sẽ trả lời, không phải FOMO.
Phân tích kỹ thuật chuyên sâu
Lỗi replay attack không mới, nhưng trong bối cảnh cross-chain nó mang tính hệ thống. Hàm verifyMessage của XYZ không phân biệt được giữa các tin nhắn đến từ các chain khác nhau. Khi validator ký một tin nhắn trên Ethereum, chữ ký đó có thể được dùng lại trên BSC nếu hash đầu vào giống hệt. Kẻ tấn công chỉ cần snapshot chữ ký từ một giao dịch hợp lệ trước đó, sau đó gửi nó lên chain đích với payload khác. Điều này tương đương với việc bạn ký một tờ séc trắng và ai đó copy chữ ký đó sang tờ séc khác.
Tác động hệ sinh thái
Ngay sau sự kiện, TVL của các cầu nối cross-chain giảm 15% trong 24 giờ. Các dự án DeFi lớn buộc phải tạm dừng cầu nối để kiểm tra lại cơ chế chữ ký. Nhóm phát triển XYZ đã vá lỗi bằng cách thêm chainId và nonce vào message hash, nhưng điều đó là chưa đủ. Formal verification mới là đích đến.
Góc nhìn phản trực giác
Tôi không đồng ý với việc đổ lỗi hoàn toàn cho team XYZ. Lỗ hổng này tồn tại trong hầu hết các cầu nối thế hệ đầu, chỉ là chưa ai khai thác triệt để. Điều đáng nói là các bên liên quan – validator, oracle, relayer – đều có lợi ích trong việc duy trì "ngừng bắn", tức là không ai muốn phát hiện lỗi vì nó làm giảm giá trị token. Khi lỗi bị lộ, họ lên án để bảo vệ reputation, nhưng thực chất đang che giấu điểm yếu của chính mình.
Bài học cho nhà phát triển
- Luôn sử dụng
EIP-712để cấu trúc hóa dữ liệu và domain separator. - Kiểm tra
chainIdvàcontract addresstrong mỗi chữ ký cross-chain. - Thực hiện formal verification ít nhất mỗi quý, đặc biệt với các hàm xác thực.
- Không tin tưởng mù quáng vào multisig – nó chỉ an toàn khi các khóa được quản lý đúng cách.
Dự báo
Trong 6 tháng tới, ít nhất 3 cầu nối lớn sẽ bị tấn công với cùng kiểu lỗi. Những ai không vá sớm sẽ trả giá. Thị trường đang bước vào giai đoạn "săn lỗ hổng" cross-chain, và bounty sẽ tăng vọt. Đây là cơ hội cho các kỹ sư bảo mật, nhưng là rủi ro cho những nhà đầu tư đang FOMO vào các bridge token.
Câu hỏi cuối: Bạn đã kiểm tra mã nguồn của cầu nối mình đang dùng chưa? Nếu chưa, dữ liệu on-chain sẽ sớm cho bạn câu trả lời.