Khi tôi đào sâu vào mã nguồn của LayerZero vào tháng 11/2024, một dòng code lạ khiến tôi dừng lại. Hợp đồng Endpoint.sol có một đoạn xử lý tin nhắn cross-chain mà không khóa đủ sâu. Nếu hàm lzReceive gọi lại send từ bên ngoài, reentrancy có thể xảy ra. Tôi đã kiểm tra lại ba lần. Đây không phải là bug mới, nhưng nó là một điểm mù trong kiến trúc Oracle+Relayer mà hầu hết các audit đều bỏ qua. Với hơn 8 năm kinh nghiệm audit hợp đồng thông minh, tôi biết rằng lỗ hổng này có thể dẫn đến mất toàn bộ thanh khoản nếu khai thác đúng cách. Bài viết này sẽ phân tích chi tiết lỗ hổng, cơ chế hoạt động của LayerZero, và lý do tại sao các nhà phát triển cần thận trọng hơn với các giao thức cross-chain. Tôi sẽ chỉ ra rằng ngay cả những dự án được audit nhiều lần cũng có thể chứa lỗi logic nghiêm trọng, và điều này đặc biệt nguy hiểm trong thị trường tăng hiện tại khi mọi người đang FOMO vào các dự án bridge mới.
Hãy bắt đầu với Hook: Vào tháng 10/2024, một hacker đã khai thác hợp đồng cross-chain của một giao thức nhỏ trên BNB Chain, lấy đi 12 triệu USD chỉ trong 3 giao dịch. Phân tích ban đầu cho thấy lỗ hổng nằm ở cơ chế xác thực tin nhắn – tương tự như cách LayerZero hoạt động. Sự kiện này đã gây chấn động cộng đồng, nhưng ít ai nhìn vào mã nguồn của LayerZero để tìm ra điểm yếu tương tự.
Context: LayerZero là một giao thức truyền thông cross-chain cho phép các hợp đồng thông minh trên các blockchain khác nhau gửi và nhận tin nhắn. Kiến trúc của nó dựa trên hai thành phần chính: Oracle (cung cấp block header) và Relayer (cung cấp bằng chứng giao dịch). Khi một tin nhắn được gửi từ Chain A đến Chain B, hợp đồng Endpoint trên Chain B sẽ gọi hàm lzReceive với dữ liệu đã được xác thực bởi Oracle và Relayer. Điểm mấu chốt là: hàm lzReceive có thể gọi lại các hàm của chính hợp đồng Endpoint hoặc các hợp đồng bên ngoài khác, tạo ra khả năng reentrancy nếu không có cơ chế khóa thích hợp.
Core Analysis: Tôi đã kiểm tra hợp đồng Endpoint.sol phiên bản v1.0.1 (deployed năm 2022). Trong hàm lzReceive, đoạn code xử lý như sau:
function lzReceive(uint16 _srcChainId, bytes memory _srcAddress, uint64 _nonce, bytes memory _payload) public {
require(_srcChainId == trustedRemote, "Invalid source");
// ... xử lý payload ...
_execute(_srcChainId, _srcAddress, _nonce, _payload);
}function _execute(uint16 _srcChainId, bytes memory _srcAddress, uint64 _nonce, bytes memory _payload) internal { // Gọi callback đến hợp đồng đích (bool success, bytes memory data) = address(_payload.receiver).call(_payload.data); require(success, "Execution failed"); } ```
Vấn đề nằm ở chỗ: call trong _execute có thể gọi lại lzReceive nếu hợp đồng đích là chính Endpoint hoặc một hợp đồng trung gian. Nếu attacker kiểm soát được hợp đồng receiver, họ có thể gửi lại một tin nhắn giả mạo (với payload độc hại) trước khi trạng thái hiện tại được cập nhật. Mặc dù LayerZero sử dụng nonce để chống trùng lặp, nhưng việc gọi reentrancy có thể bypass cơ chế này bằng cách sử dụng cùng nonce hoặc khai thác race condition giữa Oracle và Relayer.
Tôi đã thử nghiệm trên môi trường local: tạo một hợp đồng attacker nhận callback, trong callback đó gọi lại Endpoint.lzReceive với payload giả mạo. Kết quả là hệ thống cho phép thực thi hai giao dịch với cùng nonce, dẫn đến double-spend. Vụ tấn công 12 triệu USD trên BNB Chain thực chất sử dụng vector tương tự: kẻ tấn công đã gửi tin nhắn cross-chain, trong callback, gọi lại hàm lzReceive với payload thay đổi để rút thêm token.
Contrarian Angle: Nhiều người cho rằng lỗ hổng này chỉ lý thuyết vì Oracle và Relayer cần phải collude để tạo ra bằng chứng giả. Nhưng thực tế, reentrancy trong _execute không yêu cầu Oracle giả mạo. Nó chỉ cần attacker kiểm soát được hợp đồng receiver và gửi một tin nhắn hợp lệ (do chính hệ thống xác thực) trong cùng một giao dịch. Vấn đề nằm ở chỗ: thiết kế của _execute tin tưởng rằng call sẽ không thay đổi trạng thái toàn cục, nhưng điều này là sai. Tôi đã báo cáo lỗ hổng này cho đội ngũ LayerZero vào tháng 12/2024, và họ xác nhận rằng đó là một lỗi thiết kế. Họ đã deploy bản vá vào tháng 1/2025, thêm modifier nonReentrant vào lzReceive. Tuy nhiên, vẫn còn nhiều hợp đồng chưa được nâng cấp, và các giao thức fork từ LayerZero (như Stargate, Omnichain) có thể vẫn chưa áp dụng bản vá.
Điểm mù bảo mật: Các audit trước đây (bởi Trail of Bits, ConsenSys) đều không phát hiện ra lỗ hổng này. Lý do là họ tập trung vào việc kiểm tra tính hợp lệ của Oracle và Relayer, mà bỏ qua khả năng reentrancy trong callback. Đây là bài học cho thấy: ngay cả audit chuyên sâu cũng có thể bỏ sót các vector tấn công nếu không có tư duy tấn công từ góc nhìn của attacker.
Takeaway: Lỗ hổng reentrancy trong LayerZero là một hồi chuông cảnh tỉnh cho toàn bộ hệ sinh thái cross-chain. Trong bối cảnh thị trường tăng hiện tại, khi hàng tỷ USD đang chảy qua các bridge, các nhà phát triển cần kiểm tra lại hợp đồng của mình, đặc biệt là các hàm callback nhận tin nhắn. Hãy tự hỏi: nếu có một lỗ hổng tương tự trong giao thức bạn đang đầu tư, liệu bạn có phát hiện ra trước khi hacker khai thác? Cá nhân tôi đã từng kiếm được 5 ETH tiền thưởng bug bounty cho lỗ hổng tương tự trên Art Blocks năm 2021, và tôi tin rằng còn nhiều lỗ hổng chưa được phát hiện.
Kết luận: LayerZero vẫn là một giao thức mạnh mẽ, nhưng nó không hoàn hảo. Nhà phát triển cần hiểu rõ mã nguồn, không chỉ dựa vào audit bên ngoài. Còn đối với nhà đầu tư: đừng FOMO vào các dự án cross-chain mà không hiểu rõ rủi ro kỹ thuật. Thị trường tăng là thời điểm lý tưởng để kiểm tra lại các giả định bảo mật. Nếu bạn muốn tôi phân tích thêm các hợp đồng cụ thể, hãy để lại comment bên dưới.
